isPolynomialRing
isPolynomialRing R
-- tells whether R is a polynomial ring.
