Invariants for Genus One Models

aInvariants(model) : ModelG1 -> [ RngElt ]
The invariants [a1, a2, a3, a4, a6] of the given genus one model which must have degree 2, 3, or 4. The formulae in the degree 3 case come from [ARVT05].
bInvariants(model) : ModelG1 -> [ RngElt ]
The invariants [b2, b4, b6, b8] of the given genus one model which must have degree 2, 3, or 4. These are computed from the aInvariants in the standard way (as for elliptic curves).
cInvariants(model) : ModelG1 -> [ RngElt ]
The invariants [c4, c6] of the given genus one model. For n=2, 3, or 4 these are the classical invariants, as can be found in [AKM+01]. For n=5 the algorithm is described in [Fis08].
Invariants(model) : ModelG1 -> RngElt, RngElt, RngElt
The invariants c4, c6 and Δ (the discriminant) of the given genus one model.
Discriminant(model) : ModelG1 -> RngElt
The discriminant Δ of the given genus one model.
SL4Invariants(model) : ModelG1 -> [ RngElt ]
The SL4-invariants of a genus one model of degree 4.
V2.28, 13 July 2023