next | previous | forward | backward | up | top | index | toc | packages | Macaulay2 website
Miura :: setQuotientRing given Ideal

setQuotientRing given Ideal -- Set Quotient Ring given Ideal

Synopsis

The function setQuotientRing sets the quotient ring QR of PR over an ideal, where the ideal may be given by defining equations. The global variables PR and QR are specified when setting its polynomial ring and quotient ring, respectively.

i1 : setPolynomialRing(GF 7,{x,y},{2,3})

o1 = PR

o1 : PolynomialRing
i2 : setQuotientRing(ideal(y^2-x^3-3*x))

o2 = QR

o2 : QuotientRing