The command
SetUnknowns[x
, ...,
x
]
imposes a pure lex
order
x
«
x
« ... «
x
on monomials in the unknowns
x,
...,
x .
In the examples of this paper, we did each of our
experiments with a multigraded lex order. We found that
this did not effect the answer. In the commutative case,
a typical GBA runs faster with a graded lex order than a pure
lex order. Thus, in practice, one might be advised
to set a graded lex order on the unknowns using the
command
SetUnknowns[{x, ...,
x}].