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, f, h}, {b, d, e, f}, {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, e*h - f*g} / h} o3 : List |