isQuotientOf(Ring,Ring) -- whether one ring is a quotient of another

Ways to use this method:

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