The function reduced computes the reduced ideal given an integral ideal
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 |
i3 : J=ideal(x,y);reduced(J) o3 : Ideal of I o4 = ideal (x, y) o4 : Ideal of I |