| 1 | # Test efficient polynomial reduction |
| 2 | |
| 3 | reduce { |
| 4 | 0x10000000 |
| 5 | 0x4509823098098435 |
| 6 | 0x8098435; |
| 7 | 0x100000000000000050002 |
| 8 | 0x4509823098098435 |
| 9 | 0x4509823098098435; |
| 10 | 0x100000000000000050002 |
| 11 | 0x450982309809843545609843098560803495 |
| 12 | 0x144f98a2f5cbc4773cfd; |
| 13 | 0xb2ca471b0867d5fae2e4f27a2d2706da |
| 14 | 0xf254423fef93d5d7a76ecf22c656c1352c53257875945d33 |
| 15 | 0x582f783fc210f72814780e69b0bd29ff; |
| 16 | } |
| 17 | |
| 18 | modexp { |
| 19 | 0x20000000000000000000000000000000000000000000000000000000000001001 |
| 20 | 0x1ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff |
| 21 | 0 |
| 22 | 1; |
| 23 | 0x20000000000000000000000000000000000000000000000000000000000001001 |
| 24 | 0x02 |
| 25 | 0x1ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff |
| 26 | 1; |
| 27 | 0x20000000000000000000000000000000000000000000000000000000000001001 |
| 28 | 0x435932098459080438094509845 |
| 29 | 0x1ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff |
| 30 | 1; |
| 31 | 0x10000000000000000000000000000000000000000003 |
| 32 | 0x02 |
| 33 | 0x0fffffffffffffffffffffffffffffffffffffffffff |
| 34 | 1; |
| 35 | 0x10000000000000000000000000000000000000000003 |
| 36 | 0x34235950984598345900983409845690805680985 |
| 37 | 0x0fffffffffffffffffffffffffffffffffffffffffff |
| 38 | 1; |
| 39 | |
| 40 | 0x800000000000000000000000000000000000000c9 |
| 41 | 0x3f0eba16286a2d57ea0991168d4994637e8343e36 |
| 42 | -1 |
| 43 | 0x3c8c172e24598e90b9542e6b8f6571f54be572b50; |
| 44 | 0x800000000000000000000000000000000000000c9 |
| 45 | 0x3c8c172e24598e90b9542e6b8f6571f54be572b50 |
| 46 | 342345 |
| 47 | 0x3521fe2666efe92ca4eb160a286e0fd9427b84a62; |
| 48 | 0x800000000000000000000000000000000000000c9 |
| 49 | 0x3f0eba16286a2d57ea0991168d4994637e8343e36 |
| 50 | -342345 |
| 51 | 0x3521fe2666efe92ca4eb160a286e0fd9427b84a62; |
| 52 | } |
| 53 | |
| 54 | sqrt { |
| 55 | 0x20000000000000000000000000000000000000000000000000000000000001001 |
| 56 | 0x1f081e69f45d3254530766ab98d55fa612c7bb27ea31bc2621d894be9c0b196b3 |
| 57 | 0x7fb838a8a0a95046b9d9d9fb4440f7bbc1a7bd3b4e853fc92d4e1588719986aa; |
| 58 | 0x10000000000000000000000000000000000000000003 |
| 59 | 0x4594094509835690805698083560980459903450984 |
| 60 | 0x820291881a244a02840a2f8ece3f23f88f38bf0b3a; |
| 61 | } |
| 62 | |
| 63 | halftrace { |
| 64 | 0x20000000000000000000000000000000000000000000000000000000000001001 |
| 65 | 0x174e65c7d14a8ec286df8c7df17662f13f1d3563f13c8c63f23f5d0bd5d1b45cd |
| 66 | 0x8d68905434b020ccb849e17a03a5c441d2a104aaf523699c1cc7a93174d21d9d; |
| 67 | } |
| 68 | |
| 69 | quadsolve { |
| 70 | 0x20000000000000000000000000000000000000000000000000000000000001001 |
| 71 | 0x174e65c7d14a8ec286df8c7df17662f13f1d3563f13c8c63f23f5d0bd5d1b45cd |
| 72 | 0x8d68905434b020ccb849e17a03a5c441d2a104aaf523699c1cc7a93174d21d9c; |
| 73 | 0x10000000000000000000000000000000000000000003 |
| 74 | 0x3b818b447e90713da04f13c3b07cb5e2681d08e4700 |
| 75 | 0x27aa17c97dfa80bbdef9f91b243c6e6ddba1a223cac; |
| 76 | 0x800000000000000000000000000000000000000c9 |
| 77 | 0x158fe327cc763a2fd7371ee80641ed1871a32aaa8 |
| 78 | 0x29ab0d7da05ffc3f1b3f97ac10e2092694aadbb7c; |
| 79 | } |