-- -*- M2-comint -*- hash: 14521167044016394683

i1 : R = QQ[x,y,z]/ideal(x*y+z^7);

i2 : I = ideal(x,z);

o2 : Ideal of R

i3 : torsionOrder(10, I) --the order should be 7

o3 = (7, ideal x)

o3 : Sequence

i4 : torsionOrder(5, I) --we only check up to 5, so this should return 0

o4 = (0, ideal 0)

o4 : Sequence

i5 : R = ZZ/5[a,b,c]/ideal(a*b-c^8)

o5 = R

o5 : QuotientRing

i6 : torsionOrder(10, (ideal(a,b,c))^2*(ideal(a,c)))

o6 = (8, ideal a)

o6 : Sequence

i7 : 
