X-Git-Url: https://git.distorted.org.uk/~mdw/catacomb/blobdiff_plain/1da1ed6a5815deef6c33d74f1eb3c856793df3e5..8f2287ef5c05d496fcb9b012629af007fe56f897:/math/mp.h

diff --git a/math/mp.h b/math/mp.h
index ad4309e9..0434c282 100644
--- a/math/mp.h
+++ b/math/mp.h
@@ -892,6 +892,19 @@ extern mp *mp_exp(mp */*d*/, mp */*a*/, mp */*e*/);
 
 extern mp *mp_odd(mp */*d*/, mp */*m*/, size_t */*s*/);
 
+/* --- @mp_leastcongruent@ --- *
+ *
+ * Arguments:	@mp *d@ = pointer to destination
+ *		@mp *b@ = lower bound
+ *		@mp *r@ = representative
+ *		@mp *m@ = modulus
+ *
+ * Returns:	The smallest integer %$x \equiv r \pmod{m}$% such that
+ *		%$x \ge b$%.
+ */
+
+extern mp *mp_leastcongruent(mp */*d*/, mp */*b*/, mp */*r*/, mp */*m*/);
+
 /*----- More advanced algorithms ------------------------------------------*/
 
 /* --- @mp_sqrt@ --- *