Syntax definition cidp

Description: Extend class notation to include the identity polynomial.

	Ref	Expression
Assertion	cidp	$$class{X}^p$$