NewQuotientRing |
Syntax |
NewQuotientRing(R: RING, I: IDEAL): RING R/I |
Description |
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 |