projects
/
u
/
mdw
/
catacomb
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
mpbarrett: Found mpbarrett_reduce hanging on this testcase.
[u/mdw/catacomb]
/
tests
/
ec
diff --git
a/tests/ec
b/tests/ec
index
1ea76ff
..
b3c6e0e
100644
(file)
--- 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
#
# Elliptic curve tests
@@
-20,7
+20,7
@@
check {
0;
"prime: 6277101735386680763835789423207666416083908700390324961279
prime: -3, 0x64210519e59c80e70fa7e9ab72243049feb8deecc146b9b1"
0;
"prime: 6277101735386680763835789423207666416083908700390324961279
prime: -3, 0x64210519e59c80e70fa7e9ab72243049feb8deecc146b9b1"
- "0x188da80eb03090f67cbf20eb43a18801f4ff0afd82ff1411,
+ "0x188da80eb03090f67cbf20eb43a18801f4ff0afd82ff1411,
0xdccf19d3e76abfa05d529c07575f54c94fa5fc9f3decc246"
0;
"prime: 6277101735386680763835789423207666416083908700390324961279
0xdccf19d3e76abfa05d529c07575f54c94fa5fc9f3decc246"
0;
"prime: 6277101735386680763835789423207666416083908700390324961279
@@
-56,7
+56,7
@@
check {
0;
"niceprime: 6277101735386680763835789423207666416083908700390324961279
prime: -3, 0x64210519e59c80e70fa7e9ab72243049feb8deecc146b9b1"
0;
"niceprime: 6277101735386680763835789423207666416083908700390324961279
prime: -3, 0x64210519e59c80e70fa7e9ab72243049feb8deecc146b9b1"
- "0x188da80eb03090f67cbf20eb43a18801f4ff0afd82ff1411,
+ "0x188da80eb03090f67cbf20eb43a18801f4ff0afd82ff1411,
0xdccf19d3e76abfa05d529c07575f54c94fa5fc9f3decc246"
0;
"niceprime: 6277101735386680763835789423207666416083908700390324961279
0xdccf19d3e76abfa05d529c07575f54c94fa5fc9f3decc246"
0;
"niceprime: 6277101735386680763835789423207666416083908700390324961279
@@
-107,7
+107,7
@@
check {
0;
"binpoly: 0x800000000000000000000000000000000000000c9
binproj: 1, 0x20a601907b8c953ca1481eb10512f78744a3205fd"
0;
"binpoly: 0x800000000000000000000000000000000000000c9
binproj: 1, 0x20a601907b8c953ca1481eb10512f78744a3205fd"
- "0x3f0eba16286a2d57ea0591168d4994637e8343e36,
+ "0x3f0eba16286a2d57ea0591168d4994637e8343e36,
0x7fa8423c5ae194b56cdf21998ad8a721ef1201b8c"
0;
}
0x7fa8423c5ae194b56cdf21998ad8a721ef1201b8c"
0;
}
@@
-124,8
+124,8
@@
find {
"prime: 6277101735386680763835789423207666416083908700390324961279
prime: -3, 0x64210519e59c80e70fa7e9ab72243049feb8deecc146b9b1"
0x188da80eb03090f67cbf20eb43a18801f4ff0afd82ff1411
"prime: 6277101735386680763835789423207666416083908700390324961279
prime: -3, 0x64210519e59c80e70fa7e9ab72243049feb8deecc146b9b1"
0x188da80eb03090f67cbf20eb43a18801f4ff0afd82ff1411
- "0x188da80eb03090f67cbf20eb43a18801f4ff0afd82ff1411,
- 0x
dccf19d3e76abfa05d529c07575f54c94fa5fc9f3decc246
";
+ "0x188da80eb03090f67cbf20eb43a18801f4ff0afd82ff1411,
+ 0x
2330e62c1895405fa2ad63f8a8a0ab35b05a0360c2133db9
";
"niceprime: 6277101735386680763835789423207666416083908700390324961279
prime: -3, 0x64210519e59c80e70fa7e9ab72243049feb8deecc146b9b1"
"niceprime: 6277101735386680763835789423207666416083908700390324961279
prime: -3, 0x64210519e59c80e70fa7e9ab72243049feb8deecc146b9b1"
@@
-138,8
+138,8
@@
find {
"niceprime: 6277101735386680763835789423207666416083908700390324961279
prime: -3, 0x64210519e59c80e70fa7e9ab72243049feb8deecc146b9b1"
0x188da80eb03090f67cbf20eb43a18801f4ff0afd82ff1411
"niceprime: 6277101735386680763835789423207666416083908700390324961279
prime: -3, 0x64210519e59c80e70fa7e9ab72243049feb8deecc146b9b1"
0x188da80eb03090f67cbf20eb43a18801f4ff0afd82ff1411
- "0x188da80eb03090f67cbf20eb43a18801f4ff0afd82ff1411,
- 0x
dccf19d3e76abfa05d529c07575f54c94fa5fc9f3decc246
";
+ "0x188da80eb03090f67cbf20eb43a18801f4ff0afd82ff1411,
+ 0x
2330e62c1895405fa2ad63f8a8a0ab35b05a0360c2133db9
";
"binpoly: 0x800000000000000000000000000000000000000c9
bin: 1, 0x20a601907b8c953ca1481eb10512f78744a3205fd"
"binpoly: 0x800000000000000000000000000000000000000c9
bin: 1, 0x20a601907b8c953ca1481eb10512f78744a3205fd"
@@
-152,7
+152,7
@@
find {
"binpoly: 0x800000000000000000000000000000000000000c9
bin: 1, 0x20a601907b8c953ca1481eb10512f78744a3205fd"
0x3f0eba16286a2d57ea0591168d4994637e8343e36
"binpoly: 0x800000000000000000000000000000000000000c9
bin: 1, 0x20a601907b8c953ca1481eb10512f78744a3205fd"
0x3f0eba16286a2d57ea0591168d4994637e8343e36
- "0x3f0eba16286a2d57ea0591168d4994637e8343e36,
+ "0x3f0eba16286a2d57ea0591168d4994637e8343e36,
0x7fa8423c5ae194b56cdf21998ad8a721ef1201b8c";
}
0x7fa8423c5ae194b56cdf21998ad8a721ef1201b8c";
}
@@
-198,6
+198,9
@@
neg {
}
dbl {
}
dbl {
+ "prime: 23 prime: 1, 1" "4, 0" inf;
+ "prime: 23 primeproj: 1, 1" "4, 0" inf;
+
"prime: 6277101735386680763835789423207666416083908700390324961279
prime: -3, 0x64210519e59c80e70fa7e9ab72243049feb8deecc146b9b1"
"0x188da80eb03090f67cbf20eb43a18800f4ff0afd82ff1012,
"prime: 6277101735386680763835789423207666416083908700390324961279
prime: -3, 0x64210519e59c80e70fa7e9ab72243049feb8deecc146b9b1"
"0x188da80eb03090f67cbf20eb43a18800f4ff0afd82ff1012,
@@
-236,6
+239,12
@@
dbl {
0x325f41d0ef702dc310254c42d65851a3b91471ac7"
"0x1aeb33fed9c49e0200a0c561ea66d5ab85bd4c2d4,
0x49ed3be7f510e30e2462c517ad39038e493fc573c";
0x325f41d0ef702dc310254c42d65851a3b91471ac7"
"0x1aeb33fed9c49e0200a0c561ea66d5ab85bd4c2d4,
0x49ed3be7f510e30e2462c517ad39038e493fc573c";
+
+ "binpoly: 0x020000000000000000000000000000200000000000000001
+ bin: 0, 0x1ee9"
+ "0x18, 0xd"
+ "0x1bd555555555555555555555555554e8000000000000158,
+ 0x14e999999999999999999999999998d7000000000001fe6";
}
add {
}
add {
@@
-345,13
+354,18
@@
sub {
}
mul {
}
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,
"prime: 6277101735386680763835789423207666416083908700390324961279
prime: -3, 0x64210519e59c80e70fa7e9ab72243049feb8deecc146b9b1"
"0x188da80eb03090f67cbf20eb43a18800f4ff0afd82ff1012,
0x07192b95ffc8da78631011ed6b24cdd573f977a11e794811"
6277101735386680763835789423176059013767194773182842284080
"0x188da80eb03090f67cbf20eb43a18800f4ff0afd82ff1012,
-
0xf8e6d46a003725879cefee1294db32298c06885ee186b7ee";
+ 0xf8e6d46a003725879cefee1294db32298c06885ee186b7ee";
"prime: 6277101735386680763835789423207666416083908700390324961279
prime: -3, 0x64210519e59c80e70fa7e9ab72243049feb8deecc146b9b1"
"0x188da80eb03090f67cbf20eb43a18800f4ff0afd82ff1012,
"prime: 6277101735386680763835789423207666416083908700390324961279
prime: -3, 0x64210519e59c80e70fa7e9ab72243049feb8deecc146b9b1"
"0x188da80eb03090f67cbf20eb43a18800f4ff0afd82ff1012,
@@
-364,7
+378,7
@@
mul {
0x07192b95ffc8da78631011ed6b24cdd573f977a11e794811"
6277101735386680763835789423176059013767194773182842284080
"0x188da80eb03090f67cbf20eb43a18800f4ff0afd82ff1012,
0x07192b95ffc8da78631011ed6b24cdd573f977a11e794811"
6277101735386680763835789423176059013767194773182842284080
"0x188da80eb03090f67cbf20eb43a18800f4ff0afd82ff1012,
-
0xf8e6d46a003725879cefee1294db32298c06885ee186b7ee";
+ 0xf8e6d46a003725879cefee1294db32298c06885ee186b7ee";
"prime: 6277101735386680763835789423207666416083908700390324961279
primeproj: -3, 0x64210519e59c80e70fa7e9ab72243049feb8deecc146b9b1"
"0x188da80eb03090f67cbf20eb43a18800f4ff0afd82ff1012,
"prime: 6277101735386680763835789423207666416083908700390324961279
primeproj: -3, 0x64210519e59c80e70fa7e9ab72243049feb8deecc146b9b1"
"0x188da80eb03090f67cbf20eb43a18800f4ff0afd82ff1012,
@@
-378,7
+392,7
@@
mul {
0x07192b95ffc8da78631011ed6b24cdd573f977a11e794811"
6277101735386680763835789423176059013767194773182842284080
"0x188da80eb03090f67cbf20eb43a18800f4ff0afd82ff1012,
0x07192b95ffc8da78631011ed6b24cdd573f977a11e794811"
6277101735386680763835789423176059013767194773182842284080
"0x188da80eb03090f67cbf20eb43a18800f4ff0afd82ff1012,
-
0xf8e6d46a003725879cefee1294db32298c06885ee186b7ee";
+ 0xf8e6d46a003725879cefee1294db32298c06885ee186b7ee";
"niceprime: 6277101735386680763835789423207666416083908700390324961279
prime: -3, 0x64210519e59c80e70fa7e9ab72243049feb8deecc146b9b1"
"0x188da80eb03090f67cbf20eb43a18800f4ff0afd82ff1012,
"niceprime: 6277101735386680763835789423207666416083908700390324961279
prime: -3, 0x64210519e59c80e70fa7e9ab72243049feb8deecc146b9b1"
"0x188da80eb03090f67cbf20eb43a18800f4ff0afd82ff1012,
@@
-391,7
+405,7
@@
mul {
0x07192b95ffc8da78631011ed6b24cdd573f977a11e794811"
6277101735386680763835789423176059013767194773182842284080
"0x188da80eb03090f67cbf20eb43a18800f4ff0afd82ff1012,
0x07192b95ffc8da78631011ed6b24cdd573f977a11e794811"
6277101735386680763835789423176059013767194773182842284080
"0x188da80eb03090f67cbf20eb43a18800f4ff0afd82ff1012,
-
0xf8e6d46a003725879cefee1294db32298c06885ee186b7ee";
+ 0xf8e6d46a003725879cefee1294db32298c06885ee186b7ee";
"niceprime: 6277101735386680763835789423207666416083908700390324961279
primeproj: -3, 0x64210519e59c80e70fa7e9ab72243049feb8deecc146b9b1"
"0x188da80eb03090f67cbf20eb43a18800f4ff0afd82ff1012,
"niceprime: 6277101735386680763835789423207666416083908700390324961279
primeproj: -3, 0x64210519e59c80e70fa7e9ab72243049feb8deecc146b9b1"
"0x188da80eb03090f67cbf20eb43a18800f4ff0afd82ff1012,
@@
-426,12
+440,12
@@
mul {
5846006549323611672814742442876390689256843201587
inf;
5846006549323611672814742442876390689256843201587
inf;
- "binpoly: 0x800000000000000000000000000000000000000c9
/
bin: 1, 1"
+ "binpoly: 0x800000000000000000000000000000000000000c9
;
bin: 1, 1"
"0x2fe13c0537bbc11acaa07d793de4e6d5e5c94eee8,
0x289070fb05d38ff58321f2e800536d538ccdaa3d9"
5846006549323611672814741753598448348329118574063
inf;
"0x2fe13c0537bbc11acaa07d793de4e6d5e5c94eee8,
0x289070fb05d38ff58321f2e800536d538ccdaa3d9"
5846006549323611672814741753598448348329118574063
inf;
- "binpoly: 0x800000000000000000000000000000000000000c9
/
binproj: 1, 1"
+ "binpoly: 0x800000000000000000000000000000000000000c9
;
binproj: 1, 1"
"0x2fe13c0537bbc11acaa07d793de4e6d5e5c94eee8,
0x289070fb05d38ff58321f2e800536d538ccdaa3d9"
5846006549323611672814741753598448348329118574063
"0x2fe13c0537bbc11acaa07d793de4e6d5e5c94eee8,
0x289070fb05d38ff58321f2e800536d538ccdaa3d9"
5846006549323611672814741753598448348329118574063