Rename MP_IS* to MP_*P, for consistency's sake. Use these macros more often.

[u/mdw/catacomb] / tests / gfreduce

diff --git a/tests/gfreduce b/tests/gfreduce
index aec5318..fa411fa 100644 (file)
--- a/tests/gfreduce
+++ b/tests/gfreduce
@@ -1,4 +1,4 @@
-# $Id: gfreduce,v 1.1.2.1 2004/03/21 22:39:46 mdw Exp $
+# $Id$
 #
 # Test efficient polynomial reduction
 
@@ -19,6 +19,10 @@ reduce {
 
 modexp {
   0x20000000000000000000000000000000000000000000000000000000000001001
+  0x1ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
+  0
+  1;
+  0x20000000000000000000000000000000000000000000000000000000000001001
   0x02
   0x1ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
   1;
@@ -34,15 +38,28 @@ modexp {
   0x34235950984598345900983409845690805680985
   0x0fffffffffffffffffffffffffffffffffffffffffff
   1;
+
+  0x800000000000000000000000000000000000000c9
+  0x3f0eba16286a2d57ea0991168d4994637e8343e36
+  -1
+  0x3c8c172e24598e90b9542e6b8f6571f54be572b50;
+  0x800000000000000000000000000000000000000c9
+  0x3c8c172e24598e90b9542e6b8f6571f54be572b50
+  342345
+  0x3521fe2666efe92ca4eb160a286e0fd9427b84a62;
+  0x800000000000000000000000000000000000000c9
+  0x3f0eba16286a2d57ea0991168d4994637e8343e36
+  -342345
+  0x3521fe2666efe92ca4eb160a286e0fd9427b84a62;
 }
 
 sqrt {
   0x20000000000000000000000000000000000000000000000000000000000001001
   0x1f081e69f45d3254530766ab98d55fa612c7bb27ea31bc2621d894be9c0b196b3
-   0x7fb838a8a0a95046b9d9d9fb4440f7bbc1a7bd3b4e853fc92d4e1588719986aa;
+    0x7fb838a8a0a95046b9d9d9fb4440f7bbc1a7bd3b4e853fc92d4e1588719986aa;
   0x10000000000000000000000000000000000000000003
-   0x4594094509835690805698083560980459903450984
-   0x820291881a244a02840a2f8ece3f23f88f38bf0b3a;
+    0x4594094509835690805698083560980459903450984
+    0x820291881a244a02840a2f8ece3f23f88f38bf0b3a;
 }
 
 halftrace {
@@ -58,4 +75,7 @@ quadsolve {
   0x10000000000000000000000000000000000000000003
    0x3b818b447e90713da04f13c3b07cb5e2681d08e4700
    0x27aa17c97dfa80bbdef9f91b243c6e6ddba1a223cac;
+  0x800000000000000000000000000000000000000c9
+    0x158fe327cc763a2fd7371ee80641ed1871a32aaa8
+    0x29ab0d7da05ffc3f1b3f97ac10e2092694aadbb7c;
 }