--- In email@example.com
, Jack Brennen <jfb@...> wrote:
> The set of rational points is finitely generated, but there are definitely multiple rational points on this curve.
> Once you find one solution x,y, you can get more using PARI/GP:
> On 4/7/2013 1:18 PM, mikeoakes2 wrote:
> > Find a rational point on the curve
> > y^2 = x^3 - 6077
> > Hint: there is exactly one.
Of course you are quite right, Jack.
Brain not in gear :-(
I was meaning: the rank is one, i.e. there is only one "generator" (and all other points are simply integral multiples of that, as per your code).