pub fn add<Fe>(
(ax, ay, az): ProjectivePoint<Fe>,
(bx, by, bz): ProjectivePoint<Fe>,
curve_equation_b: Fe,
) -> ProjectivePoint<Fe>where
Fe: Field,Expand description
Implements the complete addition formula from Renes-Costello-Batina 2015 (Algorithm 4).