- v
- val
- Valence
- Valency
- Valid
- Validate
- ValidateCryptographicCurve
- Valuation
- DiscriminantValuation(L) : FldXPad -> RngIntElt
- EuclideanNorm(v) : RngValElt -> RngIntElt
- GaussValuation (f) : SnuElement -> FldRatElt
- ShiftValuation(x, n) : FldXPadElt, RngIntElt -> FldXPadElt
- ShiftValuation(f, n) : RngUPolElt, RngIntElt -> RngUPolElt
- SlopeValuation(L,s) : RngDiffOpElt, RngElt -> FldRatElt
- Valuation(a, P) : DiffCrvElt, PlcCrvElt -> RngIntElt
- Valuation(d, P) : DiffCrvElt, PlcCrvElt -> RngIntElt
- Valuation(d, P) : DiffFunElt, PlcFunElt -> RngIntElt
- Valuation(D,p) : DivCrvElt, Pt -> DivCrvElt
- Valuation(D, P) : DivFunElt, PlcFunElt -> RngIntElt
- Valuation(a, P) : FldFunElt, PlcFunElt -> RngIntElt
- Valuation(a, P) : FldFunElt, PlcFunElt -> RngIntElt
- Valuation(a, p) : FldNumElt, PlcNumElt -> RngElt
- Valuation(a, p) : FldNumElt, PlcNumElt -> RngElt
- Valuation(x, p) : FldRatElt, RngIntElt -> RngIntElt, FldRatElt
- Valuation(x) : FldXPadElt -> RngIntElt
- Valuation(D, P) : OMDiv, OMIdl -> RngIntElt
- Valuation(I, P) : OMIdl, OMIdl -> RngIntElt
- Valuation(I, P) : OMIdl, OMIdl -> RngIntElt
- Valuation(alpha, P : parameters) : FldArithElt, OMIdl->RngIntElt,FldElt
- Valuation(alpha, P : parameters) : FldArithElt, OMIdl->RngIntElt,FldElt
- Valuation(P) : PlcCrvElt -> Map
- Valuation(p) : Pt -> Map
- Valuation(f, P) : RngElt, PlcCrvElt -> RngIntElt
- Valuation(f, p) : RngElt, Pt -> RngIntElt
- Valuation(a, P) : RngElt, RngFunOrdIdl -> RngIntElt
- Valuation(x, I) : RngIntElt, RngInt -> RngIntElt
- Valuation(x, p) : RngIntElt, RngIntElt -> RngIntElt, RngIntElt
- Valuation(a) : RngLocAElt -> RngExtReElt
- Valuation(w, I) : RngOrdElt, RngOrdIdl -> RngIntElt
- Valuation(I, p) : RngOrdFracIdl , PlcNumElt -> RngElt
- Valuation(I, p) : RngOrdFracIdl , PlcNumElt -> RngElt
- Valuation(I, p) : RngOrdFracIdl, RngOrdIdl -> RngIntElt
- Valuation(x) : RngPadElt -> RngIntElt
- Valuation(s) : RngPowLazElt -> Any
- Valuation(f) : RngSerElt -> RngIntElt
- Valuation(e) : RngSerExtElt -> RngIntElt
- Valuation(p) : RngUPolElt -> RngIntElt
- Valuation(f, g) : RngUPolElt, RngUPolElt -> RngIntElt
- ValuationEq(x, n) : FldXPadElt, RngIntElt -> BoolElt
- ValuationRing(F) : FldFunRat -> RngVal
- ValuationRing(F) : FldFunRat -> RngVal
- ValuationRing(F, f) : FldFunRat, RngUPolElt -> RngVal
- ValuationRing(F, f) : FldFunRat, RngUPolElt -> RngVal
- ValuationRing(K, p) : FldNum, RngOrdIdl -> RngVal
- ValuationRing(Q, p) : FldRat, RngIntElt -> RngVal
- WeakValuation(x) : RngXPadElt -> RngIntElt
- valuation
- valuation-degree
- ValuationEq
- 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
- ValuationGe
- 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
- ValuationGt
- 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
- ValuationLe
- 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
V2.28, 13 July 2023