Documentation

Genus3GonalMap
- Genus3GonalMap(C) : Crv -> RngIntElt, MapSch
Genus4
- Genus4GonalMap(C) : Crv -> RngIntElt, MapSch
Genus4GonalMap
- Genus4GonalMap(C) : Crv -> RngIntElt, MapSch
Genus5
- Genus5GonalMap(C) : Crv -> RngIntElt, MapSch, Crv, UserProgram
- Genus5PlaneCurveModel(C) : Crv -> BoolElt, MapSch
Genus5GonalMap
- Genus5GonalMap(C) : Crv -> RngIntElt, MapSch, Crv, UserProgram
Genus5PlaneCurveModel
- Genus5PlaneCurveModel(C) : Crv -> BoolElt, MapSch
Genus6
- Genus6GonalMap(C) : Crv -> RngIntElt, RngIntElt, MapSch, MapSch
- Genus6PlaneCurveModel(C) : Crv -> BoolElt, MapSch
Genus6GonalMap
- Genus6GonalMap(C) : Crv -> RngIntElt, RngIntElt, MapSch, MapSch
Genus6PlaneCurveModel
- Genus6PlaneCurveModel(C) : Crv -> BoolElt, MapSch
genus_invariants
- Invariants of Genera and Spinor Genera (LATTICES)
genus_symbols
- Genus Constructions (LATTICES)
GenusAndCanonicalMap
- GenusAndCanonicalMap(C) : Crv -> RngIntElt, BoolElt, MapSch
GenusContribution
- GenusContribution(g) : GrphRes -> RngIntElt
GenusField
- GenusField(A): FldAb -> FldAb
GenusOneModel
- 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
GenusRepresentatives
- SpinorRepresentatives(L) : Lat -> [ Lat ]
- Representatives(G) : SymGen -> [ Lat ]
- GenusRepresentatives(L) : Lat -> [ Lat ]
- GenusRepresentatives(L) : LatNF -> [LatNF]
GenusSymbol
- GenusSymbol(L, p) : LatNF, RngOrdIdl -> SeqEnum, Any
GenusViaArithmeticGenus
- GenusViaArithmeticGenus(C) : Crv -> RngIntElt
Geodesic
- ExtendGeodesic([z1,z2], H) : [SpcHypElt], SpcHyp -> [SpcHypElt]
- Geodesic(u, v) : GrphVert, GrphVert -> [GrphVert]
- Geodesic(u, v : parameters) : GrphVert, GrphVert -> Eseq
- Geodesic(z,w) : SpcHydElt, SpcHydElt -> RngElt, RngElt
- GeodesicExists(u, v : parameters) : GrphVert, GrphVert -> BoolElt, Eseq
geodesic-intersection
- GrpPSL2_geodesic-intersection (Example H139E8)
GeodesicExists
- GeodesicExists(u, v : parameters) : GrphVert, GrphVert -> BoolElt, Eseq
Geodesics
- Points and Geodesics (CONGRUENCE SUBGROUPS OF PSL₂(R))
- Geodesics(u : parameters) : GrphVert -> Eseq
- GeodesicsIntersection(x1,x2) : [SpcHydElt], [SpcHydElt]) -> .
- GeodesicsIntersection(x1,x2) : [SpcHypElt], [SpcHypElt]) -> SeqEnum
- GeodesicsIntersection(x,y) : [SpcHypElt],[SpcHypElt] -> SpcHypElt
GeodesicsIntersection
- GeodesicsIntersection(x1,x2) : [SpcHydElt], [SpcHydElt]) -> .
- GeodesicsIntersection(x1,x2) : [SpcHypElt], [SpcHypElt]) -> SeqEnum
- GeodesicsIntersection(x,y) : [SpcHypElt],[SpcHypElt] -> SpcHypElt
Geometric
- AGCode(S, D) : [PlcCrvElt], DivCrvElt -> Code
- AlgebraicGeometricCode(S, D) : [PlcCrvElt], DivCrvElt -> Code
- AlgebraicGeometricDualCode(S, D) : [PlcCrvElt], DivCrvElt -> Code
- ArithmeticGeometricMean(x, y) : FldReElt, FldReElt -> FldReElt
- ArithmeticGeometricMean(x, y) : RngSerElt, RngSerElt -> RngSerElt
- DimensionOfFieldOfGeometricIrreducibility(C): Crv -> RngIntElt
- FieldOfGeometricIrreducibility(C) : Crv -> Rng, Map
- Genus(C) : Crv -> RngIntElt
- GeometricAutomorphismGroup(C) : Crv -> GrpPerm
- GeometricAutomorphismGroup(C) : CrvHyp : -> GrpPerm
- GeometricAutomorphismGroupFromShiodaInvariants(JI) : SeqEnum -> GrpPerm
- GeometricAutomorphismGroupGenus2Classification(F) : FldFin -> SeqEnum, SeqEnum
- GeometricAutomorphismGroupGenus3Classification(F) : FldFin -> SeqEnum,SeqEnum
- GeometricGaloisGroup(f) : RngUPolElt -> GrpPerm, RngUPolElt, GaloisData
- GeometricGenus(S) : Srfc -> RngIntElt
- GeometricGenusOfDesingularization(S) : Srfc -> RngIntElt
- GeometricMordellWeilLattice(E) : CrvEll[FldFunRat] -> Lat, Map
- GeometricSupport(C) : Code -> DivCrvElt
- GeometricTorsionBound(E) : CrvEll[FldFunG] -> RngIntElt
- IsAlgebraicGeometric(C) : Code -> BoolElt
geometric
- Geometric Restrictions: Affine Plane Curves with Non-ordinary Singularities (SCHEMES)
- Geometric Restrictions: Trace on a Scheme (SCHEMES)
geometric-restrictions-nonordsings
- Geometric Restrictions: Affine Plane Curves with Non-ordinary Singularities (SCHEMES)
geometric-restrictions-trace
- Geometric Restrictions: Trace on a Scheme (SCHEMES)
Geometric_Automorphism_Group
- CrvHyp_Geometric_Automorphism_Group (Example H134E52)
geometrical
- Geometric Restrictions: Points (SCHEMES)
- Geometric Restrictions: Schemes (SCHEMES)
geometrical-restrictions-points
- Geometric Restrictions: Points (SCHEMES)
geometrical-restrictions-schemes
- Geometric Restrictions: Schemes (SCHEMES)
Geometrically
- IsGeometricallyHyperelliptic(C) : Crv -> BoolElt, Crv, MapSch
- IsHyperelliptic(C) : Crv -> BoolElt, CrvHyp, MapSch
GeometricAutomorphismGroup
- GeometricAutomorphismGroup(C) : Crv -> GrpPerm
- GeometricAutomorphismGroup(C) : CrvHyp : -> GrpPerm
GeometricAutomorphismGroupFromIgusaInvariants
- GeometricAutomorphismGroupFromIgusaInvariants(GI) : SeqEnum -> SeqEnum, SeqEnum
- GeometricAutomorphismGroup(C) : CrvHyp : -> GrpPerm
GeometricAutomorphismGroupFromShiodaInvariants
- GeometricAutomorphismGroupFromShiodaInvariants(JI) : SeqEnum -> GrpPerm
GeometricAutomorphismGroupGenus2Classification
- GeometricAutomorphismGroupGenus2Classification(F) : FldFin -> SeqEnum, SeqEnum

V2.28, 13 July 2023

Magma is maintained and distributed by the Computational Algebra Group, School of Mathematics and Statistics, University of Sydney.