next | previous | forward | backward | up | top | index | toc | Macaulay2 web site
Miura :: double

double -- A method for computing the squared ideal J*J

Synopsis

Description

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