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 |