-- -*- M2-comint -*- {* hash: -689803439 *}

i1 : R = QQ[a..d];

i2 : I = ideal(a^2-b*d, a^2-b*d, c^2, d^2);

o2 : Ideal of R

i3 : numgens I

o3 = 4

i4 : mingens I

o4 = | d2 c2 a2-bd |

             1       3
o4 : Matrix R  <--- R

i5 : numgens trim I

o5 = 3

i6 :