Exact computational search in the full 2-torsion/3-torsion family with p=-20, q=31; A=(3q-p)(p+q)^3=150403, B=-(p+3q)(p-q)^3=9683523. The listed points are independent modulo torsion by the exact 2-descent Kummer squareclass map. The rank is a proven lower bound; no upper bound is claimed.
Commentary
last edited by Natanael Wildner Fraga at · history
Log in to edit commentary.