Documentation

hypergeom-identify
- Identification of Hypergeometric Data as Other Objects (HYPERGEOMETRIC MOTIVES)
hypergeom-lseries
- Functionality with L-series and Euler Factors (HYPERGEOMETRIC MOTIVES)
hypergeom-mot-first-example
- HypGeomMot_hypergeom-mot-first-example (Example H138E1)
hypergeom-utility
- pParts(H) : HypGeomMot -> List
- Utility Functions (HYPERGEOMETRIC MOTIVES)
Hypergeometric
- HypergeometricData(L) : List -> HypGeomData
- HypergeometricData(A, B) : SeqEnum, SeqEnum -> HypGeomData
- HypergeometricData(G) : SeqEnum[RngIntElt] -> HypGeomData
- HypergeometricData(F, G) : SeqEnum[RngIntElt], SeqEnum[RngIntElt] -> HypGeomData
- HypergeometricData(E) : SeqEnum[SeqEnum] -> HypGeomData
- HypergeometricMotiveSaveLimit(n) : RngIntElt ->
- HypergeometricSeries(a, b, c, z) : RngElt, RngElt, RngElt, RngElt -> RngElt
- HypergeometricSeries(a,b,c, z) : RngElt, RngElt, RngElt, RngElt -> RngElt
- HypergeometricSeries2F1(A,B,C,z) : FldRatElt, FldRatElt, FldRatElt, FldComElt -> FldComElt
- HypergeometricTrace(H, t, q) : HypGeomData, RngQZElt, RngIntElt -> RngIntElt
- HypergeometricTraceK(A, B, t, q) : SeqEnum, SeqEnum, RngQZElt, RngIntElt -> FldPadElt
- HypergeometricU(a, b, s) : FldReElt, FldReElt, FldReElt -> FldReElt
- PossibleHypergeometricData(d) : RngIntElt -> SeqEnum
hypergeometric
- HYPERGEOMETRIC MOTIVES
- The Hypergeometric Function (REAL AND COMPLEX FIELDS)
- The Hypergeometric Series (POWER, LAURENT AND PUISEUX SERIES)
hypergeometric-motives
- HYPERGEOMETRIC MOTIVES
hypergeometric-tracek
- HypGeomMot_hypergeometric-tracek (Example H138E7)
Hypergeometric2F1
- GrpPSL2Shim_Hypergeometric2F1 (Example H143E8)
HypergeometricData
- HypergeometricData(L) : List -> HypGeomData
- HypergeometricData(A, B) : SeqEnum, SeqEnum -> HypGeomData
- HypergeometricData(G) : SeqEnum[RngIntElt] -> HypGeomData
- HypergeometricData(F, G) : SeqEnum[RngIntElt], SeqEnum[RngIntElt] -> HypGeomData
- HypergeometricData(E) : SeqEnum[SeqEnum] -> HypGeomData
HypergeometricMotiveClearTable
- HypergeometricMotiveClearTable() : ->
- HypergeometricMotiveSaveLimit(n) : RngIntElt ->
HypergeometricMotiveSaveLimit
- HypergeometricMotiveClearTable() : ->
- HypergeometricMotiveSaveLimit(n) : RngIntElt ->
HypergeometricSeries
- HypergeometricSeries(a, b, c, z) : RngElt, RngElt, RngElt, RngElt -> RngElt
- HypergeometricSeries(a,b,c, z) : RngElt, RngElt, RngElt, RngElt -> RngElt
HypergeometricSeries2F1
- HypergeometricSeries2F1(A,B,C,z) : FldRatElt, FldRatElt, FldRatElt, FldComElt -> FldComElt
HypergeometricTrace
- HypergeometricTrace(H, t, q) : HypGeomData, RngQZElt, RngIntElt -> RngIntElt
HypergeometricTraceK
- HypergeometricTraceK(A, B, t, q) : SeqEnum, SeqEnum, RngQZElt, RngIntElt -> FldPadElt
HypergeometricU
- HypergeometricU(a, b, s) : FldReElt, FldReElt, FldReElt -> FldReElt
Hyperplane
- HyperplaneAtInfinity(X) : Sch -> Sch
- HyperplaneSectionDivisor(X) : Sch -> DivSchElt
- HyperplaneToPolyhedron(v,h) : TorLatElt,FldRatElt -> TorPol
- IsSupportingHyperplane(v,h,P) : TorLatElt,FldRatElt,TorPol -> BoolElt,RngIntElt
HyperplaneAtInfinity
- HyperplaneAtInfinity(X) : Sch -> Sch
HyperplaneSectionDivisor
- HyperplaneSectionDivisor(X) : Sch -> DivSchElt
HyperplaneToPolyhedron
- HyperplaneToPolyhedron(v,h) : TorLatElt,FldRatElt -> TorPol
Hypersurface
- EffectiveHypersurfaceTwist(D) : DivSchElt -> DivSchElt, RngMPolElt
- HypersurfaceSingularityExpandFunction(dat,f,prec,R): Rec, FldFunRatMElt, RngIntElt, RngMPol -> RngMPolElt, RngMPolElt
- HypersurfaceSingularityExpandFurther(dat,prec,R): Rec, RngIntElt, RngMPol -> RngMPolElt
- IsHypersurface(X) : Sch -> BoolElt, RngMPolElt
- IsHypersurfaceDivisor(D) : DivCrvElt -> BoolElt, RngElt, RngIntElt
- IsHypersurfaceSingularity(p,prec) : Pt, RngIntElt -> BoolElt, RngMPolElt, SeqEnum, Rec
- MilnorNumberAnalyticHypersurface(dat) : Rec -> RngIntElt
- NormalFormOfHypersurfaceSingularity(f) : RngMPol -> BoolElt, RngMPolElt, MonStgElt, Map
- ParametrizeProjectiveHypersurface(X, P2) : Srfc, Prj -> BoolElt, MapSch
HypersurfaceSingularityExpandFunction
- HypersurfaceSingularityExpandFunction(dat,f,prec,R): Rec, FldFunRatMElt, RngIntElt, RngMPol -> RngMPolElt, RngMPolElt
HypersurfaceSingularityExpandFurther
- HypersurfaceSingularityExpandFurther(dat,prec,R): Rec, RngIntElt, RngMPol -> RngMPolElt
hypgeom-mot
- Char_hypgeom-mot (Example H43E14)
hypsplit
- FldForms_hypsplit (Example H30E6)

V2.29, 21 October 2025

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