Syntax definition cslv

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

	Ref	Expression
Assertion	cslv	class selectVars