Structures · Geometry
WeierstrassCurve.IsCharThreeJNeZeroNF
A WeierstrassCurve is in normal form of characteristic = 3 and j ≠ 0, if its
a₁, a₃, a₄ = 0. In other words it is Y² = X³ + a₂X² + a₆.
- 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 by23
- WeierstrassCurve.a₄_of_isCharThreeJNeZeroNF
- WeierstrassCurve.Δ_of_isCharThreeJNeZeroNF_of_char_three
- WeierstrassCurve.j_of_isCharThreeJNeZeroNF_of_char_three
- WeierstrassCurve.c₄_of_isCharThreeJNeZeroNF_of_char_three
- WeierstrassCurve.c₄_of_isCharThreeJNeZeroNF
- WeierstrassCurve.b₂_of_isCharThreeJNeZeroNF
- WeierstrassCurve.IsCharThreeJNeZeroNF.a₃
- WeierstrassCurve.c₆_of_isCharThreeJNeZeroNF
- WeierstrassCurve.b₆_of_isCharThreeJNeZeroNF
- WeierstrassCurve.b₈_of_isCharThreeJNeZeroNF
- WeierstrassCurve.IsCharThreeJNeZeroNF.a₁
- WeierstrassCurve.IsCharThreeJNeZeroNF.a₄
- WeierstrassCurve.Δ_of_isCharThreeJNeZeroNF
- WeierstrassCurve.j_ne_zero_of_isCharThreeJNeZeroNF_of_char_three
- WeierstrassCurve.b₄_of_isCharThreeJNeZeroNF
- WeierstrassCurve.b₈_of_isCharThreeJNeZeroNF_of_char_three
- WeierstrassCurve.isCharThreeNF_of_isCharThreeJNeZeroNF
- WeierstrassCurve.b₆_of_isCharThreeJNeZeroNF_of_char_three
- WeierstrassCurve.a₃_of_isCharThreeJNeZeroNF
- WeierstrassCurve.c₆_of_isCharThreeJNeZeroNF_of_char_three
- WeierstrassCurve.isCharNeTwoNF_of_isCharThreeJNeZeroNF
- WeierstrassCurve.a₁_of_isCharThreeJNeZeroNF
- WeierstrassCurve.b₂_of_isCharThreeJNeZeroNF_of_char_three
Ancestors0
No ancestors.