Requires: (, , , , )
Calculates: (, )
;
;
;
;
;
Provides: (, )
Algorithm 9: Core EC Jacobi-to-Affine Transformation.