Checkpoint

Author: xuganyu96

src/uint/boxed/div.rs

@@ -1,6 +1,6 @@
 //! [`BoxedUint`] division operations.
 
-use crate::{BoxedUint, CheckedDiv, Limb, NonZero, Wrapping};
+use crate::{BoxedUint, CheckedDiv, Limb, NonZero, Wrapping, Reciprocal};
 use core::ops::{Div, DivAssign, Rem, RemAssign};
 use subtle::{Choice, ConstantTimeEq, ConstantTimeLess, CtOption};
 
@@ -24,6 +24,13 @@ impl BoxedUint {
         self.div_rem_vartime_unchecked(rhs.as_ref())
     }
 
+    /// Computes `self` / `rhs` using a pre-made reciprocal
+    /// returns the quotient (q) and remainder (r)
+    pub fn div_rem_limb_with_reciprocal(&self, reciprocal: &Reciprocal) -> (Self, Limb) {
+        todo!("Need to implement shl_limb");
+        // No need to implement div2by1
+    }
+
     /// Computes self % rhs, returns the remainder.
     ///
     /// Variable-time with respect to `rhs`.