QEtaMultiWeightSorting FΒΆ
qetamultisamba.spad line 146 [edit on github]
- F: with 
QEtaMultiWeightSorting(F) package that helps with sorting elements.
greater?: (Record(fquot: Fraction Integer, fcomponent: NonNegativeInteger), Record(fquot: Fraction Integer, fcomponent: NonNegativeInteger)) -> Boolean
- less?: List Integer -> (F, F) -> Boolean
- less(grdst)( - u,- b) returns- trueif weight(- u,grdst) is lexicographically less than weight(- b,grdst).
lessLex?: (List Record(fquot: Fraction Integer, fcomponent: NonNegativeInteger), List Record(fquot: Fraction Integer, fcomponent: NonNegativeInteger)) -> Boolean
weight: (F, List Integer) -> List Record(fquot: Fraction Integer, fcomponent: NonNegativeInteger)