The function double computes the reduced ideal of J*J given an integral ideal J
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) o3 = ideal (x, y) o3 : Ideal of I |
i4 : double J o4 = ideal 1 o4 : Ideal of I |
i5 : reduced(J*J) o5 = ideal 1 o5 : Ideal of I |
i6 : add(J,J) o6 = ideal 1 o6 : Ideal of I |