Structures · Geometry
WeierstrassCurve.IsCharTwoJNeZeroNF
A WeierstrassCurve is in normal form of characteristic = 2 and j ≠ 0, if its a₁ = 1 and
a₃, a₄ = 0. In other words it is Y² + XY = 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 by21
- WeierstrassCurve.b₂_of_isCharTwoJNeZeroNF_of_char_two
- WeierstrassCurve.a₃_of_isCharTwoJNeZeroNF
- WeierstrassCurve.b₄_of_isCharTwoJNeZeroNF
- WeierstrassCurve.a₁_of_isCharTwoJNeZeroNF
- WeierstrassCurve.b₆_of_isCharTwoJNeZeroNF
- WeierstrassCurve.Δ_of_isCharTwoJNeZeroNF_of_char_two
- WeierstrassCurve.a₄_of_isCharTwoJNeZeroNF
- WeierstrassCurve.IsCharTwoJNeZeroNF.a₄
- WeierstrassCurve.c₄_of_isCharTwoJNeZeroNF_of_char_two
- WeierstrassCurve.IsCharTwoJNeZeroNF.a₁
- WeierstrassCurve.IsCharTwoJNeZeroNF.a₃
- WeierstrassCurve.b₆_of_isCharTwoJNeZeroNF_of_char_two
- WeierstrassCurve.c₄_of_isCharTwoJNeZeroNF
- WeierstrassCurve.b₈_of_isCharTwoJNeZeroNF_of_char_two
- WeierstrassCurve.b₂_of_isCharTwoJNeZeroNF
- WeierstrassCurve.b₈_of_isCharTwoJNeZeroNF
- WeierstrassCurve.j_of_isCharTwoJNeZeroNF_of_char_two
- WeierstrassCurve.c₆_of_isCharTwoJNeZeroNF
- WeierstrassCurve.j_ne_zero_of_isCharTwoJNeZeroNF_of_char_two
- WeierstrassCurve.isCharTwoNF_of_isCharTwoJNeZeroNF
- WeierstrassCurve.c₆_of_isCharTwoJNeZeroNF_of_char_two
Ancestors0
No ancestors.