Syntax definition cmat2pmat

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

	Ref	Expression
Assertion	cmat2pmat	$$class\mathrm{matToPolyMat}$$