-- -*- M2-comint -*- hash: 13785848807338220985

i1 : S=ZZ/7[x,y]

o1 = S

o1 : PolynomialRing

i2 : I=ideal(y^2-x^3-x-1)

              3    2
o2 = ideal(- x  + y  - x - 1)

o2 : Ideal of S

i3 : isElliptic(I)

o3 = true

i4 : 
