From bf4e7ff3b709f1c8064d3ea839adb32390375c57 Mon Sep 17 00:00:00 2001 From: Daniel Lubarov Date: Mon, 15 Aug 2022 17:17:05 -0700 Subject: [PATCH] Feedback --- field/src/types.rs | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) 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