arguments: d:intarray >> monorder
Create an engine 'mon_order', which is (non-graded) reverse lex order on a set of variables, where 'd' consists of the degrees of these variables.
Go to main index.
Go to concepts index.