up previous next
DefiningIdeal

defining ideal of a quotient ring

Syntax 
DefiningIdeal(S: RING): IDEAL

Description
When S is a quotient ring, say S = R/I , this function returns I , the ideal which defines S .

Example 
/**/ Use R ::= QQ[x,y,z];
/**/ S := R/ideal(x);
/**/ DefiningIdeal(S);
ideal(x)

See Also