Syntax definition cslv

Description: Select a subset of variables in a multivariate polynomial.

	Ref	Expression
Assertion	cslv	$$class\mathrm{selectVars}$$