From znan2's published specialization at t=12925/1089144 of Kubert's Z/7Z Tate family y^2+(1-c)*x*y-b*y=x^3-b*x^2, with b=t^3-t^2 and c=t^2-t. The source records a height-ordered search, PARI/GP rank bounds [6,6], and saturation to 100. Its six points are reproduced here on the same global minimal model. The specialization-to-model identity and all six point coordinates were checked exactly. Their independence was independently certified by reduction homomorphisms to F_5 at seven good primes, giving a matrix of rank 6; the rational torsion subgroup is Z/7Z. The complete bad-prime list was verified from the minimal discriminant. Source: https://github.com/Layr-Labs/elliptic-rank-challenge-public/blob/6d9049fb3a1357d0199aada9d2c95c4de8fe2369/submission/board/7-6.ec
The Wren ·