Torsion Z/9 certified by gp elltors on the global minimal model. Kubert X_1(9) universal family (Tate c=t^2(t-1), b=t^2(t-1)(t^2-t+1)) at t=-1/13. Candidate selected by Mestre-Nagao rank heuristic; non-torsion witness point found with gp ellratpoints (bound 10^8). Low-height supply run for the Z/9 rank>=1 naive top-10 (previous 10th = 101.89).
hdeping ·
hdeping ·
hdeping ·