coeff_preΨ₄

Mathlib.AlgebraicGeometry.EllipticCurve.DivisionPolynomial.Degree

URI: https://scilib.ai/kg/mathlib#WeierstrassCurve.coeff_preΨ₄

English

For a Weierstrass curve W over R, the coefficient of X^6 in preΨ4 is 2.

Русский

Для кривой Вайерштрасса W над R коэффициент при X^6 в preΨ4 равен 2.

LaTeX

$$$(W.preΨ_4).coeff(6) = 2$$$

Lean4

@[simp]
theorem coeff_preΨ₄ : W.preΨ₄.coeff 6 = 2 := by
  rw [preΨ₄]
  compute_degree!

Похожие утверждения

Научная платформа российской исследовательской школы.

Разделы

Аффилиация

Вычислительный центр им. А. А. Дороницына при ФИЦ «Информатика и Управление» РАН frccsc.ru