Syntax definition cevl

Description: Evaluation of a multivariate polynomial.

	Ref	Expression
Assertion	cevl	$$class\mathrm{eval}$$