diff --git a/field/src/types.rs b/field/src/types.rs index 95085dbf..87fd8dd4 100644 --- a/field/src/types.rs +++ b/field/src/types.rs @@ -192,9 +192,9 @@ pub trait Field: /// Compute the inverse of 2^exp in this field. #[inline] fn inverse_2exp(exp: usize) -> Self { - // Let p = char(F). Since 2^exp is a scalar, i.e. an element of GF_p, - // its inverse must be as well. Thus we may add multiples of p without - // changing the result. In particular, + // Let p = char(F). Since 2^exp is in the prime subfield, i.e. an + // element of GF_p, its inverse must be as well. Thus we may add + // multiples of p without changing the result. In particular, // 2^-exp = 2^-exp - p 2^-exp // = 2^-exp (1 - p) // = p - (p - 1) / 2^exp