-- -*- M2-comint -*- hash: 2000561789978443990

i1 : R = QQ[a,b,c,d];

i2 : I = ideal(a*b, a*c, a*d, b*c, b*d, c*d); -- edge ideal of a complete graph K_4, a chordal graph

o2 : Ideal of R

i3 : oneStepGVDNyI(I, b)

o3 = ideal (c*d, a*d, a*c)

o3 : Ideal of R

i4 : L = oneStepGVD(I, b);

i5 : L_2 == oneStepGVDNyI(I, b) -- NyI is the second element in the list given by oneStepGVD

o5 = true

i6 : 
