Syntax definition ccpmat

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

	Ref	Expression
Assertion	ccpmat	$$class\mathrm{ConstPolyMat}$$