pub fn torsion_basis2(c: &Curve2, n: u64) -> Option<(Point2, Point2)>Expand description
A torsion basis of E[n] over 𝔽_{p²} (n prime) — the full n-torsion is 𝔽_{p²}-rational on a
supersingular curve when n | p+1. None if it is not fully rational.