arguments: d:intarray order:intarray invorder:intarray invdegs:intarray >> monorder
Create an engine 'mon_order', where 'd' is a (totally positive) vector of length 'n' of degrees, 'order' is a flattened n by n matrix of integers giving the order (i.e. given two monomials having exponent vectors m1, m2, then m1 > m2 iff (order*m1) > (order*m2) in the lexicographic order. 'invorder' is a (flattened) integral matrix such that (order * invorder == diagonal matrix whose entries are 'invdegs'.
Go to main index.
Go to concepts index.