fmpz_CRT: make r2 and m2 parameters const

flintlib · Oct 21, 2023 · 4646859 · 4646859
1 parent aa90012
commit 4646859
Show file tree

Hide file tree

Showing 3 changed files with 5 additions and 5 deletions.
diff --git a/doc/source/fmpz.rst b/doc/source/fmpz.rst
@@ -1288,7 +1288,7 @@ The ``fmpz_multi_CRT`` class is similar to ``fmpz_multi_CRT_ui`` except that it
     If sign = 0, it is assumed that `0 \le r_1 < m_1` and `0 \le r_2 < m_2`.
     Otherwise, it is assumed that `-m_1 \le r_1 < m_1` and `0 \le r_2 < m_2`.
 
-.. function:: void fmpz_CRT(fmpz_t out, const fmpz_t r1, const fmpz_t m1, fmpz_t r2, fmpz_t m2, int sign)
+.. function:: void fmpz_CRT(fmpz_t out, const fmpz_t r1, const fmpz_t m1, const fmpz_t r2, const fmpz_t m2, int sign)
 
     Use the Chinese Remainder Theorem to set ``out`` to the unique value
     `0 \le x < M` (if sign = 0) or `-M/2 < x \le M/2` (if sign = 1)

diff --git a/src/fmpz.h b/src/fmpz.h
@@ -621,7 +621,7 @@ void fmpz_fib_ui(fmpz_t f, ulong n);
 
 void _fmpz_CRT_ui_precomp(fmpz_t out, const fmpz_t r1, const fmpz_t m1, ulong r2, ulong m2, mp_limb_t m2inv, const fmpz_t m1m2, mp_limb_t c, int sign);
 void fmpz_CRT_ui(fmpz_t out, const fmpz_t r1, const fmpz_t m1, ulong r2, ulong m2, int sign);
-void fmpz_CRT(fmpz_t out, const fmpz_t r1, const fmpz_t m1, fmpz_t r2, fmpz_t m2, int sign);
+void fmpz_CRT(fmpz_t out, const fmpz_t r1, const fmpz_t m1, const fmpz_t r2, const fmpz_t m2, int sign);
 
 /* multi CRT *****************************************************************/
 

diff --git a/src/fmpz/CRT.c b/src/fmpz/CRT.c
@@ -16,8 +16,8 @@
 #include "fmpz.h"
 
 void
-_fmpz_CRT(fmpz_t out, const fmpz_t r1, const fmpz_t m1, fmpz_t r2,
-                   fmpz_t m2, const fmpz_t m1m2, fmpz_t c, int sign)
+_fmpz_CRT(fmpz_t out, const fmpz_t r1, const fmpz_t m1, const fmpz_t r2,
+                   const fmpz_t m2, const fmpz_t m1m2, fmpz_t c, int sign)
 {
     fmpz_t r1normal, tmp, r1mod, s;
 
@@ -65,7 +65,7 @@ _fmpz_CRT(fmpz_t out, const fmpz_t r1, const fmpz_t m1, fmpz_t r2,
 }
 
 void fmpz_CRT(fmpz_t out, const fmpz_t r1, const fmpz_t m1,
-    fmpz_t r2, fmpz_t m2, int sign)
+    const fmpz_t r2, const fmpz_t m2, int sign)
 {
     fmpz_t m1m2, c;