Syntax definition ccpmat

Description: Extend class notation with the set of all constant polynomial matrices.

	Ref	Expression
Assertion	ccpmat	class ConstPolyMat