We then define one weight formula_15 to be "higher" than another weight formula_107 if formula_108 is expressible as a linear combination of elements of formula_109 with non-negative real coefficients.