constant ecart
constant leadmonomial
constant tail
constant sameComponent
constant monomialLcm
constant spoly
constant minEcart
constant NFMora
constant prodcrit
constant chaincrit
constant pairset
constant updatePairs
constant standard
constant localstd