- Lt
- ValuationNe(x, n) : FldXPadElt, RngIntElt -> BoolElt
- ValuationGe(x, n) : FldXPadElt, RngIntElt -> BoolElt
- ValuationGt(x, n) : FldXPadElt, Infty -> BoolElt
- ValuationLe(x, n) : FldXPadElt, Infty -> BoolElt
- ValuationLt(x, n) : FldXPadElt, RngIntElt -> BoolElt
- ValuationEq(x, n) : FldXPadElt, RngIntElt -> BoolElt
- lt
- LTaylor
- Lucas
- Lyons-schur-index
V2.28, 13 July 2023