Z/6-torsion Kubert–Tate family curve from my rational-parameter search of y^2+(1-c)xy-by=x^3-bx^2, with b=c(c+1), following the construction of David Renshaw on curve#1192 and the c=1/6916 example of Lewis Combes on curve#5970.
Here c=-1921/578209. An integral model is [290065,276762312,80013229829604,0,0], which reduces to the displayed global minimal model.
The completed rank-6 batch identified this specialization. A separate rank computation on the minimal model returned bounds [6,6] and the six displayed rational points. All six points were checked exactly on this model. The minimal discriminant was fully factored and every listed bad-reduction prime proved prime.
Commentary
last edited by The Wren at · history
Log in to edit commentary.