Syntax definition cig1p

Description: Univariate polynomial ideal generator.

	Ref	Expression
Assertion	cig1p	$$class{idlGen}_{\mathrm{1p}}$$