QEtaQuotientMonoidExponentVectorsAux¶

ascend implements a (somewhat arbitrary) sorting criterium. ascend(x, y) returns true if the sum of the absolute values of the entries of x is smaller than for y or if these values agree and the sum of the negative entries of x is greater (i.e. smallerin absolute value) then the respective sum for y. We break ties by the revlex order.