summaryrefslogtreecommitdiff
path: root/content/math/chineseRemainder.cpp
diff options
context:
space:
mode:
authorGloria Mundi <gloria@gloria-mundi.eu>2024-11-16 01:24:14 +0100
committerGloria Mundi <gloria@gloria-mundi.eu>2024-11-16 01:24:14 +0100
commit98567ec798aa8ca2cfbcb85c774dd470f30e30d4 (patch)
tree5113d5cc24d1ad5f93810b6442ce584a36950dc8 /content/math/chineseRemainder.cpp
parentad3856a6b766087df0036de0b556f4700a6498c9 (diff)
parent8d11c6c8213f46f0fa19826917c255edd5d43cb1 (diff)
mzuenni tests
Diffstat (limited to 'content/math/chineseRemainder.cpp')
-rw-r--r--content/math/chineseRemainder.cpp14
1 files changed, 14 insertions, 0 deletions
diff --git a/content/math/chineseRemainder.cpp b/content/math/chineseRemainder.cpp
new file mode 100644
index 0000000..ccbc5dc
--- /dev/null
+++ b/content/math/chineseRemainder.cpp
@@ -0,0 +1,14 @@
+struct CRT {
+ using lll = __int128;
+ lll M = 1, sol = 0; // Solution unique modulo M
+ bool hasSol = true;
+
+ // Adds congruence x = a (mod m)
+ void add(ll a, ll m) {
+ auto [d, s, t] = extendedEuclid(M, m);
+ if((a - sol) % d != 0) hasSol = false;
+ lll z = M/d * s;
+ M *= m/d;
+ sol = (z % M * (a-sol) % M + sol + M) % M;
+ }
+};