Syntax definition clpidl

Description: Ring left-principal-ideal function.

	Ref	Expression
Assertion	clpidl	$$class\mathrm{LPIdeal}$$