QEtaMultiWeightSorting FΒΆ

qetamultisamba.spad line 146 [edit on github]

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 true 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)