-- -*- M2-comint -*- hash: 17038697575050362634

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

o1 = S

o1 : PolynomialRing

i2 : I = ideal"ab,bc,cd,da"

o2 = ideal (a*b, b*c, c*d, a*d)

o2 : Ideal of S

i3 : codim I

o3 = 2

i4 : setRandomSeed 0
 -- setting random seed to 0

o4 = 0

i5 : inhomogeneousSystemOfParameters I

o5 = | bc+cd bc+ad |

             1      2
o5 : Matrix S  <-- S

i6 : systemOfParameters I

o6 = ideal (a*b, c*d)

o6 : Ideal of S

i7 : systemOfParameters(I, Density => .1, Attempts => 1000, Verbose => true)
Attempts: 1000 Density: .1 Seed: null

o7 = ideal (a*b, c*d)

o7 : Ideal of S

i8 : 
