# Test vectors for MP functions
#
-# $Id: mp,v 1.17 2004/04/01 12:50:41 mdw Exp $
+# $Id$
add {
5 4 9; 5 -4 1; -5 4 -1; -5 -4 -9;
2 1;
}
+exp {
+ 4 0 1;
+ 4 1 4;
+ 7 2 49;
+ 3 564 124849745640593184256214502788000232711984346194239284918599169775251467106591187580476305077269760425019686159071753053924227569816588462643229463821875763427430576080998505780547826368760514503807579784278708008217584939464444237989070811887584423210788916656247499281;
+}
+
bin2c {
and 5 3 1;
or 5 3 7;
1;
}
+modinv {
+ 5 9 2;
+ 15 64 47;
+ 564566436 546457643 408896426;
+}
+
jacobi {
4 5 1;
6 7 -1;
15 27 0;
2132498039840981 98729378979237498798347932749951 1;
+ 98729378979237498798347932749951 2132498039840981 1;
+
+ # --- Kronecker extension ---
+
+ 0 0 0;
+ 1 0 1;
+ -1 0 -1;
+ 2 0 0;
+
+ 2132498039840981 197458757958474997596695865499902 -1;
+ 98729378979237498798347932749951 4264996079681962 1;
+ 98729378979237498798347932749951 -4264996079681962 1;
+ -98729378979237498798347932749951 -4264996079681962 -1;
+
+ # --- Random tests made by PARI/gp ---
+
+ 22 -19 -1;
+ 48 -37 1;
+ -13 29 1;
+ -19 2 -1;
+ -43 31 1;
+ -12 -7 -1;
+ -14 -34 0;
+ -30 -29 -1;
+ 25 26 1;
+ -27 20 -1;
+ -5 -45 0;
+ 9 -42 0;
+ -51 -3 0;
+ -39 35 -1;
+ 37 30 1;
+ 13 18 -1;
+ -28 6 0;
+ -49 -15 1;
+ -1 1 1;
+ -9 13 1;
+ -47 44 -1;
+ -14 -30 0;
+ 37 -36 1;
+ 45 9 0;
+ -29 30 -1;
+ 49 49 0;
+ -27 -10 -1;
+ -35 -25 0;
+ 17 14 -1;
+ -35 29 1;
+ -1 33 1;
+ 38 -11 1;
+ 3 -24 0;
+ 5 -25 0;
+ -31 22 -1;
+ 40 30 0;
+ -43 26 -1;
+ -22 10 0;
+ 11 -29 -1;
+ 40 -18 0;
}
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 {