-- -*- M2-comint -*- hash: 11537130906142111889

i1 : R = QQ[x_1..x_5]

o1 = R

o1 : PolynomialRing

i2 : I = ideal(x_1*x_3, x_1*x_4, x_1*x_5, x_2*x_3, x_2*x_4, x_2*x_5)

o2 = ideal (x x , x x , x x , x x , x x , x x )
             1 3   1 4   1 5   2 3   2 4   2 5

o2 : Ideal of R

i3 : isUnmixed I

o3 = false

i4 : isGVD(I, CheckCM=>"never", CheckUnmixed=>false)

o4 = true

i5 : 
