- boolean
- boolean-operations
- boolean_seqs
- BooleanPolynomialRing
- Booleans
- booleans
- booleans-ideal
- Bordered
- BorderedDoublyCirculantQRCode
- Borel
- BorelSubgroup
- Bottle
- Bottom
- Bound
- BDLCLowerBound(F, n, d) : FldFin, RngIntElt, RngIntElt -> RngIntElt
- BDLCUpperBound(F, n, d) : FldFin, RngIntElt, RngIntElt -> RngIntElt
- BKLCLowerBound(F, n, k) : FldFin, RngIntElt, RngIntElt -> RngIntElt
- BKLCUpperBound(F, n, k) : FldFin, RngIntElt, RngIntElt -> RngIntElt
- BLLCLowerBound(F, k, d) : FldFin, RngIntElt, RngIntElt -> RngIntElt
- BLLCUpperBound(F, k, d) : FldFin, RngIntElt, RngIntElt -> RngIntElt
- BachBound(K) : FldNum -> RngIntElt
- Bound(I, B) : RngSLPolElt, RngElt -> RngElt
- Bound(I, B) : RngSLPolElt, RngIntElt -> RngIntElt
- ClassGroupGenerationBound(F) : FldFunG -> RngIntElt
- ClassGroupGenerationBound(q, g) : RngIntElt, RngIntElt -> RngIntElt
- ClassNumberApproximationBound(q, g, e) : RngIntElt, RngIntElt, FldReElt, -> RngIntElt
- EliasAsymptoticBound(K, delta) : FldFin, FldPrElt -> FldPrElt
- EliasBound(K, n, d) : FldFin, RngIntElt, RngIntElt -> RngIntElt
- GeometricTorsionBound(E) : CrvEll[FldFunG] -> RngIntElt
- GilbertVarshamovAsymptoticBound(K, delta) : FldFin, FldPrElt -> FldPrElt
- GilbertVarshamovBound(K, n, d) : FldFin, RngIntElt, RngIntElt -> RngIntElt
- GilbertVarshamovLinearBound(K, n, d) : FldFin, RngIntElt, RngIntElt -> RngIntElt
- GriesmerBound(K, n, d) : FldFin, RngIntElt, RngIntElt -> RngIntElt
- GriesmerLengthBound(K, k, d) : FldFin, RngIntElt, RngIntElt -> RngIntElt
- GriesmerMinimumWeightBound(K, n, k) : FldFin, RngIntElt, RngIntElt->RngIntElt
- HammingAsymptoticBound(K, delta) : FldFin, FldPrElt -> FldPrElt
- HeckeBound(M) : ModSym -> RngIntElt
- HeckeEigenvalueBound(M, P) : ModFrmHil, RngOrdIdl -> RngIntElt
- HeightDifferenceBounds(E) : CrvEll -> FldReElt, FldReElt
- IharaBound(F) : FldFunG -> RngIntElt
- JohnsonBound(n, d) : RngIntElt, RngIntElt -> RngIntElt
- L`MinimumBound : Lat -> RngElt
- LevenshteinBound(K, n, d) : FldFin, RngIntElt, RngIntElt -> RngIntElt
- McElieceEtAlAsymptoticBound(delta) : FldPrElt -> FldPrElt
- MinkowskiBound(K) : FldNum -> RngIntElt
- NumberOfPlacesOfDegreeOneECFBound(C) : Crv -> RngIntElt
- NumberOfPlacesOfDegreeOneECFBound(F) : FldFunG -> RngIntElt
- NumberOfPlacesOfDegreeOneOverExactConstantFieldBound(F, m) : FldFun, RngIntElt -> RngIntElt
- OverconvergentHeckeSeriesDegreeBound(p, N, k, m) : RngIntElt, RngIntElt, RngIntElt, RngIntElt -> RngIntElt
- PlotkinAsymptoticBound(K, delta) : FldFin, FldPrElt -> FldPrElt
- PlotkinBound(K, n, d) : FldFin, RngIntElt, RngIntElt -> RngIntElt
- PrecisionBound(M : parameters) : ModFrm -> RngIntElt
- PrueferRankBound (G) : GrpMat -> BoolElt
- QECCLowerBound(F, n, k) : FldFin, RngIntElt, RngIntElt -> RngIntElt
- QECCUpperBound(F, n, k) : FldFin, RngIntElt, RngIntElt -> RngIntElt
- Rank(H: parameters) : SetPtEll -> RngIntElt, BoolElt
- RankBound(J) : JacHyp -> RngIntElt
- RankBound(f,q) : RngUPolElt, RngIntElt -> RngIntElt
- RankBounds(E) : CrvEll[FldFunG] -> RngIntElt, RngIntElt
- RegulatorLowerBound(K) : FldNum -> FldComElt
- RegulatorLowerBound(O) : RngOrd -> FldReElt
- SerreBound(C) : Crv[FldFin] -> RngIntElt
- SerreBound(F) : FldFunG -> RngIntElt
- SetHeckeBound(M, n) : ModSym, RngIntElt -> RngIntElt
- SetLMGSchreierBound(n) : RngIntElt ->
- SetLowerBound(L, n, b) : LP, RngIntElt, RngElt ->
- SetUpperBound(L, n, b) : LP, RngIntElt, RngElt ->
- SiksekBound(H: parameters) : SetPtEll -> FldPrElt
- SilvermanBound(H) : SetPtEll -> FldPrElt
- SingletonAsymptoticBound(delta) : FldPrElt -> FldPrElt
- SingletonBound(K, n, d) : FldFin, RngIntElt, RngIntElt -> RngIntElt
- SpherePackingBound(K, n, d) : FldFin, RngIntElt, RngIntElt -> RngIntElt
- TorsionBound(E, n) : CrvEll, RngIntElt -> RngIntElt
- TorsionBound(E, n) : CrvEll[FldFunG], RngIntElt -> RngIntElt
- TorsionBound(J, n) : JacHyp, RngIntElt -> RngIntElt
- TorsionBound(M, maxp) : ModSym, RngIntElt -> RngIntElt
- TorsionLowerBound(A) : ModAbVar -> RngIntElt
- TwoPowerIsogenyDescentRankBound(E, T : parameters) : CrvEll[FldRat], PtEll[FldRat] ) -> RngIntElt, SeqEnum, SeqEnum
- VanLintBound(K, n, d) : FldFin, RngIntElt, RngIntElt -> RngIntElt
- VerifyMinimumDistanceLowerBound(C, d) : Code, RngIntElt -> BoolElt, RngIntElt, BoolElt
- VerifyMinimumDistanceUpperBound(C, d) : Code, RngIntElt -> BoolElt, RngIntElt, BoolElt
- WeilPolynomialToRankBound(f, q) : RngUPolElt, RngIntElt -> RngIntElt
V2.28, 13 July 2023