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