IsConstant --
checks if a ringelem is in the coefficient ring
Syntax
IsConstant(X: RINGELEM): BOOL
Description
This function tests whether the value of a RINGELEM of a polynomial ring
actually lies in the image of the coefficient ring. It is equivalent to
checking that the degree in each indeterminate is 0.