-- -*- M2-comint -*- hash: 4362099783365941827

i1 : S = ZZ/101[a,b]

o1 = S

o1 : PolynomialRing

i2 : i = ideal(a^4,b^4)

             4   4
o2 = ideal (a , b )

o2 : Ideal of S

i3 : quotient(i, a^3+b^3)

                  3    3
o3 = ideal (a*b, a  - b )

o3 : Ideal of S

i4 : quotient(i, a^3+b^3, MinimalGenerators => false)

                  3    3
o4 = ideal (a*b, a  - b )

o4 : Ideal of S

i5 : needsPackage "Truncations"

o5 = Truncations

o5 : Package

i6 : R = ZZ/101[x_0..x_4]

o6 = R

o6 : PolynomialRing

i7 : I = monomialCurveIdeal(R, {1,4,5,9});

o7 : Ideal of R

i8 : time J = truncate(8, I, MinimalGenerators => false);
 -- used 0.00567566s (cpu); 0.00567361s (thread); 0s (gc)

o8 : Ideal of R

i9 : time K = truncate(8, I, MinimalGenerators => true);
 -- used 0.31024s (cpu); 0.126387s (thread); 0s (gc)

o9 : Ideal of R

i10 : numgens J

o10 = 1067

i11 : numgens K

o11 = 428

i12 : 
