Function full_order_basis2 

pub fn full_order_basis2(
    c: &Curve2,
    ell: u64,
    a: u32,
) -> Option<(Point2, Point2)>

A rank-2 basis (P, Q) of E[ℓᵃ] = (ℤ/ℓᵃ)² — both of order exactly ℓᵃ, independent. The full ℓᵃ-torsion is 𝔽_{p²}-rational on a supersingular curve when ℓᵃ | p+1.