QEtaQuotientMonoidExponentVectorsAux

qetaqmev.spad line 131

QEtaQuotientMonoidExponentVectorsAux provides a number of auxiliary functions for the use in the variants to compute etaQuotientMonoidExponentVectors.

ascend: (List Integer , List Integer ) -> Boolean

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.