i1 : R = QQ[a..h, MonomialOrder=>Lex]; |
i2 : I = ideal {a*d - b*c, c*f - d*e, e*h - f*g}; o2 : Ideal of R |
i3 : triangularize I o3 = {{c, d, e, f}, {a*d - b*c, c*f - d*e, g, h} / {d, f}, {b, d, f, h}, {c, ------------------------------------------------------------------------ d, g, h}, {a*d - b*c, e, f} / d, {a*d - b*c, c*f - d*e, e*h - f*g} / {d, ------------------------------------------------------------------------ f, h}, {c, d, f, h}, {c, d, e*h - f*g} / h, {b, d, e, f}} o3 : List |