chiark - git - mdw - catacomb/blob - math/t/gfreduce

   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 }