Structures · Geometry
WeierstrassCurve.IsShortNF
A WeierstrassCurve is in short normal form, if its a₁, a₂, a₃ = 0.
In other words it is Y² = X³ + a₄X + a₆.
This is the normal form of characteristic ≠ 2 or 3, and
also the normal form of characteristic = 3 and j = 0.
- Shape
- One type argument · adds a₁, a₂, a₃
Extends0
Extends nothing: this is a root of the hierarchy.
Extended by0
Nothing extends this class yet.
Concrete types that are instances0
No instance on a concrete type; it is reached through other classes.
How is a type an instance?
Loading the hierarchy index…
Assumed by22
- WeierstrassCurve.a₂_of_isShortNF
- WeierstrassCurve.c₄_of_isShortNF
- WeierstrassCurve.Δ_of_isShortNF
- WeierstrassCurve.b₄_of_isShortNF
- WeierstrassCurve.c₆_of_isShortNF
- WeierstrassCurve.b₆_of_isShortNF
- WeierstrassCurve.c₄_of_isShortNF_of_char_three
- WeierstrassCurve.IsShortNF.a₃
- WeierstrassCurve.IsShortNF.a₂
- WeierstrassCurve.IsShortNF.a₁
- WeierstrassCurve.isCharThreeNF_of_isShortNF
- WeierstrassCurve.c₆_of_isShortNF_of_char_three
- WeierstrassCurve.isCharNeTwoNF_of_isShortNF
- WeierstrassCurve.b₄_of_isShortNF_of_char_three
- WeierstrassCurve.j_of_isShortNF_of_char_three
- WeierstrassCurve.Δ_of_isShortNF_of_char_three
- WeierstrassCurve.b₂_of_isShortNF
- WeierstrassCurve.b₆_of_isShortNF_of_char_three
- WeierstrassCurve.a₁_of_isShortNF
- WeierstrassCurve.b₈_of_isShortNF
- WeierstrassCurve.j_of_isShortNF
- WeierstrassCurve.a₃_of_isShortNF
Ancestors0
No ancestors.