Syntax definition cdgraa

Description: Extend class notation to include the degree function for algebraic numbers.

	Ref	Expression
Assertion	cdgraa	class degAA