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;
(2*i*x +x^2 -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