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