, 
.
is represented as
the list of exponents
. This representation induces an ordering on the variables
. Obviously, l is the number of variables.
We do not use arbitrarily long integers for the exponents but only C integers. For usual applications of the Gröbner bases algorithm this should suffice.