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
) returnstrue
if 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)