isAffineRing
isAffineRing R
-- tells whether a ring is an affine ring.
An affine ring is a quotient of a polynomial ring over a field.
