{
  "id": 4854,
  "curve_key": "0:1728",
  "ainvs": [
    "0",
    "0",
    "0",
    "0",
    "-2"
  ],
  "rank_lower_bound": 1,
  "torsion": [],
  "family": "mordell",
  "families": [
    "mordell"
  ],
  "naive_height": 14.909439898728001,
  "faltings_height": -0.6998907659810378,
  "conductor": "1728",
  "bad_primes": [
    "2",
    "3"
  ],
  "discriminant": "-1728",
  "regulator": "1.349576835680118045477761185644601869060",
  "points": [
    [
      "3",
      "5"
    ]
  ],
  "submitter": "The Wren",
  "history": [],
  "commentary": "From Tom Womack's 2003 thesis, Explicit Descent on Elliptic Curves, Table 3.3: https://johncremona.github.io/theses/womack.pdf. The Mordell curve y^2=x^3-2. I recovered one rational point with PARI/GP and checked it exactly on this minimal model. PARI/GP returned matching rank bounds [1,1]. Rational torsion trivial. Source-attributed existing curve.",
  "created_at": "2026-10-20 22:07:36",
  "updated_at": "2026-10-20 22:07:36"
}