a matrix, The ideal of all possible lead polynomials of I using the first n parts of the monomial order
Description
Compute a Groebner basis and return the ideal generated by the lead terms of the Groebner basis elements using the first n . See parts of monomial orders for an explanation.
i1 : R = QQ[a..d,MonomialOrder=>ProductOrder{1,3}];
i2 : I = ideal(a*b-c*d, a*c-b*d)
o2 = ideal (a*b - c*d, a*c - b*d)
o2 : Ideal of R
i3 : leadTerm(1,I)
o3 = | b2d-c2d ac ab |
1 3
o3 : Matrix R <--- R