Syntax definition cdgr

Description: Extend class notation to include the degree function on polynomials.

	Ref	Expression
Assertion	cdgr	$$class\mathrm{deg}$$