Show commands:
SageMath
E = EllipticCurve("ix1")
E.isogeny_class()
Elliptic curves in class 100800.ix
sage: E.isogeny_class().curves
LMFDB label | Cremona label | Weierstrass coefficients | j-invariant | Discriminant | Torsion structure | Modular degree | Faltings height | Optimality |
---|---|---|---|---|---|---|---|---|
100800.ix1 | 100800fs4 | \([0, 0, 0, -612300, -184322000]\) | \(68017239368/39375\) | \(14696640000000000\) | \([2]\) | \(786432\) | \(2.0478\) | |
100800.ix2 | 100800fs3 | \([0, 0, 0, -360300, 82042000]\) | \(13858588808/229635\) | \(85710804480000000\) | \([2]\) | \(786432\) | \(2.0478\) | |
100800.ix3 | 100800fs2 | \([0, 0, 0, -45300, -1748000]\) | \(220348864/99225\) | \(4629441600000000\) | \([2, 2]\) | \(393216\) | \(1.7012\) | |
100800.ix4 | 100800fs1 | \([0, 0, 0, 9825, -204500]\) | \(143877824/108045\) | \(-78764805000000\) | \([2]\) | \(196608\) | \(1.3546\) | \(\Gamma_0(N)\)-optimal |
Rank
sage: E.rank()
The elliptic curves in class 100800.ix have rank \(1\).
Complex multiplication
The elliptic curves in class 100800.ix do not have complex multiplication.Modular form 100800.2.a.ix
sage: E.q_eigenform(10)
Isogeny matrix
sage: E.isogeny_class().matrix()
The \(i,j\) entry is the smallest degree of a cyclic isogeny between the \(i\)-th and \(j\)-th curve in the isogeny class, in the LMFDB numbering.
\(\left(\begin{array}{rrrr} 1 & 4 & 2 & 4 \\ 4 & 1 & 2 & 4 \\ 2 & 2 & 1 & 2 \\ 4 & 4 & 2 & 1 \end{array}\right)\)
Isogeny graph
sage: E.isogeny_graph().plot(edge_labels=True)
The vertices are labelled with LMFDB labels.