from application polytope
The Groebner basis of the homogeneous toric ideal associated to the polytope, the term order is given in matrix form.
BASISThe Groebner basis for a defined term order.
TERM_ORDER_MATRIXThe term order in matrix form; if not square, then a tie breaker is used.
TERM_ORDER_NAME
A term order by name; allowed acronyms are lex, deglex and degrevlex.