Standard curves and curve checking.
[u/mdw/catacomb] / tests / gfreduce
1 # $Id: gfreduce,v 1.4 2004/03/27 17:54:12 mdw Exp $
2 #
3 # Test efficient polynomial reduction
4
5 reduce {
6 0x10000000
7 0x4509823098098435
8 0x8098435;
9 0x100000000000000050002
10 0x4509823098098435
11 0x4509823098098435;
12 0x100000000000000050002
13 0x450982309809843545609843098560803495
14 0x144f98a2f5cbc4773cfd;
15 0xb2ca471b0867d5fae2e4f27a2d2706da
16 0xf254423fef93d5d7a76ecf22c656c1352c53257875945d33
17 0x582f783fc210f72814780e69b0bd29ff;
18 }
19
20 modexp {
21 0x20000000000000000000000000000000000000000000000000000000000001001
22 0x02
23 0x1ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
24 1;
25 0x20000000000000000000000000000000000000000000000000000000000001001
26 0x435932098459080438094509845
27 0x1ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
28 1;
29 0x10000000000000000000000000000000000000000003
30 0x02
31 0x0fffffffffffffffffffffffffffffffffffffffffff
32 1;
33 0x10000000000000000000000000000000000000000003
34 0x34235950984598345900983409845690805680985
35 0x0fffffffffffffffffffffffffffffffffffffffffff
36 1;
37 }
38
39 sqrt {
40 0x20000000000000000000000000000000000000000000000000000000000001001
41 0x1f081e69f45d3254530766ab98d55fa612c7bb27ea31bc2621d894be9c0b196b3
42 0x7fb838a8a0a95046b9d9d9fb4440f7bbc1a7bd3b4e853fc92d4e1588719986aa;
43 0x10000000000000000000000000000000000000000003
44 0x4594094509835690805698083560980459903450984
45 0x820291881a244a02840a2f8ece3f23f88f38bf0b3a;
46 }
47
48 halftrace {
49 0x20000000000000000000000000000000000000000000000000000000000001001
50 0x174e65c7d14a8ec286df8c7df17662f13f1d3563f13c8c63f23f5d0bd5d1b45cd
51 0x8d68905434b020ccb849e17a03a5c441d2a104aaf523699c1cc7a93174d21d9d;
52 }
53
54 quadsolve {
55 0x20000000000000000000000000000000000000000000000000000000000001001
56 0x174e65c7d14a8ec286df8c7df17662f13f1d3563f13c8c63f23f5d0bd5d1b45cd
57 0x8d68905434b020ccb849e17a03a5c441d2a104aaf523699c1cc7a93174d21d9c;
58 0x10000000000000000000000000000000000000000003
59 0x3b818b447e90713da04f13c3b07cb5e2681d08e4700
60 0x27aa17c97dfa80bbdef9f91b243c6e6ddba1a223cac;
61 0x800000000000000000000000000000000000000c9
62 0x158fe327cc763a2fd7371ee80641ed1871a32aaa8
63 0x29ab0d7da05ffc3f1b3f97ac10e2092694aadbb7c;
64 }