arguments: d:intarray >> monorder
Create an engine 'mon_order', which is 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.