chiark - git - mdw - catacomb/blob - tests/gfreduce

   1 # $Id$
   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   0x1ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
  23   0
  24   1;
  25   0x20000000000000000000000000000000000000000000000000000000000001001
  26   0x02
  27   0x1ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
  28   1;
  29   0x20000000000000000000000000000000000000000000000000000000000001001
  30   0x435932098459080438094509845
  31   0x1ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
  32   1;
  33   0x10000000000000000000000000000000000000000003
  34   0x02
  35   0x0fffffffffffffffffffffffffffffffffffffffffff
  36   1;
  37   0x10000000000000000000000000000000000000000003
  38   0x34235950984598345900983409845690805680985
  39   0x0fffffffffffffffffffffffffffffffffffffffffff
  40   1;
  41
  42   0x800000000000000000000000000000000000000c9
  43   0x3f0eba16286a2d57ea0991168d4994637e8343e36
  44   -1
  45   0x3c8c172e24598e90b9542e6b8f6571f54be572b50;
  46   0x800000000000000000000000000000000000000c9
  47   0x3c8c172e24598e90b9542e6b8f6571f54be572b50
  48   342345
  49   0x3521fe2666efe92ca4eb160a286e0fd9427b84a62;
  50   0x800000000000000000000000000000000000000c9
  51   0x3f0eba16286a2d57ea0991168d4994637e8343e36
  52   -342345
  53   0x3521fe2666efe92ca4eb160a286e0fd9427b84a62;
  54 }
  55
  56 sqrt {
  57   0x20000000000000000000000000000000000000000000000000000000000001001
  58   0x1f081e69f45d3254530766ab98d55fa612c7bb27ea31bc2621d894be9c0b196b3
  59     0x7fb838a8a0a95046b9d9d9fb4440f7bbc1a7bd3b4e853fc92d4e1588719986aa;
  60   0x10000000000000000000000000000000000000000003
  61     0x4594094509835690805698083560980459903450984
  62     0x820291881a244a02840a2f8ece3f23f88f38bf0b3a;
  63 }
  64
  65 halftrace {
  66   0x20000000000000000000000000000000000000000000000000000000000001001
  67   0x174e65c7d14a8ec286df8c7df17662f13f1d3563f13c8c63f23f5d0bd5d1b45cd
  68    0x8d68905434b020ccb849e17a03a5c441d2a104aaf523699c1cc7a93174d21d9d;
  69 }
  70
  71 quadsolve {
  72   0x20000000000000000000000000000000000000000000000000000000000001001
  73   0x174e65c7d14a8ec286df8c7df17662f13f1d3563f13c8c63f23f5d0bd5d1b45cd
  74    0x8d68905434b020ccb849e17a03a5c441d2a104aaf523699c1cc7a93174d21d9c;
  75   0x10000000000000000000000000000000000000000003
  76    0x3b818b447e90713da04f13c3b07cb5e2681d08e4700
  77    0x27aa17c97dfa80bbdef9f91b243c6e6ddba1a223cac;
  78   0x800000000000000000000000000000000000000c9
  79     0x158fe327cc763a2fd7371ee80641ed1871a32aaa8
  80     0x29ab0d7da05ffc3f1b3f97ac10e2092694aadbb7c;
  81 }