Syntax definition ccpmat2mat

Description: Extend class notation with the transformation of a constant polynomial matrix into a matrix.

	Ref	Expression
Assertion	ccpmat2mat	$$class\mathrm{cPolyMatToMat}$$