isQuotientOf -- whether one thing is a quotient of another

Ways to use isQuotientOf :

• isQuotientOf(Ring,QuotientRing) -- see isQuotientOf(Ring,Ring) -- whether one ring is a quotient of another
• isQuotientOf(Ring,Ring) -- whether one ring is a quotient of another
• isQuotientOf(Type,QuotientRing) -- see isQuotientOf(Type,Ring) -- whether one ring is a quotient of a ring of a given type
• isQuotientOf(Type,Ring) -- whether one ring is a quotient of a ring of a given type

For the programmer

The object isQuotientOf is a method function.