up previous next
NewQuotientRing

create a new quotient ring

Syntax
NewQuotientRing(R: RING, I: IDEAL): RING
R/I

Description
NOTE: calling twice NewQuotientRing will produce two different rings, even with identical input: equality test is performed on the pointers. See RingID .

Example
/**/  use Qi ::= QQ[i];
/**/  CC := Qi/ideal(i^2+1);  -- sort of  ;-)
/**/  use CC[x];
/**/  (x+i)^2;
x^2 +(2*i)*x +(-1)

/**/  R ::= QQ[x,y,z];
/**/  S := NewQuotientRing(R, ideal(indet(R,1)-3));
/**/  use S;
/**/  (x+y)^2;
(y^2 +6*y +9)

See Also