Note: The first word in the <ordering-constraint> can be abbreviated.<register-command> ::= register <ordering-constraint> <ordering-constraint> ::= <height-constraint> | <status-constraint> | <polynomial-constraint>
register height f > g register status multiset + register polynomials + x + y + 1, x + 2
When the automatic-registry setting is on and the ordering-method setting is a registered ordering, LP automatically adds height and status constraints to the registry, as necessary, to orient equations in order to ensure that the resulting set of rewrite rules is terminating.
The display ordering command displays the constraints in the registry. Ordering constraints can be removed from the registry with the