X-Git-Url: https://git.distorted.org.uk/u/mdw/catacomb/blobdiff_plain/f4535c6454395e6d56ce0091a07b6d4f7d54a47f..45c0fd363937c6e9b05da04a9167e9912c05ca0c:/tests/mp

diff --git a/tests/mp b/tests/mp
index c8be382..14d73b9 100644
--- a/tests/mp
+++ b/tests/mp
@@ -197,6 +197,12 @@ gcd {
   1;
 }
 
+modinv {
+  5 9 2;
+  15 64 47;
+  564566436 546457643 408896426;
+}
+
 jacobi {
   4 5 1;
   6 7 -1;
@@ -206,15 +212,32 @@ jacobi {
 
 modsqrt {
   1 3 1;
-  4 5 3;
+  4 5 2;
   9775592058107450692 13391974640168007623 3264570455655810730;
   8155671698868891620 10189552848261357803 2073812183305821596;
   3248339460720824413 8976233780911635437 1220523478429582717;
   3447751741648956439 10155704720805654949 2812971608818169892;
   1453601744816463433 3095659104519735473 1260511572497628526;
   3366261317119810224 3756232416311497601 610261287187759737;
-  3869491397135339653 5762828162167967567 2974328005712882420;
-  660864223630638896 1729533840094059799 1058197842375219723;
+  3869491397135339653 5762828162167967567 2788500156455085147;
+  660864223630638896 1729533840094059799 671335997718840076;
+}
+
+modexp {
+
+  # --- Montgomery exponentiation ---
+
+  435365332435654643667 8745435676786567758678547
+    4325987397987458979875737589783
+    2439674515119108242643169132064;
+  0xfffffffdfffffffffffffffffffffffe 0 0xfffffffdffffffffffffffffffffffff 1;
+  1804289383 -8939035539979879765 8939489893434234331 6139425926295484741;
+
+  # --- Barrett exponentiation ---
+
+  435365332435654643667 8745435676786567758678547
+    4325987397987458979875737589782
+    2425191520487853884024972777945;
 }
 
 factorial {