~mdw / catacomb / blame
? search:
summary | shortlog | log | commit | commitdiff | tree
blob | blame (incremental) | history | HEAD
math/mp-modsqrt.c: Zero has a square root. Return it correctly.
[catacomb] / math / t / ec
CommitLineData
bc985cef 1# Elliptic curve tests
2
3check {
4 "prime: 6277101735386680763835789423207666416083908700390324961279
5 prime: -3, 0x64210519e59c80e70fa7e9ab72243049feb8deecc146b9b1"
6 "0x188da80eb03090f67cbf20eb43a18800f4ff0afd82ff1012,
7 0x07192b95ffc8da78631011ed6b24cdd573f977a11e794811"
8 0;
9 "prime: 6277101735386680763835789423207666416083908700390324961279
10 prime: -3, 0x64210519e59c80e70fa7e9ab72243049feb8deecc146b9b1"
11 "0x188da80eb03090f67cbf20eb43a18800f4ff0afd82ff1012,
12 0x07192b95ffc8da78631011ed6b24cdd573f977a11e794810"
13 -1;
14 "prime: 6277101735386680763835789423207666416083908700390324961279
15 prime: -3, 0x64210519e59c80e70fa7e9ab72243049feb8deecc146b9b1"
16 "0x188da80eb03090f67cbf20eb43a18800f4ff0afd82ff1012,
17 0xf8e6d46a003725879cefee1294db32298c06885ee186b7ee"
18 0;
19 "prime: 6277101735386680763835789423207666416083908700390324961279
20 prime: -3, 0x64210519e59c80e70fa7e9ab72243049feb8deecc146b9b1"
45c0fd36 21 "0x188da80eb03090f67cbf20eb43a18801f4ff0afd82ff1411,
bc985cef 22 0xdccf19d3e76abfa05d529c07575f54c94fa5fc9f3decc246"
23 0;
24 "prime: 6277101735386680763835789423207666416083908700390324961279
25 primeproj: -3, 0x64210519e59c80e70fa7e9ab72243049feb8deecc146b9b1"
26 "0x188da80eb03090f67cbf20eb43a18800f4ff0afd82ff1012,
27 0x07192b95ffc8da78631011ed6b24cdd573f977a11e794811"
28 0;
29 "prime: 6277101735386680763835789423207666416083908700390324961279
30 primeproj: -3, 0x64210519e59c80e70fa7e9ab72243049feb8deecc146b9b1"
31 "0x188da80eb03090f67cbf20eb43a18800f4ff0afd82ff1012,
32 0x07192b95ffc8da78631011ed6b24cdd573f977a11e794810"
33 -1;
34 "prime: 6277101735386680763835789423207666416083908700390324961279
35 primeproj: -3, 0x64210519e59c80e70fa7e9ab72243049feb8deecc146b9b1"
36 "0x188da80eb03090f67cbf20eb43a18800f4ff0afd82ff1012,
37 0xf8e6d46a003725879cefee1294db32298c06885ee186b7ee"
38 0;
39
f46efa79 40 "niceprime: 6277101735386680763835789423207666416083908700390324961279
41 prime: -3, 0x64210519e59c80e70fa7e9ab72243049feb8deecc146b9b1"
42 "0x188da80eb03090f67cbf20eb43a18800f4ff0afd82ff1012,
43 0x07192b95ffc8da78631011ed6b24cdd573f977a11e794811"
44 0;
45 "niceprime: 6277101735386680763835789423207666416083908700390324961279
46 prime: -3, 0x64210519e59c80e70fa7e9ab72243049feb8deecc146b9b1"
47 "0x188da80eb03090f67cbf20eb43a18800f4ff0afd82ff1012,
48 0x07192b95ffc8da78631011ed6b24cdd573f977a11e794810"
49 -1;
50 "niceprime: 6277101735386680763835789423207666416083908700390324961279
51 prime: -3, 0x64210519e59c80e70fa7e9ab72243049feb8deecc146b9b1"
52 "0x188da80eb03090f67cbf20eb43a18800f4ff0afd82ff1012,
53 0xf8e6d46a003725879cefee1294db32298c06885ee186b7ee"
54 0;
55 "niceprime: 6277101735386680763835789423207666416083908700390324961279
56 prime: -3, 0x64210519e59c80e70fa7e9ab72243049feb8deecc146b9b1"
45c0fd36 57 "0x188da80eb03090f67cbf20eb43a18801f4ff0afd82ff1411,
f46efa79 58 0xdccf19d3e76abfa05d529c07575f54c94fa5fc9f3decc246"
59 0;
60 "niceprime: 6277101735386680763835789423207666416083908700390324961279
61 primeproj: -3, 0x64210519e59c80e70fa7e9ab72243049feb8deecc146b9b1"
62 "0x188da80eb03090f67cbf20eb43a18800f4ff0afd82ff1012,
63 0x07192b95ffc8da78631011ed6b24cdd573f977a11e794811"
64 0;
65 "niceprime: 6277101735386680763835789423207666416083908700390324961279
66 primeproj: -3, 0x64210519e59c80e70fa7e9ab72243049feb8deecc146b9b1"
67 "0x188da80eb03090f67cbf20eb43a18800f4ff0afd82ff1012,
68 0x07192b95ffc8da78631011ed6b24cdd573f977a11e794810"
69 -1;
70 "niceprime: 6277101735386680763835789423207666416083908700390324961279
71 primeproj: -3, 0x64210519e59c80e70fa7e9ab72243049feb8deecc146b9b1"
72 "0x188da80eb03090f67cbf20eb43a18800f4ff0afd82ff1012,
73 0xf8e6d46a003725879cefee1294db32298c06885ee186b7ee"
74 0;
75
bc985cef 76 "binpoly: 0x800000000000000000000000000000000000000c9
77 bin: 1, 0x20a601907b8c953ca1481eb10512f78744a3205fd"
78 "0x3f0eba16286a2d57ea0991168d4994637e8343e36,
79 0x0d51fbc6c71a0094fa2cdd545b11c5c0c797324f1"
80 0;
81 "binpoly: 0x800000000000000000000000000000000000000c9
82 bin: 1, 0x20a601907b8c953ca1481eb10512f78744a3205fd"
83 "0x3f0eba16286a2d57ea0991168d4994637e8343e36,
84 0x0d51fbc6c71a0094fa2cdd545b11c5c0c797324f0"
85 -1;
86 "binpoly: 0x800000000000000000000000000000000000000c9
87 bin: 1, 0x20a601907b8c953ca1481eb10512f78744a3205fd"
88 "0x3f0eba16286a2d57ea0991168d4994637e8343e36,
89 0x325f41d0ef702dc310254c42d65851a3b91471ac7"
90 0;
91 "binpoly: 0x800000000000000000000000000000000000000c9
92 binproj: 1, 0x20a601907b8c953ca1481eb10512f78744a3205fd"
93 "0x3f0eba16286a2d57ea0991168d4994637e8343e36,
94 0x0d51fbc6c71a0094fa2cdd545b11c5c0c797324f1"
95 0;
96 "binpoly: 0x800000000000000000000000000000000000000c9
97 binproj: 1, 0x20a601907b8c953ca1481eb10512f78744a3205fd"
98 "0x3f0eba16286a2d57ea0991168d4994637e8343e36,
99 0x0d51fbc6c71a0094fa2cdd545b11c5c0c797324f0"
100 -1;
101 "binpoly: 0x800000000000000000000000000000000000000c9
102 binproj: 1, 0x20a601907b8c953ca1481eb10512f78744a3205fd"
103 "0x3f0eba16286a2d57ea0991168d4994637e8343e36,
104 0x325f41d0ef702dc310254c42d65851a3b91471ac7"
105 0;
106 "binpoly: 0x800000000000000000000000000000000000000c9
107 binproj: 1, 0x20a601907b8c953ca1481eb10512f78744a3205fd"
45c0fd36 108 "0x3f0eba16286a2d57ea0591168d4994637e8343e36,
bc985cef 109 0x7fa8423c5ae194b56cdf21998ad8a721ef1201b8c"
110 0;
111}
112
113find {
114 "prime: 6277101735386680763835789423207666416083908700390324961279
115 prime: -3, 0x64210519e59c80e70fa7e9ab72243049feb8deecc146b9b1"
116 0x188da80eb03090f67cbf20eb43a18800f4ff0afd82ff1012
117 "0x188da80eb03090f67cbf20eb43a18800f4ff0afd82ff1012,
118 0x07192b95ffc8da78631011ed6b24cdd573f977a11e794811";
119 "prime: 6277101735386680763835789423207666416083908700390324961279
120 prime: -3, 0x64210519e59c80e70fa7e9ab72243049feb8deecc146b9b1"
121 0x188da80eb03090f67cbf20eb43a18800f4ff0afd82ff1011 inf;
122 "prime: 6277101735386680763835789423207666416083908700390324961279
123 prime: -3, 0x64210519e59c80e70fa7e9ab72243049feb8deecc146b9b1"
124 0x188da80eb03090f67cbf20eb43a18801f4ff0afd82ff1411
45c0fd36 125 "0x188da80eb03090f67cbf20eb43a18801f4ff0afd82ff1411,
6ca13db8 126 0x2330e62c1895405fa2ad63f8a8a0ab35b05a0360c2133db9";
bc985cef 127
f46efa79 128 "niceprime: 6277101735386680763835789423207666416083908700390324961279
129 prime: -3, 0x64210519e59c80e70fa7e9ab72243049feb8deecc146b9b1"
130 0x188da80eb03090f67cbf20eb43a18800f4ff0afd82ff1012
131 "0x188da80eb03090f67cbf20eb43a18800f4ff0afd82ff1012,
132 0x07192b95ffc8da78631011ed6b24cdd573f977a11e794811";
133 "niceprime: 6277101735386680763835789423207666416083908700390324961279
134 prime: -3, 0x64210519e59c80e70fa7e9ab72243049feb8deecc146b9b1"
135 0x188da80eb03090f67cbf20eb43a18800f4ff0afd82ff1011 inf;
136 "niceprime: 6277101735386680763835789423207666416083908700390324961279
137 prime: -3, 0x64210519e59c80e70fa7e9ab72243049feb8deecc146b9b1"
138 0x188da80eb03090f67cbf20eb43a18801f4ff0afd82ff1411
45c0fd36 139 "0x188da80eb03090f67cbf20eb43a18801f4ff0afd82ff1411,
6ca13db8 140 0x2330e62c1895405fa2ad63f8a8a0ab35b05a0360c2133db9";
f46efa79 141
d032072f
MW		 142 "prime: 6277101735386680763835789423207666416102355444464034512659; prime: -3, 6"
143 0xcdf65dc6c906c5c240dba0d156b911614abe806fa2b8dc0a
144 "0xcdf65dc6c906c5c240dba0d156b911614abe806fa2b8dc0a, 0";
145
bc985cef 146 "binpoly: 0x800000000000000000000000000000000000000c9
147 bin: 1, 0x20a601907b8c953ca1481eb10512f78744a3205fd"
148 0x3f0eba16286a2d57ea0991168d4994637e8343e36
149 "0x3f0eba16286a2d57ea0991168d4994637e8343e36,
150 0x325f41d0ef702dc310254c42d65851a3b91471ac7";
151 "binpoly: 0x800000000000000000000000000000000000000c9
152 bin: 1, 0x20a601907b8c953ca1481eb10512f78744a3205fd"
153 0x310eba16386a2d57ea0591168d4997637e8745e36 inf;
154 "binpoly: 0x800000000000000000000000000000000000000c9
155 bin: 1, 0x20a601907b8c953ca1481eb10512f78744a3205fd"
156 0x3f0eba16286a2d57ea0591168d4994637e8343e36
45c0fd36 157 "0x3f0eba16286a2d57ea0591168d4994637e8343e36,
bc985cef 158 0x7fa8423c5ae194b56cdf21998ad8a721ef1201b8c";
159}
160
161neg {
162 "prime: 6277101735386680763835789423207666416083908700390324961279
163 prime: -3, 0x64210519e59c80e70fa7e9ab72243049feb8deecc146b9b1"
164 "0x188da80eb03090f67cbf20eb43a18800f4ff0afd82ff1012,
165 0x07192b95ffc8da78631011ed6b24cdd573f977a11e794811"
166 "0x188da80eb03090f67cbf20eb43a18800f4ff0afd82ff1012,
167 0xf8e6d46a003725879cefee1294db32298c06885ee186b7ee";
168 "prime: 6277101735386680763835789423207666416083908700390324961279
169 primeproj: -3, 0x64210519e59c80e70fa7e9ab72243049feb8deecc146b9b1"
170 "0x188da80eb03090f67cbf20eb43a18800f4ff0afd82ff1012,
171 0x07192b95ffc8da78631011ed6b24cdd573f977a11e794811"
172 "0x188da80eb03090f67cbf20eb43a18800f4ff0afd82ff1012,
173 0xf8e6d46a003725879cefee1294db32298c06885ee186b7ee";
174
f46efa79 175 "niceprime: 6277101735386680763835789423207666416083908700390324961279
176 prime: -3, 0x64210519e59c80e70fa7e9ab72243049feb8deecc146b9b1"
177 "0x188da80eb03090f67cbf20eb43a18800f4ff0afd82ff1012,
178 0x07192b95ffc8da78631011ed6b24cdd573f977a11e794811"
179 "0x188da80eb03090f67cbf20eb43a18800f4ff0afd82ff1012,
180 0xf8e6d46a003725879cefee1294db32298c06885ee186b7ee";
181 "niceprime: 6277101735386680763835789423207666416083908700390324961279
182 primeproj: -3, 0x64210519e59c80e70fa7e9ab72243049feb8deecc146b9b1"
183 "0x188da80eb03090f67cbf20eb43a18800f4ff0afd82ff1012,
184 0x07192b95ffc8da78631011ed6b24cdd573f977a11e794811"
185 "0x188da80eb03090f67cbf20eb43a18800f4ff0afd82ff1012,
186 0xf8e6d46a003725879cefee1294db32298c06885ee186b7ee";
187
bc985cef 188 "binpoly: 0x800000000000000000000000000000000000000c9
189 bin: 1, 0x20a601907b8c953ca1481eb10512f78744a3205fd"
190 "0x3f0eba16286a2d57ea0991168d4994637e8343e36,
191 0x325f41d0ef702dc310254c42d65851a3b91471ac7"
192 "0x3f0eba16286a2d57ea0991168d4994637e8343e36,
193 0x0d51fbc6c71a0094fa2cdd545b11c5c0c797324f1";
194 "binpoly: 0x800000000000000000000000000000000000000c9
195 binproj: 1, 0x20a601907b8c953ca1481eb10512f78744a3205fd"
196 "0x3f0eba16286a2d57ea0991168d4994637e8343e36,
197 0x325f41d0ef702dc310254c42d65851a3b91471ac7"
198 "0x3f0eba16286a2d57ea0991168d4994637e8343e36,
199 0x0d51fbc6c71a0094fa2cdd545b11c5c0c797324f1";
200}
201
202dbl {
1ccdb13a 203 "prime: 23 prime: 1, 1" "4, 0" inf;
204 "prime: 23 primeproj: 1, 1" "4, 0" inf;
205
bc985cef 206 "prime: 6277101735386680763835789423207666416083908700390324961279
207 prime: -3, 0x64210519e59c80e70fa7e9ab72243049feb8deecc146b9b1"
208 "0x188da80eb03090f67cbf20eb43a18800f4ff0afd82ff1012,
209 0x07192b95ffc8da78631011ed6b24cdd573f977a11e794811"
210 "0xdafebf5828783f2ad35534631588a3f629a70fb16982a888,
211 0xdd6bda0d993da0fa46b27bbc141b868f59331afa5c7e93ab";
212 "prime: 6277101735386680763835789423207666416083908700390324961279
213 primeproj: -3, 0x64210519e59c80e70fa7e9ab72243049feb8deecc146b9b1"
214 "0x188da80eb03090f67cbf20eb43a18800f4ff0afd82ff1012,
215 0x07192b95ffc8da78631011ed6b24cdd573f977a11e794811"
216 "0xdafebf5828783f2ad35534631588a3f629a70fb16982a888,
217 0xdd6bda0d993da0fa46b27bbc141b868f59331afa5c7e93ab";
218
f46efa79 219 "niceprime: 6277101735386680763835789423207666416083908700390324961279
220 prime: -3, 0x64210519e59c80e70fa7e9ab72243049feb8deecc146b9b1"
221 "0x188da80eb03090f67cbf20eb43a18800f4ff0afd82ff1012,
222 0x07192b95ffc8da78631011ed6b24cdd573f977a11e794811"
223 "0xdafebf5828783f2ad35534631588a3f629a70fb16982a888,
224 0xdd6bda0d993da0fa46b27bbc141b868f59331afa5c7e93ab";
225 "niceprime: 6277101735386680763835789423207666416083908700390324961279
226 primeproj: -3, 0x64210519e59c80e70fa7e9ab72243049feb8deecc146b9b1"
227 "0x188da80eb03090f67cbf20eb43a18800f4ff0afd82ff1012,
228 0x07192b95ffc8da78631011ed6b24cdd573f977a11e794811"
229 "0xdafebf5828783f2ad35534631588a3f629a70fb16982a888,
230 0xdd6bda0d993da0fa46b27bbc141b868f59331afa5c7e93ab";
231
bc985cef 232 "binpoly: 0x800000000000000000000000000000000000000c9
233 bin: 1, 0x20a601907b8c953ca1481eb10512f78744a3205fd"
234 "0x3f0eba16286a2d57ea0991168d4994637e8343e36,
235 0x325f41d0ef702dc310254c42d65851a3b91471ac7"
236 "0x1aeb33fed9c49e0200a0c561ea66d5ab85bd4c2d4,
237 0x49ed3be7f510e30e2462c517ad39038e493fc573c";
238 "binpoly: 0x800000000000000000000000000000000000000c9
239 binproj: 1, 0x20a601907b8c953ca1481eb10512f78744a3205fd"
240 "0x3f0eba16286a2d57ea0991168d4994637e8343e36,
241 0x325f41d0ef702dc310254c42d65851a3b91471ac7"
242 "0x1aeb33fed9c49e0200a0c561ea66d5ab85bd4c2d4,
243 0x49ed3be7f510e30e2462c517ad39038e493fc573c";
432c4e18 244
245 "binpoly: 0x020000000000000000000000000000200000000000000001
246 bin: 0, 0x1ee9"
45c0fd36 247 "0x18, 0xd"
432c4e18 248 "0x1bd555555555555555555555555554e8000000000000158,
249 0x14e999999999999999999999999998d7000000000001fe6";
bc985cef 250}
251
252add {
253 "prime: 6277101735386680763835789423207666416083908700390324961279
254 prime: -3, 0x64210519e59c80e70fa7e9ab72243049feb8deecc146b9b1"
255 "0x188da80eb03090f67cbf20eb43a18800f4ff0afd82ff1012,
256 0x07192b95ffc8da78631011ed6b24cdd573f977a11e794811"
257 "0xdafebf5828783f2ad35534631588a3f629a70fb16982a888,
258 0xdd6bda0d993da0fa46b27bbc141b868f59331afa5c7e93ab"
259 "0x76e32a2557599e6edcd283201fb2b9aadfd0d359cbb263da,
260 0x782c37e372ba4520aa62e0fed121d49ef3b543660cfd05fd";
261 "prime: 6277101735386680763835789423207666416083908700390324961279
262 primeproj: -3, 0x64210519e59c80e70fa7e9ab72243049feb8deecc146b9b1"
263 "0x188da80eb03090f67cbf20eb43a18800f4ff0afd82ff1012,
264 0x07192b95ffc8da78631011ed6b24cdd573f977a11e794811"
265 "0xdafebf5828783f2ad35534631588a3f629a70fb16982a888,
266 0xdd6bda0d993da0fa46b27bbc141b868f59331afa5c7e93ab"
267 "0x76e32a2557599e6edcd283201fb2b9aadfd0d359cbb263da,
268 0x782c37e372ba4520aa62e0fed121d49ef3b543660cfd05fd";
269
f46efa79 270 "niceprime: 6277101735386680763835789423207666416083908700390324961279
271 prime: -3, 0x64210519e59c80e70fa7e9ab72243049feb8deecc146b9b1"
272 "0x188da80eb03090f67cbf20eb43a18800f4ff0afd82ff1012,
273 0x07192b95ffc8da78631011ed6b24cdd573f977a11e794811"
274 "0xdafebf5828783f2ad35534631588a3f629a70fb16982a888,
275 0xdd6bda0d993da0fa46b27bbc141b868f59331afa5c7e93ab"
276 "0x76e32a2557599e6edcd283201fb2b9aadfd0d359cbb263da,
277 0x782c37e372ba4520aa62e0fed121d49ef3b543660cfd05fd";
278 "niceprime: 6277101735386680763835789423207666416083908700390324961279
279 primeproj: -3, 0x64210519e59c80e70fa7e9ab72243049feb8deecc146b9b1"
280 "0x188da80eb03090f67cbf20eb43a18800f4ff0afd82ff1012,
281 0x07192b95ffc8da78631011ed6b24cdd573f977a11e794811"
282 "0xdafebf5828783f2ad35534631588a3f629a70fb16982a888,
283 0xdd6bda0d993da0fa46b27bbc141b868f59331afa5c7e93ab"
284 "0x76e32a2557599e6edcd283201fb2b9aadfd0d359cbb263da,
285 0x782c37e372ba4520aa62e0fed121d49ef3b543660cfd05fd";
286
bc985cef 287 "binpoly: 0x800000000000000000000000000000000000000c9
288 bin: 1, 0x20a601907b8c953ca1481eb10512f78744a3205fd"
289 "0x3f0eba16286a2d57ea0991168d4994637e8343e36,
290 0x325f41d0ef702dc310254c42d65851a3b91471ac7"
291 "0x1aeb33fed9c49e0200a0c561ea66d5ab85bd4c2d4,
292 0x49ed3be7f510e30e2462c517ad39038e493fc573c"
293 "0x634000577f86aa315009d6f9b906691f6edd691fe,
294 0x235a3db7a94446301e666cafea5e12cb331f4a140";
295 "binpoly: 0x800000000000000000000000000000000000000c9
296 binproj: 1, 0x20a601907b8c953ca1481eb10512f78744a3205fd"
297 "0x3f0eba16286a2d57ea0991168d4994637e8343e36,
298 0x325f41d0ef702dc310254c42d65851a3b91471ac7"
299 "0x1aeb33fed9c49e0200a0c561ea66d5ab85bd4c2d4,
300 0x49ed3be7f510e30e2462c517ad39038e493fc573c"
301 "0x634000577f86aa315009d6f9b906691f6edd691fe,
302 0x235a3db7a94446301e666cafea5e12cb331f4a140";
303}
304
305sub {
306 "prime: 6277101735386680763835789423207666416083908700390324961279
307 prime: -3, 0x64210519e59c80e70fa7e9ab72243049feb8deecc146b9b1"
308 "0x76e32a2557599e6edcd283201fb2b9aadfd0d359cbb263da,
309 0x782c37e372ba4520aa62e0fed121d49ef3b543660cfd05fd"
310 "0x188da80eb03090f67cbf20eb43a18800f4ff0afd82ff1012,
311 0x07192b95ffc8da78631011ed6b24cdd573f977a11e794811"
312 "0xdafebf5828783f2ad35534631588a3f629a70fb16982a888,
313 0xdd6bda0d993da0fa46b27bbc141b868f59331afa5c7e93ab";
314 "prime: 6277101735386680763835789423207666416083908700390324961279
315 primeproj: -3, 0x64210519e59c80e70fa7e9ab72243049feb8deecc146b9b1"
316 "0x76e32a2557599e6edcd283201fb2b9aadfd0d359cbb263da,
317 0x782c37e372ba4520aa62e0fed121d49ef3b543660cfd05fd"
318 "0x188da80eb03090f67cbf20eb43a18800f4ff0afd82ff1012,
319 0x07192b95ffc8da78631011ed6b24cdd573f977a11e794811"
320 "0xdafebf5828783f2ad35534631588a3f629a70fb16982a888,
321 0xdd6bda0d993da0fa46b27bbc141b868f59331afa5c7e93ab";
322
f46efa79 323 "niceprime: 6277101735386680763835789423207666416083908700390324961279
324 prime: -3, 0x64210519e59c80e70fa7e9ab72243049feb8deecc146b9b1"
325 "0x76e32a2557599e6edcd283201fb2b9aadfd0d359cbb263da,
326 0x782c37e372ba4520aa62e0fed121d49ef3b543660cfd05fd"
327 "0x188da80eb03090f67cbf20eb43a18800f4ff0afd82ff1012,
328 0x07192b95ffc8da78631011ed6b24cdd573f977a11e794811"
329 "0xdafebf5828783f2ad35534631588a3f629a70fb16982a888,
330 0xdd6bda0d993da0fa46b27bbc141b868f59331afa5c7e93ab";
331 "niceprime: 6277101735386680763835789423207666416083908700390324961279
332 primeproj: -3, 0x64210519e59c80e70fa7e9ab72243049feb8deecc146b9b1"
333 "0x76e32a2557599e6edcd283201fb2b9aadfd0d359cbb263da,
334 0x782c37e372ba4520aa62e0fed121d49ef3b543660cfd05fd"
335 "0x188da80eb03090f67cbf20eb43a18800f4ff0afd82ff1012,
336 0x07192b95ffc8da78631011ed6b24cdd573f977a11e794811"
337 "0xdafebf5828783f2ad35534631588a3f629a70fb16982a888,
338 0xdd6bda0d993da0fa46b27bbc141b868f59331afa5c7e93ab";
339
bc985cef 340 "binpoly: 0x800000000000000000000000000000000000000c9
341 bin: 1, 0x20a601907b8c953ca1481eb10512f78744a3205fd"
342 "0x634000577f86aa315009d6f9b906691f6edd691fe,
343 0x235a3db7a94446301e666cafea5e12cb331f4a140"
344 "0x3f0eba16286a2d57ea0991168d4994637e8343e36,
345 0x325f41d0ef702dc310254c42d65851a3b91471ac7"
346 "0x1aeb33fed9c49e0200a0c561ea66d5ab85bd4c2d4,
347 0x49ed3be7f510e30e2462c517ad39038e493fc573c";
348 "binpoly: 0x800000000000000000000000000000000000000c9
349 binproj: 1, 0x20a601907b8c953ca1481eb10512f78744a3205fd"
350 "0x634000577f86aa315009d6f9b906691f6edd691fe,
351 0x235a3db7a94446301e666cafea5e12cb331f4a140"
352 "0x3f0eba16286a2d57ea0991168d4994637e8343e36,
353 0x325f41d0ef702dc310254c42d65851a3b91471ac7"
354 "0x1aeb33fed9c49e0200a0c561ea66d5ab85bd4c2d4,
355 0x49ed3be7f510e30e2462c517ad39038e493fc573c";
356}
357
358mul {
1ccdb13a 359 "prime: 23 prime: 1, 1" "0, 1" 28 inf;
360 "prime: 23 prime: 1, 1" "0, 1" 29 "0, 1";
361 "prime: 23 primeproj: 1, 1" "0, 1" 28 inf;
362 "prime: 23 primeproj: 1, 1" "0, 1" 29 "0, 1";
363
bc985cef 364 "prime: 6277101735386680763835789423207666416083908700390324961279
365 prime: -3, 0x64210519e59c80e70fa7e9ab72243049feb8deecc146b9b1"
366 "0x188da80eb03090f67cbf20eb43a18800f4ff0afd82ff1012,
367 0x07192b95ffc8da78631011ed6b24cdd573f977a11e794811"
368 6277101735386680763835789423176059013767194773182842284080
369 "0x188da80eb03090f67cbf20eb43a18800f4ff0afd82ff1012,
45c0fd36 370 0xf8e6d46a003725879cefee1294db32298c06885ee186b7ee";
bc985cef 371 "prime: 6277101735386680763835789423207666416083908700390324961279
372 prime: -3, 0x64210519e59c80e70fa7e9ab72243049feb8deecc146b9b1"
373 "0x188da80eb03090f67cbf20eb43a18800f4ff0afd82ff1012,
374 0x07192b95ffc8da78631011ed6b24cdd573f977a11e794811"
375 6277101735386680763835789423176059013767194773182842284081
376 inf;
377 "prime: 6277101735386680763835789423207666416083908700390324961279
378 primeproj: -3, 0x64210519e59c80e70fa7e9ab72243049feb8deecc146b9b1"
379 "0x188da80eb03090f67cbf20eb43a18800f4ff0afd82ff1012,
380 0x07192b95ffc8da78631011ed6b24cdd573f977a11e794811"
381 6277101735386680763835789423176059013767194773182842284080
382 "0x188da80eb03090f67cbf20eb43a18800f4ff0afd82ff1012,
45c0fd36 383 0xf8e6d46a003725879cefee1294db32298c06885ee186b7ee";
bc985cef 384 "prime: 6277101735386680763835789423207666416083908700390324961279
385 primeproj: -3, 0x64210519e59c80e70fa7e9ab72243049feb8deecc146b9b1"
386 "0x188da80eb03090f67cbf20eb43a18800f4ff0afd82ff1012,
387 0x07192b95ffc8da78631011ed6b24cdd573f977a11e794811"
388 6277101735386680763835789423176059013767194773182842284081
389 inf;
390
f46efa79 391 "niceprime: 6277101735386680763835789423207666416083908700390324961279
392 prime: -3, 0x64210519e59c80e70fa7e9ab72243049feb8deecc146b9b1"
393 "0x188da80eb03090f67cbf20eb43a18800f4ff0afd82ff1012,
394 0x07192b95ffc8da78631011ed6b24cdd573f977a11e794811"
395 6277101735386680763835789423176059013767194773182842284080
396 "0x188da80eb03090f67cbf20eb43a18800f4ff0afd82ff1012,
45c0fd36 397 0xf8e6d46a003725879cefee1294db32298c06885ee186b7ee";
f46efa79 398 "niceprime: 6277101735386680763835789423207666416083908700390324961279
399 prime: -3, 0x64210519e59c80e70fa7e9ab72243049feb8deecc146b9b1"
400 "0x188da80eb03090f67cbf20eb43a18800f4ff0afd82ff1012,
401 0x07192b95ffc8da78631011ed6b24cdd573f977a11e794811"
402 6277101735386680763835789423176059013767194773182842284081
403 inf;
404 "niceprime: 6277101735386680763835789423207666416083908700390324961279
405 primeproj: -3, 0x64210519e59c80e70fa7e9ab72243049feb8deecc146b9b1"
406 "0x188da80eb03090f67cbf20eb43a18800f4ff0afd82ff1012,
407 0x07192b95ffc8da78631011ed6b24cdd573f977a11e794811"
408 6277101735386680763835789423176059013767194773182842284080
409 "0x188da80eb03090f67cbf20eb43a18800f4ff0afd82ff1012,
45c0fd36 410 0xf8e6d46a003725879cefee1294db32298c06885ee186b7ee";
f46efa79 411 "niceprime: 6277101735386680763835789423207666416083908700390324961279
412 primeproj: -3, 0x64210519e59c80e70fa7e9ab72243049feb8deecc146b9b1"
413 "0x188da80eb03090f67cbf20eb43a18800f4ff0afd82ff1012,
414 0x07192b95ffc8da78631011ed6b24cdd573f977a11e794811"
415 6277101735386680763835789423176059013767194773182842284081
416 inf;
417
bc985cef 418 "binpoly: 0x800000000000000000000000000000000000000c9
419 bin: 1, 0x20a601907b8c953ca1481eb10512f78744a3205fd"
420 "0x3f0eba16286a2d57ea0991168d4994637e8343e36,
421 0x325f41d0ef702dc310254c42d65851a3b91471ac7"
422 5846006549323611672814742442876390689256843201586
423 "0x3f0eba16286a2d57ea0991168d4994637e8343e36,
424 0xd51fbc6c71a0094fa2cdd545b11c5c0c797324f1";
425 "binpoly: 0x800000000000000000000000000000000000000c9
426 bin: 1, 0x20a601907b8c953ca1481eb10512f78744a3205fd"
427 "0x3f0eba16286a2d57ea0991168d4994637e8343e36,
428 0x325f41d0ef702dc310254c42d65851a3b91471ac7"
429 5846006549323611672814742442876390689256843201587
430 inf;
431 "binpoly: 0x800000000000000000000000000000000000000c9
432 binproj: 1, 0x20a601907b8c953ca1481eb10512f78744a3205fd"
433 "0x3f0eba16286a2d57ea0991168d4994637e8343e36,
434 0x325f41d0ef702dc310254c42d65851a3b91471ac7"
435 5846006549323611672814742442876390689256843201586
436 "0x3f0eba16286a2d57ea0991168d4994637e8343e36,
437 0xd51fbc6c71a0094fa2cdd545b11c5c0c797324f1";
438 "binpoly: 0x800000000000000000000000000000000000000c9
439 binproj: 1, 0x20a601907b8c953ca1481eb10512f78744a3205fd"
440 "0x3f0eba16286a2d57ea0991168d4994637e8343e36,
441 0x325f41d0ef702dc310254c42d65851a3b91471ac7"
442 5846006549323611672814742442876390689256843201587
443 inf;
f46efa79 444
20095408 445 "binpoly: 0x800000000000000000000000000000000000000c9; bin: 1, 1"
f46efa79 446 "0x2fe13c0537bbc11acaa07d793de4e6d5e5c94eee8,
447 0x289070fb05d38ff58321f2e800536d538ccdaa3d9"
448 5846006549323611672814741753598448348329118574063
449 inf;
20095408 450 "binpoly: 0x800000000000000000000000000000000000000c9; binproj: 1, 1"
f46efa79 451 "0x2fe13c0537bbc11acaa07d793de4e6d5e5c94eee8,
452 0x289070fb05d38ff58321f2e800536d538ccdaa3d9"
453 5846006549323611672814741753598448348329118574063
454 inf;
bc985cef 455}
Catacomb cryptographic library