Algebra.EllipticCurve
Description
The elliptic curve y^2 = 1 - x^4 in Q[x,y].
- newtype EllipticCurve = C (Qx, Qx)
Documentation
newtype EllipticCurve Source
The elliptic curve y^2=1-x^4 over Q[x,y].
constructive-algebra-0.3.0: A library of constructive algebra.
Algebra.EllipticCurve
Description
The elliptic curve y^2 = 1 - x^4 in Q[x,y].
newtype EllipticCurve Source
The elliptic curve y^2=1-x^4 over Q[x,y].