pub fn torsion_basis(curve: &Curve, n: u64) -> Option<(Point, Point)>Expand description
A torsion basis of E[n] (n prime): two independent points of order n generating the full
n-torsion (ℤ/n)², or None if the n-torsion is not fully rational. Requires p ≡ 3 (mod 4). This
is the public torsion basis whose images an SIDH/SIKE key publishes.