constructive-algebra-0.2.0: A library of constructive algebra.

Algebra.EllipticCurve

Description

The elliptic curve y^2 = 1 - x^4 in Q[x,y].

Synopsis

Documentation