pub fn compute_n_prime_newton<T>(modulus: T, w: usize) -> TExpand description
Newton’s method for N’ = -N^{-1} mod 2^W.
Invariant: after each iteration, modulus * x ≡ 1 (mod 2^precision).
We return 0 - x so that modulus * N' ≡ -1 (mod 2^W).
pub fn compute_n_prime_newton<T>(modulus: T, w: usize) -> TNewton’s method for N’ = -N^{-1} mod 2^W.
Invariant: after each iteration, modulus * x ≡ 1 (mod 2^precision).
We return 0 - x so that modulus * N' ≡ -1 (mod 2^W).