Syntax definition ces

Description: Evaluation of a multivariate polynomial in a subring.

	Ref	Expression
Assertion	ces	class evalSub