The function multi computes the reduced ideal of an integral ideal multiplied by a nonnegative integer
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 : multi(J,5) o4 = ideal (x, y) o4 : Ideal of I |