Syntax definition ctp1

Description: Convert a univariate polynomial representation to multivariate.

	Ref	Expression
Assertion	ctp1	$$class{\mathrm{toPoly}}_1$$