X-Git-Url: https://git.distorted.org.uk/u/mdw/catacomb/blobdiff_plain/f933bbd621614105488f46272434faab544c1495..75263f25a1ce8e7b38ad4bd61a9a893723ec1db3:/tests/mp

diff --git a/tests/mp b/tests/mp
index d12167f..c451acb 100644
--- a/tests/mp
+++ b/tests/mp
@@ -1,6 +1,6 @@
 # Test vectors for MP functions
 #
-# $Id: mp,v 1.5 2000/06/22 19:01:14 mdw Exp $
+# $Id: mp,v 1.13 2002/10/19 17:56:50 mdw Exp $
 
 add {
   5 4 9; 5 -4 1; -5 4 -1; -5 -4 -9;
@@ -21,6 +21,43 @@ div {
   9 4 2 1; -9 4 -3 3; 9 -4 -3 -3; -9 -4 2 -1;
 }
 
+bin2c {
+  and 5 3 1;
+  or 5 3 7;
+  xor 5 3 6;
+  1111 0 0 -1;
+  or 45 -7 -3;
+  xor 0x343cd5 -0x6a49c -0x32984f;
+}
+
+lsr2c {
+  -1 5 -1;
+  1 5 0;
+  -6 2 -2;
+}
+
+setbit {
+  0 40 0x10000000000;
+  0x87348 40 0x10000087348;
+  5 1 7;
+  7 1 7;
+  -3 1 -1;
+}
+
+clrbit {
+  0x10000000000 40 0;
+  0x87348 40 0x87348;
+  5 1 5;
+  7 1 5;
+  -1 1 -3;
+}
+
+neg {
+  0 0;
+  15 -15;
+  -15 15;
+}
+
 odd {
   1 0 1;
   2 1 1;
@@ -47,22 +84,21 @@ sqrt {
 }
 
 gcd {
-
   # --- Simple tests ---
 
-  16 12 4 -2 3;
+  16 12 4 -11 15;
   12 16 4 -1 1;
-  693 609 21 -181 206;
+  693 609 21 -7 8;
   4398082908043 90980984098081324 1 -32483863573352089 1570292150447;
 
   # --- Negative argument tests ---
 
-  16 -12 4 -2 -3;
-  -16 12 4 2 3;
+  16 -12 4 -11 -15;
+  -16 12 4 11 15;
   -12 -16 4 1 -1;
   -12 16 4 1 1;
-  -693 609 21 181 206;
-  693 -609 21 -181 -206;
+  -693 609 21 7 8;
+  693 -609 21 -7 -8;
 
   # --- Zero argument tests ---
 
@@ -75,13 +111,13 @@ gcd {
   # --- Random number tests ---
 
   829561629303257626084392170900075 32498098450983560651904114638965
-    5 -22841190347053190672253237276815 583054885752979049202923618992482;
+    5 -29340810037249902802634060204608 748967211613630574419802053172497;
 
   5509672937670943767152343650729669537671508
   398326674296699796695672966992514673531
   17
-  -191606556147997561067126486929677861359
-  2650310725368604614586643627755316700713319;
+  -4158709420138833210339208344965073815
+  57523460582278135926717203882531035926727;
 
   324098408098290809832490802984098208098324
   23430980840982340982098409823089098443
@@ -135,6 +171,7 @@ jacobi {
 }
 
 modsqrt {
+  1 3 1;
   4 5 3;
   9775592058107450692 13391974640168007623 3264570455655810730;
   8155671698868891620 10189552848261357803 2073812183305821596;
@@ -145,3 +182,16 @@ modsqrt {
   3869491397135339653 5762828162167967567 2974328005712882420;
   660864223630638896 1729533840094059799 1058197842375219723;
 }
+
+factorial {
+  0 1;
+  1 1;
+  2 2;
+  3 6;
+  4 24;
+  5 120;
+  30 265252859812191058636308480000000;
+  100 93326215443944152681699238856266700490715968264381621468592963895217599993229915608941463976156518286253697920827223758251185210916864000000000000000000000000;
+  500
+   1220136825991110068701238785423046926253574342803192842192413588385845373153881997605496447502203281863013616477148203584163378722078177200480785205159329285477907571939330603772960859086270429174547882424912726344305670173270769461062802310452644218878789465754777149863494367781037644274033827365397471386477878495438489595537537990423241061271326984327745715546309977202781014561081188373709531016356324432987029563896628911658974769572087926928871281780070265174507768410719624390394322536422605234945850129918571501248706961568141625359056693423813008856249246891564126775654481886506593847951775360894005745238940335798476363944905313062323749066445048824665075946735862074637925184200459369692981022263971952597190945217823331756934581508552332820762820023402626907898342451712006207714640979456116127629145951237229913340169552363850942885592018727433795173014586357570828355780158735432768888680120399882384702151467605445407663535984174430480128938313896881639487469658817504506926365338175055478128640000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000;
+}