The function qR generates the quotient ring R over the ideal p. The variables and equations (the ideal generators) should be specified by pR and in the form of Miura, respectively.
i1 : R=pR(GF 13,{x,y},{2,3}) o1 = R o1 : PolynomialRing |
i2 : I=qR(R,y^2-x^3-7*x) o2 = I o2 : QuotientRing |