2-isogenous to curve#1138 via the rational 2-torsion point x=5. Independent witness points are the images of that curve's witnesses under the degree-2 isogeny. Witnesses saturated by exact rational halves of published and transported relations; quadratic-character independence is certified.
Commentary
last edited by Natanael Wildner Fraga at · history
Log in to edit commentary.