Documentation

j
- jNInvariant(p,N) : Pt, RngIntElt -> RngElt
j-key
- j
J2
- GrpData_J2 (Example H73E24)
jac
- Period Matrix Functions (RIEMANN SURFACES)
- Points on the Jacobian (HYPERELLIPTIC CURVES)
Jac_Point_Counting
- CrvHyp_Jac_Point_Counting (Example H137E17)
jac_rad
- AlgAss_jac_rad (Example H90E3)
Jac_WeilPairing
- CrvHyp_Jac_WeilPairing (Example H137E16)
Jacket
- JacketMotive(A, B, t, rho, j) : SeqEnum, SeqEnum, RngQZElt, RngQZElt, RngIntElt -> JacketMot
JacketMotive
- JacketMotive(A, B, t, rho, j) : SeqEnum, SeqEnum, RngQZElt, RngQZElt, RngIntElt -> JacketMot
jacmot
- Jacobi Motive Functionality (HYPERGEOMETRIC MOTIVES)
jacmot-functionality
- Jacobi Motive Functionality (HYPERGEOMETRIC MOTIVES)
Jacobi
- AbelJacobi(D, P) : DivRieSrfElt, RieSrfPt -> Mtrx
- AbelJacobi(P) : RieSrfPt -> Mtrx
- AbelJacobi(P, Q) : RieSrfPt, RieSrfPt -> Mtrx
- GaussJacobiIntegrationPoints(N,D,a,b) : RngIntElt, RngIntElt, RngReSubElt, RngReSubElt) -> SeqEnum, SeqEnum
- Jacobi(~P, c, b, a, ~r) : GrpPCpQuotientProc, RngIntElt, RngIntElt, RngIntElt -> RngIntElt ->
- JacobiMotive(A, B) : SeqEnum, SeqEnum -> JacketMot
- JacobiSymbol(n, m) : RngIntElt, RngIntElt -> RngIntElt
- JacobiSymbol(a,b) : RngUPol, RngUPol -> RngIntElt
- JacobiTheta(q, z) : FldReElt, FldReElt -> FldReElt
- JacobiTheta(q, z) : FldReElt, RngSerElt[FldRe] -> RngSerElt
- JacobiThetaNullK(q, k) : FldReElt, RngIntElt -> FldReElt
jacobi
- Abel--Jacobi Map (RIEMANN SURFACES)
- Attributes (HYPERGEOMETRIC MOTIVES)
- Background (HYPERGEOMETRIC MOTIVES)
- Creation Functions (HYPERGEOMETRIC MOTIVES)
- Jacobi Motive Examples (HYPERGEOMETRIC MOTIVES)
- Kummer and Tate Twists (HYPERGEOMETRIC MOTIVES)
- L-function (HYPERGEOMETRIC MOTIVES)
- Operations (HYPERGEOMETRIC MOTIVES)
- The Jacobi θ and Dedekind η- functions (REAL AND COMPLEX FIELDS)
jacobi-arith
- HypGeomMot_jacobi-arith (Example H138E16)
jacobi-attributes
- HodgeVector(J) : JacketMot -> HodgeStruc, RngIntElt
- EffectiveHodgeStructure(J) : JacketMot -> HodgeStruc
- Attributes (HYPERGEOMETRIC MOTIVES)
jacobi-background
- Background (HYPERGEOMETRIC MOTIVES)
jacobi-creation
- Creation Functions (HYPERGEOMETRIC MOTIVES)
jacobi-dedekind
- The Jacobi θ and Dedekind η- functions (REAL AND COMPLEX FIELDS)
jacobi-examples
- Jacobi Motive Examples (HYPERGEOMETRIC MOTIVES)
jacobi-kummer-tate
- Kummer and Tate Twists (HYPERGEOMETRIC MOTIVES)
jacobi-l-func
- L-function (HYPERGEOMETRIC MOTIVES)
jacobi-motive-first-example
- HypGeomMot_jacobi-motive-first-example (Example H138E14)
jacobi-motive7
- HypGeomMot_jacobi-motive7 (Example H138E15)
jacobi-operations
- Operations (HYPERGEOMETRIC MOTIVES)
jacobi-relation-to-hypergeom
- HypGeomMot_jacobi-relation-to-hypergeom (Example H138E18)
jacobi-same-overQ
- HypGeomMot_jacobi-same-overQ (Example H138E17)
Jacobi_motives
- Jacobi Motives (HYPERGEOMETRIC MOTIVES)
Jacobian
- AnalyticJacobian(f) : RngUPolElt -> AnHcJac
- FromAnalyticJacobian(z, A) : Mtrx, AnHcJac -> SeqEnum
- FromAnalyticJacobianProjective(z, A) : Mtrx[FldCom], AnHcJac -> SeqEnum
- Jacobian(C) : CrvHyp -> JacHyp
- Jacobian(model) : ModelG1 -> CrvEll
- Jacobian(C) : RngMPolElt -> CrvEll
- JacobianIdeal(f) : RngMPolElt -> RngMPol
- JacobianIdeal(C) : Sch -> RngMPol
- JacobianIdeal(X) : Sch -> RngMPol
- JacobianMatrix(C) : Sch -> ModMatRngElt
- JacobianMatrix(X) : Sch -> ModMatRngElt
- JacobianMatrix( [ f ] ) : [ RngMPolElt ] -> RngMPol
- JacobianOrdersByDeformation(Q, Y) : RngMPolElt, SeqEnum -> SeqEnum
- JacobianPoint(J, D) : JacHyp, DivCrvElt -> JacHypPt
- JacobianSubrankScheme(X) : Sch -> Sch
- ToAnalyticJacobian(x, y, A) : FldComElt, FldComElt, AnHcJac -> Mtrx
- ToAnalyticJacobianMumford(pt, AJ, conj) : JacHypPt, AnHcJac, RngIntElt -> Mtrx
- ToAnalyticJacobianMumford(pt, AJ) : JacHypPt, AnHcJac-> Mtrx
jacobian
- Descent on the Jacobian (HYPERELLIPTIC CURVES)
- Isomorphisms, Isogenies and Endomorphism Rings of Analytic Jacobians (HYPERELLIPTIC CURVES)
- Jacobians (HYPERELLIPTIC CURVES)
jacobian-descent
- Descent on the Jacobian (HYPERELLIPTIC CURVES)
jacobian_creation
- Creation of a Jacobian (HYPERELLIPTIC CURVES)
JacobianIdeal
- JacobianIdeal(f) : RngMPolElt -> RngMPol
- JacobianIdeal(C) : Sch -> RngMPol
- JacobianIdeal(X) : Sch -> RngMPol
JacobianMatrix
- JacobianMatrix(C) : Sch -> ModMatRngElt
- JacobianMatrix(X) : Sch -> ModMatRngElt
- JacobianMatrix( [ f ] ) : [ RngMPolElt ] -> RngMPol

V2.29, 21 October 2025

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