IsQuotientRing(R: RING): BOOL
/**/ Use R ::= QQ[x,y]; /**/ S := R/ideal(x); /**/ IsQuotientRing(S); true;