A power product 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