arguments: d:intarray >> monorder
Create an engine 'mon_order', which is lex order on a set of variables, where 'd' consists of the degrees of these variables.