The multidegree is defined on page 165 of Combinatorial Commutative Algebra, by Miller and Sturmfels. It is an element of the degrees ring of M. Our implementation agrees with their definition provided the heft vector of the ring has every entry equal to 1. See also Gröbner geometry of Schubert polynomials, by Allen Knutson and Ezra Miller.






The object multidegree is a method function.