isQuotientRing
isQuotientRing R
-- tells whether R is provided as a quotient ring.
