Syntax definition ce1

Description: Evaluation of a univariate polynomial.

	Ref	Expression
Assertion	ce1	$$class{\mathrm{eval}}_1$$