X-Git-Url: https://git.distorted.org.uk/u/mdw/catacomb/blobdiff_plain/f46efa79cd2bb9adc81541f1218965f85a6b2eef..ba6e6b64033b1f9de49feccb5c9cd438354481f7:/tests/ec

diff --git a/tests/ec b/tests/ec
index 1ea76ff..b3c6e0e 100644
--- a/tests/ec
+++ b/tests/ec
@@ -1,4 +1,4 @@
-# $Id: ec,v 1.2 2004/03/27 00:04:46 mdw Exp $
+# $Id$
 #
 # Elliptic curve tests
 
@@ -20,7 +20,7 @@ check {
     0;
   "prime: 6277101735386680763835789423207666416083908700390324961279
      prime: -3, 0x64210519e59c80e70fa7e9ab72243049feb8deecc146b9b1"
-    "0x188da80eb03090f67cbf20eb43a18801f4ff0afd82ff1411, 
+    "0x188da80eb03090f67cbf20eb43a18801f4ff0afd82ff1411,
       0xdccf19d3e76abfa05d529c07575f54c94fa5fc9f3decc246"
     0;
   "prime: 6277101735386680763835789423207666416083908700390324961279
@@ -56,7 +56,7 @@ check {
     0;
   "niceprime: 6277101735386680763835789423207666416083908700390324961279
      prime: -3, 0x64210519e59c80e70fa7e9ab72243049feb8deecc146b9b1"
-    "0x188da80eb03090f67cbf20eb43a18801f4ff0afd82ff1411, 
+    "0x188da80eb03090f67cbf20eb43a18801f4ff0afd82ff1411,
       0xdccf19d3e76abfa05d529c07575f54c94fa5fc9f3decc246"
     0;
   "niceprime: 6277101735386680763835789423207666416083908700390324961279
@@ -107,7 +107,7 @@ check {
     0;
   "binpoly: 0x800000000000000000000000000000000000000c9
     binproj: 1, 0x20a601907b8c953ca1481eb10512f78744a3205fd"
-    "0x3f0eba16286a2d57ea0591168d4994637e8343e36, 
+    "0x3f0eba16286a2d57ea0591168d4994637e8343e36,
       0x7fa8423c5ae194b56cdf21998ad8a721ef1201b8c"
     0;
 }
@@ -124,8 +124,8 @@ find {
   "prime: 6277101735386680763835789423207666416083908700390324961279
      prime: -3, 0x64210519e59c80e70fa7e9ab72243049feb8deecc146b9b1"
     0x188da80eb03090f67cbf20eb43a18801f4ff0afd82ff1411
-    "0x188da80eb03090f67cbf20eb43a18801f4ff0afd82ff1411, 
-      0xdccf19d3e76abfa05d529c07575f54c94fa5fc9f3decc246";
+    "0x188da80eb03090f67cbf20eb43a18801f4ff0afd82ff1411,
+      0x2330e62c1895405fa2ad63f8a8a0ab35b05a0360c2133db9";
 
   "niceprime: 6277101735386680763835789423207666416083908700390324961279
      prime: -3, 0x64210519e59c80e70fa7e9ab72243049feb8deecc146b9b1"
@@ -138,8 +138,8 @@ find {
   "niceprime: 6277101735386680763835789423207666416083908700390324961279
      prime: -3, 0x64210519e59c80e70fa7e9ab72243049feb8deecc146b9b1"
     0x188da80eb03090f67cbf20eb43a18801f4ff0afd82ff1411
-    "0x188da80eb03090f67cbf20eb43a18801f4ff0afd82ff1411, 
-      0xdccf19d3e76abfa05d529c07575f54c94fa5fc9f3decc246";
+    "0x188da80eb03090f67cbf20eb43a18801f4ff0afd82ff1411,
+      0x2330e62c1895405fa2ad63f8a8a0ab35b05a0360c2133db9";
 
   "binpoly: 0x800000000000000000000000000000000000000c9
     bin: 1, 0x20a601907b8c953ca1481eb10512f78744a3205fd"
@@ -152,7 +152,7 @@ find {
   "binpoly: 0x800000000000000000000000000000000000000c9
     bin: 1, 0x20a601907b8c953ca1481eb10512f78744a3205fd"
     0x3f0eba16286a2d57ea0591168d4994637e8343e36
-    "0x3f0eba16286a2d57ea0591168d4994637e8343e36, 
+    "0x3f0eba16286a2d57ea0591168d4994637e8343e36,
       0x7fa8423c5ae194b56cdf21998ad8a721ef1201b8c";
 }
 
@@ -198,6 +198,9 @@ neg {
 }
 
 dbl {
+  "prime: 23 prime: 1, 1" "4, 0" inf;
+  "prime: 23 primeproj: 1, 1" "4, 0" inf;
+
   "prime: 6277101735386680763835789423207666416083908700390324961279
      prime: -3, 0x64210519e59c80e70fa7e9ab72243049feb8deecc146b9b1"
     "0x188da80eb03090f67cbf20eb43a18800f4ff0afd82ff1012,
@@ -236,6 +239,12 @@ dbl {
       0x325f41d0ef702dc310254c42d65851a3b91471ac7"
     "0x1aeb33fed9c49e0200a0c561ea66d5ab85bd4c2d4,
       0x49ed3be7f510e30e2462c517ad39038e493fc573c";
+
+  "binpoly: 0x020000000000000000000000000000200000000000000001
+    bin: 0, 0x1ee9"
+    "0x18, 0xd"
+    "0x1bd555555555555555555555555554e8000000000000158,
+      0x14e999999999999999999999999998d7000000000001fe6";
 }
 
 add {
@@ -345,13 +354,18 @@ sub {
 }
 
 mul {
+  "prime: 23 prime: 1, 1" "0, 1" 28 inf;
+  "prime: 23 prime: 1, 1" "0, 1" 29 "0, 1";
+  "prime: 23 primeproj: 1, 1" "0, 1" 28 inf;
+  "prime: 23 primeproj: 1, 1" "0, 1" 29 "0, 1";
+
   "prime: 6277101735386680763835789423207666416083908700390324961279
      prime: -3, 0x64210519e59c80e70fa7e9ab72243049feb8deecc146b9b1"
      "0x188da80eb03090f67cbf20eb43a18800f4ff0afd82ff1012,
        0x07192b95ffc8da78631011ed6b24cdd573f977a11e794811"
      6277101735386680763835789423176059013767194773182842284080
      "0x188da80eb03090f67cbf20eb43a18800f4ff0afd82ff1012,
-        0xf8e6d46a003725879cefee1294db32298c06885ee186b7ee";
+	0xf8e6d46a003725879cefee1294db32298c06885ee186b7ee";
   "prime: 6277101735386680763835789423207666416083908700390324961279
      prime: -3, 0x64210519e59c80e70fa7e9ab72243049feb8deecc146b9b1"
      "0x188da80eb03090f67cbf20eb43a18800f4ff0afd82ff1012,
@@ -364,7 +378,7 @@ mul {
        0x07192b95ffc8da78631011ed6b24cdd573f977a11e794811"
      6277101735386680763835789423176059013767194773182842284080
      "0x188da80eb03090f67cbf20eb43a18800f4ff0afd82ff1012,
-        0xf8e6d46a003725879cefee1294db32298c06885ee186b7ee";
+	0xf8e6d46a003725879cefee1294db32298c06885ee186b7ee";
   "prime: 6277101735386680763835789423207666416083908700390324961279
      primeproj: -3, 0x64210519e59c80e70fa7e9ab72243049feb8deecc146b9b1"
      "0x188da80eb03090f67cbf20eb43a18800f4ff0afd82ff1012,
@@ -378,7 +392,7 @@ mul {
        0x07192b95ffc8da78631011ed6b24cdd573f977a11e794811"
      6277101735386680763835789423176059013767194773182842284080
      "0x188da80eb03090f67cbf20eb43a18800f4ff0afd82ff1012,
-        0xf8e6d46a003725879cefee1294db32298c06885ee186b7ee";
+	0xf8e6d46a003725879cefee1294db32298c06885ee186b7ee";
   "niceprime: 6277101735386680763835789423207666416083908700390324961279
      prime: -3, 0x64210519e59c80e70fa7e9ab72243049feb8deecc146b9b1"
      "0x188da80eb03090f67cbf20eb43a18800f4ff0afd82ff1012,
@@ -391,7 +405,7 @@ mul {
        0x07192b95ffc8da78631011ed6b24cdd573f977a11e794811"
      6277101735386680763835789423176059013767194773182842284080
      "0x188da80eb03090f67cbf20eb43a18800f4ff0afd82ff1012,
-        0xf8e6d46a003725879cefee1294db32298c06885ee186b7ee";
+	0xf8e6d46a003725879cefee1294db32298c06885ee186b7ee";
   "niceprime: 6277101735386680763835789423207666416083908700390324961279
      primeproj: -3, 0x64210519e59c80e70fa7e9ab72243049feb8deecc146b9b1"
      "0x188da80eb03090f67cbf20eb43a18800f4ff0afd82ff1012,
@@ -426,12 +440,12 @@ mul {
     5846006549323611672814742442876390689256843201587
     inf;
 
-  "binpoly: 0x800000000000000000000000000000000000000c9/bin: 1, 1"
+  "binpoly: 0x800000000000000000000000000000000000000c9; bin: 1, 1"
     "0x2fe13c0537bbc11acaa07d793de4e6d5e5c94eee8,
       0x289070fb05d38ff58321f2e800536d538ccdaa3d9"
     5846006549323611672814741753598448348329118574063
     inf;
-  "binpoly: 0x800000000000000000000000000000000000000c9/binproj: 1, 1"
+  "binpoly: 0x800000000000000000000000000000000000000c9; binproj: 1, 1"
     "0x2fe13c0537bbc11acaa07d793de4e6d5e5c94eee8,
       0x289070fb05d38ff58321f2e800536d538ccdaa3d9"
     5846006549323611672814741753598448348329118574063