up previous next
IsQuotientRing    --    test whether a ring is a quotient ring


Syntax 
IsQuotientRing(R: RING): BOOL

Description
This function tests whether a ring is a quotient ring; it returns true if the ring is a quotient ring.

Example 
/**/  use R ::= QQ[x,y];
/**/  S := R/ideal(x);
/**/  IsQuotientRing(S);
true;

See Also