Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/GAP/pkg/factint/tables/   (Algebra von RWTH Aachen Version 4.15.1©)  Datei vom 15.10.2019 mit Größe 8 kB image not shown  

Quelle  akbk.g   Sprache: unbekannt

 
#############################################################################
##
#W  akbk.g                 GAP4 Package `FactInt'                 Stefan Kohl
##
##  This file contains lists of residues a^k +/- b^k mod 2520.
##
#############################################################################

BindGlobal("AK_PM_BK_MOD_2520", MakeImmutable([
  [ ,, [ , [ 0, 1, 5, 19, 65, 211, 665, 1051, 1219, 1265, 1531, 2059 ] ], 
      [ , [ 0, 2, 12, 56, 240, 632, 992, 1136, 1272, 1496, 1512, 1752, 2072, 
              2280 ], 
          [ 0, 1, 7, 37, 175, 277, 541, 781, 847, 1015, 1597, 1687, 1855, 
              2101 ] ], 
      [ , [ 0, 3, 21, 117, 441, 573, 609, 1077, 1281, 1449, 1893, 2121, 2133, 
              2289, 2397 ], 
          [ 0, 2, 16, 98, 338, 362, 544, 602, 784, 842, 1024, 2056, 2296, 
              2378 ], [ 0, 1, 9, 61, 369, 1261, 1449, 2101 ] ], 
      [ , [ 0, 4, 32, 88, 184, 208, 272, 688, 1040, 1232, 1280, 2104, 2224, 
              2240 ], 
          [ 0, 3, 27, 189, 207, 549, 567, 693, 1053, 1215, 1287, 1575, 1989, 
              2295, 2493 ], [ 0, 2, 20, 152, 1040, 1280, 1472, 1712, 2240 ], 
          [ 0, 1, 11, 91, 211, 671, 791, 1271, 2131 ] ], 
      [ , [ 0, 5, 45, 335, 1305, 1655, 1665, 1895, 2385 ], 
          [ 0, 4, 40, 316, 436, 844, 1000, 1324, 1444, 2320, 2356 ], 
          [ 0, 3, 33, 153, 159, 279, 633, 663, 759, 783, 1263, 1545, 1665, 
              2145 ], 
          [ 0, 2, 24, 216, 218, 264, 578, 722, 1082, 1224, 1536, 1776, 2018 ],
          [ 0, 1, 13, 127, 265, 433, 631, 967, 1105, 1273, 1471, 1807, 1945, 
              2113, 2311 ] ], 
      [ , [ 0, 6, 60, 384, 504, 984, 1320, 1560, 1896, 2016, 2496 ], 
          [ 0, 5, 55, 485, 845, 1495, 1855, 2285 ], 
          [ 0, 4, 48, 448, 1008, 1264, 1320, 1504, 1560, 1768, 2008, 2328, 
              2464 ], 
          [ 0, 3, 39, 387, 507, 951, 1071, 1551, 1923, 1959, 2079, 2403, 2427 
             ], [ 0, 2, 28, 280, 296, 1288, 2312 ], 
          [ 0, 1, 15, 169, 841, 855, 1009, 1681, 1695, 1849 ] ], 
      [ , [ 0, 7, 77, 217, 497, 665, 721, 1057, 1337, 1505, 1561, 1897, 2177, 
              2345, 2401 ], 
          [ 0, 6, 72, 342, 432, 702, 846, 1080, 1206, 1440, 1512 ], 
          [ 0, 5, 65, 665, 1265 ], [ 0, 4, 56, 484, 604, 896, 1736 ], 
          [ 0, 3, 45, 225, 513, 873, 945, 1305, 2313 ], 
          [ 0, 2, 32, 386, 506, 512, 632, 1040, 1520, 1640, 1922, 2402, 2426 ]
            , 
          [ 0, 1, 17, 217, 577, 665, 721, 1025, 1081, 1457, 2017, 2177, 2465 
             ] ], 
      [ , [ 0, 8, 96, 488, 504, 512, 992, 1104, 1416, 1688, 2016, 2192, 2424 ]
            , [ 0, 7, 91, 973, 1351, 1477, 2359 ], 
          [ 0, 6, 84, 504, 696, 936, 1344, 1896, 2184 ], 
          [ 0, 5, 75, 635, 875, 1115, 1335, 1575, 1815 ], 
          [ 0, 4, 64, 424, 784, 1144, 1504 ], 
          [ 0, 3, 33, 39, 51, 153, 351, 537, 633, 657, 1137, 1311, 1359, 
              1551, 2319 ], 
          [ 0, 2, 36, 128, 488, 504, 632, 864, 992, 1208, 1296, 1712, 2016, 
              2304, 2376 ], [ 0, 1, 19, 271, 631, 919, 1279, 2359 ] ], 
      [ , [ 0, 9, 117, 243, 819, 945, 1017, 1323, 1377, 1899, 2025, 2259, 
              2385, 2403, 2457 ], 
          [ 0, 8, 112, 280, 344, 848, 952, 1120, 1304, 1544, 1792, 1808, 
              1960, 2048 ], [ 0, 7, 105, 945, 1267, 1785 ], 
          [ 0, 6, 96, 1206, 1416, 1686, 2016 ], 
          [ 0, 5, 85, 745, 1115, 1225, 1345, 2075, 2315 ], 
          [ 0, 4, 72, 484, 508, 604, 792, 988, 1080, 1108, 1152, 1800, 2160 ],
          [ 0, 3, 57, 465, 819, 945, 1065, 1323, 1779, 1977, 2019, 2283, 2457 
             ], [ 0, 2, 40, 280, 520, 602, 1202 ], 
          [ 0, 1, 21, 331, 441, 571, 1281, 1891, 2121 ] ], 
      [ , [ 0, 10, 140, 560, 1400, 1720, 1840, 2240, 2320 ], 
          [ 0, 9, 135, 189, 261, 495, 621, 1269, 1575, 1629, 1701 ], 
          [ 0, 8, 128, 320, 344, 728, 848, 1184, 1328, 1640, 1664, 1688, 
              2168, 2240 ], 
          [ 0, 7, 119, 427, 763, 791, 959, 1267, 1603, 1631, 1799, 2107, 
              2443, 2471 ], 
          [ 0, 6, 108, 216, 288, 360, 1008, 1152, 1368, 1512, 1656, 1800, 
              2016, 2232 ], [ 0, 5, 95, 185, 425, 575, 695, 1385 ], 
          [ 0, 4, 80, 424, 856, 1216, 1520, 1864, 1936, 2224, 2240 ], 
          [ 0, 3, 63, 279, 423, 783, 999, 1503, 1575, 2439 ], 
          [ 0, 2, 44, 152, 224, 296, 656, 728, 1232, 1304, 1664, 1736, 1808, 
              2168, 2312 ], 
          [ 0, 1, 23, 397, 421, 901, 1055, 1295, 1535, 1597, 2063, 2101, 
              2303, 2437 ] ] ], 
  [ ,, [ , [ 2, 5, 13, 35, 97, 275, 793, 1273, 1297, 1777, 2113, 2315 ] ], 
      [ , [ 2, 6, 20, 72, 272, 552, 576, 632, 1056, 1280, 1392, 1640, 1896 ], 
          [ 2, 7, 25, 91, 337, 427, 931, 1267, 1297, 1345, 1537, 1771, 2107, 
              2305 ] ], 
      [ , [ 2, 7, 29, 133, 281, 569, 637, 641, 1289, 1649, 2081 ], 
          [ 2, 8, 34, 152, 226, 706, 848, 1234, 1352, 1546, 1688, 1714, 2168, 
              2192 ], [ 2, 9, 41, 189, 881, 1269, 1629, 2081 ] ], 
      [ , [ 2, 8, 40, 224, 248, 344, 352, 728, 848, 1312, 1360, 1552, 2264, 
              2320 ], 
          [ 2, 9, 45, 243, 297, 459, 963, 1017, 1305, 1377, 1899, 2025, 2259, 
              2385, 2403 ], [ 2, 10, 52, 280, 352, 1240, 1312, 1480, 1552 ], 
          [ 2, 11, 61, 221, 341, 821, 1321, 1801, 1921 ] ], 
      [ , [ 2, 9, 53, 351, 639, 711, 1313, 1359, 1719, 1793, 1817, 1913, 
              2151, 2297, 2417 ], 
          [ 2, 10, 58, 370, 442, 562, 1690, 1930, 1978, 2458, 2482 ], 
          [ 2, 11, 65, 137, 191, 407, 767, 785, 911, 1145, 1271, 1577, 2207, 
              2297 ], 
          [ 2, 12, 74, 468, 506, 972, 1226, 1514, 1586, 1788, 2028, 2234, 
              2292 ], 
          [ 2, 13, 85, 223, 337, 505, 559, 1063, 1177, 1345, 1399, 1903, 
              2017, 2185, 2239 ] ], 
      [ , [ 2, 10, 40, 68, 128, 520, 632, 640, 1088, 1328, 1592, 1832 ], 
          [ 2, 11, 73, 179, 251, 539, 577, 793, 1153, 1259, 1297, 1657, 1691, 
              2051 ], 
          [ 2, 12, 72, 80, 320, 576, 632, 1032, 1272, 1536, 1592, 1640, 1776, 
              1832 ], 
          [ 2, 13, 89, 133, 517, 569, 613, 637, 689, 1117, 1601, 2081, 2201 ],
          [ 2, 14, 100, 224, 352, 728, 1360 ], 
          [ 2, 15, 113, 617, 855, 953, 1457, 1695, 1793, 2297 ] ], 
      [ , [ 2, 11, 25, 85, 137, 337, 617, 641, 737, 1121, 1241, 1297, 1345, 
              1537, 2305 ], 
          [ 2, 12, 90, 252, 450, 756, 1332, 1602, 1692, 1836, 1962, 2196 ], 
          [ 2, 13, 97, 793, 1273, 1297, 1777, 2113 ], 
          [ 2, 14, 106, 226, 854, 1694, 2146 ], 
          [ 2, 15, 117, 225, 297, 945, 1017, 1305, 1377 ], 
          [ 2, 16, 130, 256, 442, 1072, 1402, 1450, 1576, 1642, 2032, 2272, 
              2410 ], 
          [ 2, 17, 145, 521, 577, 737, 1097, 1241, 1297, 1585, 1601, 1657, 
              2305 ] ], 
      [ , [ 2, 12, 104, 768, 944, 1008, 1136, 1248, 1272, 1512, 1616, 1752, 
              2144, 2456 ], 
          [ 1, 2, 13, 109, 289, 307, 361, 523, 1009, 1027, 1369, 1801, 1963, 
              2323, 2467 ], [ 2, 14, 116, 176, 224, 1064, 1136, 1376, 1904 ], 
          [ 2, 15, 65, 125, 545, 645, 1125, 1385, 2325 ], 
          [ 2, 16, 136, 856, 1216, 1936 ], 
          [ 2, 17, 143, 149, 281, 383, 401, 647, 809, 887, 1289, 1343, 1409, 
              1847, 2321 ], 
          [ 2, 18, 164, 416, 648, 1008, 1136, 1152, 1424, 1496, 1512, 1728, 
              2144, 2232, 2504 ], [ 2, 19, 181, 289, 649, 1441, 1729, 1801 ] ]
        , 
      [ , [ 2, 13, 65, 125, 139, 377, 545, 643, 1339, 1385, 1577, 1819, 1843, 
              2057, 2323 ], 
          [ 2, 14, 130, 518, 610, 730, 854, 1358, 1642, 1694, 2122, 2198, 
              2242 ], [ 2, 15, 137, 795, 1275, 1395, 1577, 2297 ], 
          [ 2, 16, 146, 376, 506, 1456 ], 
          [ 2, 17, 157, 227, 817, 1297, 1417, 1547, 2507 ], 
          [ 2, 18, 170, 410, 722, 954, 1458, 1674, 1682, 1730, 1922, 2034, 
              2178 ], 
          [ 2, 19, 65, 185, 283, 523, 1097, 1339, 1577, 1697, 1843, 2105, 
              2299 ], [ 2, 20, 202, 860, 1042, 2060, 2242 ], 
          [ 2, 21, 221, 651, 1481, 1491, 1961, 2081, 2331 ] ], 
      [ , [ 2, 14, 56, 88, 148, 224, 352, 592, 896, 1064, 1408, 1736, 1904, 
              1912, 2368 ], [ 2, 15, 153, 513, 657, 1017, 1755, 2115 ], 
          [ 2, 16, 160, 352, 376, 832, 1192, 1360, 1672, 1696, 1792, 1840, 
              2296, 2392 ], 
          [ 2, 17, 169, 289, 437, 1201, 1681, 1801, 1853, 1973, 2209, 2357, 
              2453, 2477 ], 
          [ 2, 18, 72, 144, 180, 360, 432, 648, 1080, 1440, 1584, 1872, 1944, 
              2088, 2448 ], 
          [ 2, 19, 31, 193, 439, 457, 559, 697, 1039, 1513, 1951, 2017, 2071, 
              2473 ], 
          [ 2, 20, 208, 352, 440, 712, 1648, 1880, 2152, 2240, 2368 ], 
          [ 2, 21, 225, 441, 585, 1017, 1737, 2025, 2097, 2457 ], 
          [ 2, 22, 208, 244, 496, 568, 712, 856, 1072, 1504, 1864 ], 
          [ 2, 23, 97, 265, 443, 539, 1043, 1105, 1139, 1297, 1643, 1777, 
              2305, 2459 ] ] ] ]  ) );

#############################################################################
##
#E  akbk.g . . . . . . . . . . . . . . . . . . . . . . . . . . . .  ends here

[ Dauer der Verarbeitung: 0.18 Sekunden  (vorverarbeitet)  ]