Syntax definition cdecpmat

Description: Extend class notation to include the decomposition of polynomial matrices.

	Ref	Expression
Assertion	cdecpmat	$$class\mathrm{decompPMat}$$