- Modabvar-Predicates2
- Modabvar-Predicates3
- Modabvar-Predicates4
- Modabvar-Predicates5
- Modabvar-Predicates6
- Modabvar-Predicates7
- Modabvar-Predicates8
- modabvar1
- ModBrdt:brandt
- ModBrdt:brandt-modules
- ModBrdt:Constructors
- ModBrdt:Decomposition
- ModBrdt:Dimension
- ModBrdt:dimension
- ModBrdt:dimension-formulas
- ModBrdt:EisensteinSubspace
- ModBrdt:fldfunrat
- ModBrdt:introduction
- ModBrdt:Module-Creation
- ModBrdt:Subspaces
- ModBrdt:Subspaces-Tests
- ModBrdt:Verbose-Output
- ModByPowerOf2
- Mode
- Model
- ChangeModel(F, p) : FldFun, PlcFunElt -> FldFun
- DiagonalModel(n, seq) : RngIntElt, [ RngElt ] -> ModelG1
- DoubleGenusOneModel(model) : ModelG1 -> ModelG1
- GenericModel(n) : RngIntElt -> ModelG1
- Genus5PlaneCurveModel(C) : Crv -> BoolElt, MapSch
- Genus6PlaneCurveModel(C) : Crv -> BoolElt, MapSch
- GenusOneModel(C) : Crv -> ModelG1
- GenusOneModel(mat) : Mtrx -> ModelG1
- GenusOneModel(n, E) : RngIntElt, CrvEll -> ModelG1, Crv, MapSch, MapSch
- GenusOneModel(f) : RngMPolElt -> ModelG1
- GenusOneModel(mats) : [ AlgMatElt ] -> ModelG1
- GenusOneModel(seq) : [ RngElt ] -> ModelG1
- HasOddDegreeModel(C) : CrvHyp -> BoolElt, CrvHyp, MapIsoSch
- HesseModel(n, seq) : RngIntElt, [ RngElt ] -> ModelG1
- IntegralModel(E) : CrvEll -> CrvEll, Map, Map
- IntegralModel(C) : CrvHyp -> CrvHyp, MapIsoSch
- IsGenusOneModel(f) : RngUPolElt -> BoolElt, ModelG1
- IsIntegralModel(E) : CrvEll -> BoolElt
- IsIntegralModel(E, P) : CrvEll, RngOrdIdl -> BoolElt
- IsMinimalModel(E) : CrvEll -> BoolElt
- IsSimplifiedModel(E) : CrvEll -> BoolElt
- IsSimplifiedModel(C) : CrvHyp -> BoolElt
- IsWeierstrassModel(E) : CrvEll -> BoolElt
- LegendreModel(C) : CrvCon -> CrvCon, MapIsoSch
- MinimalDegreeModel(E) : CrvEll[FldFunRat] -> CrvEll, Map, Map
- MinimalModel(C) : CrvCon -> CrvCon, Map
- MinimalModel(E) : CrvEll -> CrvEll, Map, Map
- MinimalModel(E, p) : CrvEll, RngIntElt -> CrvEll, Map, Map
- MinimalModel(E) : CrvEll[FldFunG] -> CrvEll, MapIsoSch
- MinimalModelGeneralType(S) : Srfc -> Map, BoolElt
- MinimalModelKodairaDimensionOne(S) : Srfc -> Map, Map
- MinimalModelKodairaDimensionZero(S) : Srfc -> Map
- MinimalModelRationalSurface(S) : Srfc -> Map
- MinimalModelRuledSurface(S) : Srfc -> Map
- MinimalWeierstrassModel(C) : CrvHyp -> CrvHyp, MapIsoSch
- ModelToSequence(model) : ModelG1 -> [ RngElt ]
- ModelToString(model) : ModelG1 -> MonStgElt
- ModelType(X) : CrvMod -> MonStgElt
- MonicModel(F) : FldFun -> FldFun
- MonicModel(f, q) : RngUPolElt, RngIntElt -> RngUPolElt, SeqEnum
- PointOnRegularModel(M, x) : CrvRegModel, Pt -> SeqEnum, SeqEnum, Tup
- PointsCubicModel(C, B : parameters) : Crv, RngIntElt -> SeqEnum
- RandomGenusOneModel(n) : RngIntElt -> ModelG1
- ReducedLegendreModel(C) : CrvCon -> CrvCon, MapIsoSch
- ReducedMinimalWeierstrassModel(C) : CrvHyp -> CrvHyp, MapIsoSch
- ReducedModel(C) : CrvHyp -> CrvHyp, MapIsoSch
- RegularModel(C, P) : Crv, Any -> CrvRegModel
- SimplifiedModel(E): CrvEll -> CrvEll, Map, Map
- SimplifiedModel(C) : CrvHyp -> CrvHyp, MapIsoSch
- WeierstrassModel(E) : CrvEll -> CrvEll, Map, Map
- ZetaFunctionOfCurveModel(C) : Crv[FldFin] -> FldFunRatUElt
- pIntegralModel(C, p) : CrvHyp, RngIntElt -> CrvHyp, MapIsoSch
- pMinimalWeierstrassModel(C, p) : CrvHyp, RngIntElt -> CrvHyp, MapIsoSch
- pNormalModel(C, p) : CrvHyp, RngIntElt -> CrvHyp, MapIsoSch
V2.28, 13 July 2023