Structures · Geometry
WeierstrassCurve.IsIntegral
A Weierstrass equation over the fraction field K is integral if
it has coefficients in the ring R.
- Shape
- 2 explicit arguments · adds integral
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 by18
- WeierstrassCurve.integralModel
- WeierstrassCurve.baseChange_integralModel_eq
- WeierstrassCurve.IsIntegral.integral
- WeierstrassCurve.integralModel_Δ_eq
- WeierstrassCurve.integralModel_c₄_eq
- WeierstrassCurve.Δ_integral_of_isIntegral
- WeierstrassCurve.integralModel_b₄_eq
- WeierstrassCurve.integralModel_a₁_eq
- WeierstrassCurve.integralModel_a₄_eq
- WeierstrassCurve.integralModel_a₃_eq
- WeierstrassCurve.integralModel.congr_simp
- WeierstrassCurve.valuation_Δ_aux_eq_of_isIntegral
- WeierstrassCurve.integralModel_b₂_eq
- WeierstrassCurve.integralModel_c₆_eq
- WeierstrassCurve.integralModel_b₆_eq
- WeierstrassCurve.integralModel_a₆_eq
- WeierstrassCurve.integralModel_b₈_eq
- WeierstrassCurve.integralModel_a₂_eq
Ancestors0
No ancestors.