Knowledge

Talk:Modular arithmetic

Source 📝

328: 318: 297: 264: 409: 224: 255: 548:
This is true. Nevertheless, this article lacks of section "Modular operations", in which modular operations (modular addition, modular multiplication, modular exponentiation, modular inverse, and modular division) are defined and described. For the moment this is only partially done, and distributed
583:
If b has a multiplive inverse mod n (b has a multiplive inverse mod n if and only if gcd(b,n)=1), then we can define (a/b) in arithmetic mod n, the definition is a × (the multiplive inverse of b mod n), e.g. in arithmetic mod 35, 1/2 is 18 and 1/3 is 12, but 1/5 is undefined, since 5 has no
2943:
as no evidence is provided that 1 is considered as a possible modulus in standard textbooks. Also, such a change requires to verify that all properties listed in the article remain correct after the change. This has clearly not been done, as one of the properties begins with "If
2268: 1915:
Indeed it doesn't work. Copying and pasting both Anononymous' code and Knowledge's article both fail with integers close to ULLONG_MAX of clmits, in particular (ULLONG_MAX-1)^2 modulo (ULLONG_MAX-82). It is better to just use the property: (a*b) mod m = (a-m)*(b-m) mod m.
2273:
I have seen this problem elsewhere from time to time on Knowledge. An IP tried to fix it by inserting spaces, to no avail. I removed the spaces, because they did not help. The only thing that worked for me was to increase the magnification on my
2628: 615:
The source code in the page (reproduced below) allows values for m as large as 2^63 - 1, while simpler source codes usually require that m < 2^32, because of intermediate squaring operations involved that would overflow a 64-bits integer.
3172:
about my supposed understanding of mathematics are not an argument in this discussion. On the opposite, they weaken your position. Please remove them. If you remove the preceding post I would agree that you remove also my answer.
2859: 2645:
This was reverted because it is too complicated to be useful in this article. In fact, it is too complicated for most people to verify. If you want to reinsert it, then first discuss it here and demonstrate why it is
166: 2132: 2077: 2692: 495: 2137: 2725: 2999:
As congruences modulo 0 and 1 are commonly considered (even in this article), it seems that 0 and 1 are rarely considered as moduli. So I suggest to change the beginning of the section into
2774:
And I could not find one(¬1) basic property listed in the article which becomes nonsensical. I asked him to show me one, if not all, of the listed basic properties which become nonsensical.
2074:
Isn't it kind of silly to refer to the 24-hour clock as "military" time since it's the standard timekeeping format in most of the world? Seems anglocentric and an unnecessary parenthetical.
384: 2091:
Good point. I live in a county usually using 12-hour time and it still feels like an Americanism to me. I've reworded things for now, if anyone disagrees we can go to the third stage of
3321: 2449: 2768:
rejects the modulus 1 with the argument: "1 is never used as a modulus, and extending the definition to would make nonsensical some of the listed basic properties listed below".
557:
is lacking, although fundamental. Also fundamental and lacking are: the use of modular arithmetic for efficient linear algebra over the rationals, and the difficult problem of
2516: 160: 215: 2933: 3311: 2521: 2475: 2053:
The article should mention the fact that full modular arithmetic cannot be extended to reals; and there should be a separate article about this partial arithmetic.
3326: 962:
Indeed, I translated it in C# as follows and I don't get correct results (tested against the BigInteger.ModPow(A, B, M) function provided in the .Net version 4):
2677:. I don't propose to directly affect this page, but this page is listed upon that disambiguation page. Please visit the discussion there and contribute! Thanks — 2906: 268: 3336: 374: 92: 57: 3306: 488:
What about division? In arithmetic mod 13, 1/2 is 7 since 7*2=1. In arithmetic mod 10, 1/2 is impossible. With prime modulo, only n/0 is impossible.
2786: 1315:
The source code below requires that M < 2^32, but at least it gives the correct result (tested against the BigInteger.ModPow(A, B, M) function):
3316: 350: 3331: 421: 203: 98: 2739: 1901: 2771:
I agree that the change does not carry much of a fluidum. But it is correct and even useful at least e.g. for certain generic theorems.
2081: 2696: 2290: 1923: 591: 499: 2729: 3271: 3130:
I agree that congruences may and should be defined modulo any nonnegative integer, but this does implies that 0 and 1 may be called
1570: 437: 428: 424: 341: 302: 211: 207: 2263:{\displaystyle {\begin{aligned}-8&\equiv 7{\pmod {5}}\\2&\equiv -3{\pmod {5}}\\-3&\equiv -8{\pmod {5}}.\end{aligned}}} 561:. In other words, this article needs a complete rewriting. I intended to do that, but I have not yet get the time for doing this. 181: 3301: 2104: 148: 112: 43: 117: 33: 87: 550: 440:— congruency symbols; notation; clock arithmetic; modulo in computer science (discussion leading to the creation of the 277: 1583:
This code here might be easier to understand, and the loop won't always run 64 iterations. It works for any uint64_t.
473: 78: 142: 3169: 223: 198: 2989: 2965: 2674: 452: 234: 554: 138: 2743: 1905: 3234: 2670: 2663: 1927: 122: 2996:
So the change does not improve the article, although the first line of the section requires some attention.
2410: 2126:
The first minus sign in the following equations in the Examples section does not seem to render properly.
2060: 595: 188: 1566: 283: 327: 1562: 3196: 3192: 3160: 3156: 2870: 2866: 1919: 1897: 1558: 587: 491: 2631: 2121: 254: 3121: 3002: 2715: 2651: 2635: 2298: 2279: 2100: 539: 174: 68: 2623:{\displaystyle 2x\equiv 14{\pmod {13}}\equiv 1{\pmod {13}}\iff x\equiv {\frac {1}{2}}{\pmod {13}}} 349:
on Knowledge. If you would like to participate, please visit the project page, where you can join
3178: 3139: 3099: 2936: 2480: 566: 558: 531: 458: 333: 239: 83: 37: 317: 296: 154: 3090:
By the way, the integers modulo 1 are more than the "1-elementic trivial group". They form the
2968:, ...". This sentence is wrong with both definitions, as it implies a congruence modulo 1 when 3277: 3268: 3238: 2056: 64: 2912: 454: 441: 408: 236: 2454: 3257: 3117: 2711: 2647: 2294: 2275: 2096: 535: 3155:— and does not realize that 0 really never is a modulus, whereas 1 may happen to be. - 3295: 3264: 3188: 3174: 3148: 3135: 3095: 2981: 2765: 2758: 2092: 562: 2939:, with the edit summary "the trivial modulus 1 is anyway a modulus". This sounds as 2883: 2002:
These operations are reasonably well behaved; if one defines the typical element of
2940: 1312:
Can someone help? Otherwise the source code above should be removed from the page.
2854:{\displaystyle \mathbb {Z} /1\mathbb {Z} =\mathbb {Z} /1=\mathbb {Z} _{1}=\{0\}} 346: 3076:
Clearly, such a change would require an update of the article for testing when
2738:
Some use "equivalent to," although I suppose this may be colloquial in usage.
2707: 549:
in several sections. The fact that modular inverses may be computed by either
456: 323: 238: 2313:
Hopefully, the following I added won't be reversed and deleted in future. If
3200: 3182: 3164: 3143: 3125: 3103: 3091: 2874: 2747: 2733: 2719: 2700: 2681: 2678: 2655: 2639: 2302: 2283: 2108: 2085: 2064: 1931: 1909: 1574: 599: 570: 543: 503: 1942:
One cannot define full arithmetic (including multiplication) for the set
2289:
This is happening in several articles. I just put in a help request at
2027:
This artithmetic has many applications, such as computing with angles (
2777:
However, I would add a statement to the paragraph "Integers modulo
3280: 3241: 3083:
must be explicitly excluded. (This is implicily excluded when
2031:=2π), doing analysis and analytic geometry on a "flat torus" ( 459: 402: 248: 240: 28: 15: 3134:. This is the motivation of the above suggested formulation. 2669:
Hi all! I have started a discussion for the primary topic of
2291:
Knowledge:Village pump (proposals)#Minus signs not rendering
2687:
Does the glyph for congruence about a modulus have a name?
2675:
Talk:Modulo (mathematics)#Requested move 28 December 2022
3112:
Two sources cited in the article define congruence for
173: 2915: 2887: 2789: 2524: 2483: 2457: 2413: 2135: 1580:
I tested it out on C, and it appears to work for me.
345:, a collaborative effort to improve the coverage of 3255:Pettofrezzo, Anthony J.; Byrkit, Donald R. (1970). 3256: 2927: 2899: 2853: 2622: 2510: 2469: 2443: 2262: 2484: 46:for general discussion of the article's subject. 3322:Knowledge level-4 vital articles in Mathematics 2691:If not, I personally propose the “Threequals.” 2935:in the definition given in the first line of 467:This page has archives. Sections older than 187: 8: 2848: 2842: 2047:=1), computing atom distances in crystals ( 2673:, under the guise of a requested move, at 1917: 1895: 1556: 622:I doubt that this source code is correct: 585: 489: 291: 2914: 2886: 2833: 2829: 2828: 2816: 2812: 2811: 2804: 2803: 2795: 2791: 2790: 2788: 2662:Primary topic discussion in progress for 2602: 2592: 2561: 2537: 2523: 2482: 2456: 2423: 2412: 2235: 2194: 2156: 2136: 2134: 3231:Elementary Introduction to Number Theory 2584: 2579: 3312:Knowledge vital articles in Mathematics 3221: 2724:Stupid name. Threequals is way better. 2078:2604:2D80:D686:1800:957E:4D42:301E:9A32 477:when more than 10 sections are present. 293: 252: 3087:is supposed to be prime or composite.) 3000: 2693:2001:56A:FCFE:E200:C4EB:EB76:3964:B88F 496:2A01:119F:2E9:2F00:94F9:AF78:6BF0:839F 444:article); usage in check digits; misc. 3327:C-Class vital articles in Mathematics 2726:2001:56A:FCFE:E200:C09:49E7:BAD5:1973 2444:{\displaystyle x\equiv 7{\pmod {13}}} 7: 339:This article is within the scope of 282:It is of interest to the following 36:for discussing improvements to the 2863:is the 1-elementic trivial group. 1950:numbers modulo some positive real 14: 3337:Top-priority mathematics articles 2611: 2570: 2546: 2432: 2244: 2203: 2165: 1956:However, one can define addition 471:may be automatically archived by 359:Knowledge:WikiProject Mathematics 3307:Knowledge level-4 vital articles 3094:. I'll ass this to the article. 2309:Recently reverted text insertion 1988:) of an ordinary integer number 407: 362:Template:WikiProject Mathematics 326: 316: 295: 262: 253: 222: 58:Click here to start a new topic. 379:This article has been rated as 3317:C-Class level-4 vital articles 2706:Yes. The symbol is called the 2616: 2605: 2581: 2575: 2564: 2551: 2540: 2499: 2487: 2437: 2426: 2249: 2238: 2208: 2197: 2170: 2159: 1910:14:34, 21 September 2017 (UTC) 526:only when the integers modulo 1: 2682:16:08, 28 December 2022 (UTC) 2603: 2562: 2538: 2424: 2303:17:16, 20 December 2020 (UTC) 2284:04:54, 19 December 2020 (UTC) 2236: 2195: 2157: 1575:12:26, 28 December 2016 (UTC) 353:and see a list of open tasks. 55:Put new text under old text. 3332:C-Class mathematics articles 3201:19:13, 5 February 2024 (UTC) 3183:18:50, 5 February 2024 (UTC) 3165:10:22, 5 February 2024 (UTC) 3144:19:24, 4 February 2024 (UTC) 3126:16:20, 4 February 2024 (UTC) 3104:11:26, 4 February 2024 (UTC) 2980:Another terrible mistake of 2875:08:25, 4 February 2024 (UTC) 2734:21:01, 2 December 2023 (UTC) 2720:13:57, 2 December 2023 (UTC) 2701:07:51, 2 December 2023 (UTC) 2511:{\displaystyle \gcd(2,13)=1} 1932:19:59, 30 January 2019 (UTC) 551:extended Euclidean algorithm 3187:Clearer — and critics wrt. 2051:= crystal cell size), etc.. 584:multiplive inverse mod 35. 571:21:36, 31 August 2016 (UTC) 544:18:15, 31 August 2016 (UTC) 504:16:59, 31 August 2016 (UTC) 63:New to Knowledge? Welcome! 3353: 2748:06:27, 15 April 2024 (UTC) 2656:16:04, 24 March 2022 (UTC) 2640:15:56, 24 March 2022 (UTC) 2065:01:50, 14 April 2019 (UTC) 559:discrete modular logarithm 3259:Elements of Number Theory 3024:, if there is an integer 2115:Minus signs not rendering 2021:in ℤ }, then ± = , and 600:11:03, 27 July 2018 (UTC) 378: 311: 290: 93:Be welcoming to newcomers 22:Skip to table of contents 3229:Long, Calvin T. (1972). 2990:Euler's totient function 2966:Euler's totient function 1585: 1317: 964: 624: 385:project's priority scale 21: 3235:D. C. Heath and Company 2928:{\displaystyle n\geq 1} 2671:Modulo (disambiguation) 2664:Modulo (disambiguation) 2109:07:21, 8 May 2020 (UTC) 2086:02:23, 8 May 2020 (UTC) 1045:// 0x8000000000000000UL 555:Fermat's little theorem 342:WikiProject Mathematics 3302:C-Class vital articles 3233:(2nd ed.). Lexington: 3191:'s emotions removed. - 3151:mixes up "0 and 1" as 3116:any positive integer.— 2988:(1) = 1 (and ≠ 0, see 2972:= 2 and modulo 0 when 2929: 2902: 2855: 2624: 2512: 2471: 2445: 2264: 1764:// if (sum + a) < m 474:Lowercase sigmabot III 88:avoid personal attacks 2930: 2903: 2900:{\displaystyle n: --> 2856: 2625: 2513: 2472: 2446: 2265: 1980:, and multiplication 885:0x8000000000000000ULL 510:Dividing one element 269:level-4 vital article 216:Auto-archiving period 113:Neutral point of view 3263:. Englewood Cliffs: 2913: 2885: 2787: 2522: 2481: 2455: 2411: 2133: 1827:// if (a + a) < m 611:Source code correct? 365:mathematics articles 118:No original research 3170:WP:personal attacks 3003:nonnegative integer 2880:Nomen4Omen changed 2470:{\displaystyle k=2} 518:is defined for all 514:by another element 3045:. This is denoted 2925: 2897: 2851: 2620: 2612: 2604: 2585: 2580: 2571: 2563: 2547: 2539: 2508: 2467: 2441: 2433: 2425: 2260: 2258: 2245: 2237: 2204: 2196: 2166: 2158: 2006:as the class = { 1976:) for elements of 1938:Real numbers again 334:Mathematics portal 278:content assessment 99:dispute resolution 60: 38:Modular arithmetic 3068:, it is called a 2761:rejects modulus 1 2600: 1934: 1922:comment added by 1912: 1900:comment added by 1577: 1561:comment added by 602: 590:comment added by 506: 494:comment added by 481: 480: 399: 398: 395: 394: 391: 390: 247: 246: 79:Assume good faith 56: 27: 26: 3344: 3285: 3284: 3262: 3252: 3246: 3245: 3226: 3086: 3082: 3067: 3059: 3044: 3029: 3023: 3015: 3011: 3007: 2934: 2932: 2931: 2926: 2908: 2905: 2904: 2898: 2860: 2858: 2857: 2852: 2838: 2837: 2832: 2820: 2815: 2807: 2799: 2794: 2629: 2627: 2626: 2621: 2619: 2601: 2593: 2578: 2554: 2517: 2515: 2514: 2509: 2476: 2474: 2473: 2468: 2450: 2448: 2447: 2442: 2440: 2403: 2388: 2376: 2371:is coprime with 2370: 2365:. Particularly, 2364: 2362: 2360: 2359: 2348: 2345: 2327: 2269: 2267: 2266: 2261: 2259: 2252: 2211: 2173: 2125: 1964:and subtraction 1890: 1887: 1884: 1881: 1878: 1875: 1872: 1869: 1864: 1861: 1858: 1855: 1852: 1849: 1846: 1843: 1840: 1837: 1834: 1831: 1828: 1825: 1822: 1819: 1816: 1813: 1810: 1807: 1804: 1801: 1798: 1795: 1792: 1789: 1786: 1783: 1780: 1777: 1774: 1771: 1768: 1765: 1762: 1759: 1756: 1753: 1750: 1747: 1744: 1741: 1738: 1735: 1732: 1729: 1726: 1723: 1720: 1717: 1714: 1711: 1708: 1705: 1702: 1699: 1696: 1693: 1690: 1687: 1684: 1680: 1677: 1674: 1671: 1668: 1665: 1662: 1659: 1656: 1653: 1649: 1646: 1643: 1640: 1637: 1634: 1631: 1628: 1625: 1622: 1619: 1616: 1613: 1610: 1607: 1604: 1601: 1598: 1595: 1592: 1589: 1551: 1548: 1545: 1542: 1539: 1536: 1533: 1530: 1527: 1524: 1521: 1518: 1515: 1512: 1509: 1506: 1503: 1500: 1497: 1494: 1491: 1488: 1485: 1482: 1479: 1476: 1473: 1470: 1467: 1464: 1461: 1458: 1453: 1450: 1447: 1444: 1441: 1438: 1435: 1432: 1429: 1426: 1423: 1420: 1417: 1414: 1411: 1408: 1405: 1402: 1399: 1396: 1393: 1390: 1387: 1384: 1381: 1378: 1375: 1372: 1369: 1366: 1363: 1360: 1357: 1354: 1351: 1348: 1345: 1342: 1339: 1336: 1333: 1330: 1327: 1324: 1321: 1308: 1305: 1302: 1299: 1296: 1293: 1290: 1287: 1284: 1281: 1278: 1275: 1272: 1269: 1266: 1263: 1260: 1257: 1254: 1251: 1248: 1245: 1242: 1239: 1236: 1233: 1230: 1227: 1224: 1221: 1218: 1215: 1212: 1209: 1206: 1203: 1200: 1197: 1194: 1191: 1188: 1185: 1182: 1179: 1176: 1173: 1170: 1167: 1164: 1161: 1158: 1155: 1152: 1149: 1146: 1143: 1140: 1137: 1134: 1131: 1128: 1125: 1122: 1119: 1116: 1113: 1110: 1107: 1104: 1101: 1098: 1095: 1092: 1089: 1086: 1083: 1080: 1077: 1073: 1070: 1067: 1064: 1061: 1058: 1055: 1052: 1049: 1046: 1043: 1040: 1037: 1034: 1031: 1028: 1025: 1022: 1019: 1016: 1013: 1010: 1007: 1004: 1001: 998: 995: 992: 989: 986: 983: 980: 977: 974: 971: 968: 958: 955: 952: 949: 946: 943: 940: 937: 934: 931: 928: 925: 922: 919: 916: 913: 910: 907: 904: 901: 898: 895: 892: 889: 886: 883: 880: 877: 874: 871: 868: 865: 862: 859: 856: 853: 850: 847: 844: 841: 838: 835: 832: 829: 826: 823: 820: 817: 814: 811: 808: 805: 802: 799: 796: 793: 790: 787: 784: 781: 778: 775: 772: 769: 766: 763: 760: 757: 754: 751: 747: 744: 741: 738: 735: 732: 729: 726: 723: 720: 716: 713: 710: 707: 704: 701: 698: 695: 692: 688: 685: 682: 679: 676: 673: 670: 667: 664: 661: 658: 655: 652: 649: 646: 643: 640: 637: 634: 631: 628: 476: 460: 442:modulo operation 411: 403: 367: 366: 363: 360: 357: 336: 331: 330: 320: 313: 312: 307: 299: 292: 275: 266: 265: 258: 257: 249: 241: 227: 226: 217: 192: 191: 177: 108:Article policies 29: 16: 3352: 3351: 3347: 3346: 3345: 3343: 3342: 3341: 3292: 3291: 3290: 3289: 3288: 3274: 3254: 3253: 3249: 3228: 3227: 3223: 3084: 3077: 3061: 3046: 3031: 3025: 3021: 3016:are said to be 3013: 3009: 3008:, two integers 3005: 2993: 2911: 2910: 2882: 2881: 2861: 2827: 2785: 2784: 2781:" telling that 2763: 2689: 2667: 2520: 2519: 2479: 2478: 2453: 2452: 2409: 2408: 2390: 2378: 2372: 2366: 2349: 2346: 2341: 2340: 2338: 2329: 2314: 2311: 2257: 2256: 2222: 2213: 2212: 2181: 2175: 2174: 2146: 2131: 2130: 2119: 2117: 2072: 2070:"Military" time 1940: 1913: 1892: 1891: 1888: 1885: 1882: 1879: 1876: 1873: 1870: 1865: 1862: 1859: 1856: 1853: 1850: 1847: 1844: 1841: 1838: 1835: 1832: 1829: 1826: 1823: 1820: 1817: 1814: 1811: 1808: 1805: 1802: 1799: 1796: 1793: 1790: 1787: 1784: 1781: 1778: 1775: 1772: 1769: 1766: 1763: 1760: 1757: 1754: 1751: 1748: 1745: 1742: 1739: 1736: 1733: 1730: 1727: 1724: 1721: 1718: 1715: 1712: 1709: 1706: 1703: 1700: 1697: 1694: 1691: 1688: 1685: 1681: 1678: 1675: 1672: 1669: 1666: 1663: 1660: 1657: 1654: 1650: 1647: 1644: 1641: 1638: 1635: 1632: 1629: 1626: 1623: 1620: 1617: 1614: 1611: 1608: 1605: 1602: 1599: 1596: 1593: 1590: 1587: 1553: 1552: 1549: 1546: 1543: 1540: 1537: 1534: 1531: 1528: 1525: 1522: 1519: 1516: 1513: 1510: 1507: 1504: 1501: 1498: 1495: 1492: 1489: 1486: 1483: 1480: 1477: 1474: 1471: 1468: 1465: 1462: 1459: 1454: 1451: 1448: 1445: 1442: 1439: 1436: 1433: 1430: 1427: 1424: 1421: 1418: 1415: 1412: 1409: 1406: 1403: 1400: 1397: 1394: 1391: 1388: 1385: 1382: 1379: 1376: 1373: 1370: 1367: 1364: 1361: 1358: 1355: 1352: 1349: 1346: 1343: 1340: 1337: 1334: 1331: 1328: 1325: 1322: 1319: 1310: 1309: 1306: 1303: 1300: 1297: 1294: 1291: 1288: 1285: 1282: 1279: 1276: 1273: 1270: 1267: 1264: 1261: 1258: 1255: 1252: 1249: 1246: 1243: 1240: 1237: 1234: 1231: 1228: 1225: 1222: 1219: 1216: 1213: 1210: 1207: 1204: 1201: 1198: 1195: 1192: 1189: 1186: 1183: 1180: 1177: 1174: 1171: 1168: 1165: 1162: 1159: 1156: 1153: 1150: 1147: 1144: 1141: 1138: 1135: 1132: 1129: 1126: 1123: 1120: 1117: 1114: 1111: 1108: 1105: 1102: 1099: 1096: 1093: 1090: 1087: 1084: 1081: 1078: 1074: 1071: 1068: 1065: 1062: 1059: 1056: 1053: 1050: 1047: 1044: 1041: 1038: 1035: 1032: 1029: 1026: 1023: 1020: 1017: 1014: 1011: 1008: 1005: 1002: 999: 996: 993: 990: 987: 984: 981: 978: 975: 972: 969: 966: 960: 959: 956: 953: 950: 947: 944: 941: 938: 935: 932: 929: 926: 923: 920: 917: 914: 911: 908: 905: 902: 899: 896: 893: 890: 887: 884: 881: 878: 875: 872: 869: 866: 863: 860: 857: 854: 851: 848: 845: 842: 839: 836: 833: 830: 827: 824: 821: 818: 815: 812: 809: 806: 803: 800: 797: 794: 791: 788: 785: 782: 779: 776: 773: 770: 767: 764: 761: 758: 755: 752: 748: 745: 742: 739: 736: 733: 730: 727: 724: 721: 717: 714: 711: 708: 705: 702: 699: 696: 693: 689: 686: 683: 680: 677: 674: 671: 668: 665: 662: 659: 656: 653: 650: 647: 644: 641: 638: 635: 632: 629: 626: 613: 486: 472: 461: 455: 416: 364: 361: 358: 355: 354: 332: 325: 305: 276:on Knowledge's 273: 263: 243: 242: 237: 214: 134: 129: 128: 127: 104: 74: 12: 11: 5: 3350: 3348: 3340: 3339: 3334: 3329: 3324: 3319: 3314: 3309: 3304: 3294: 3293: 3287: 3286: 3272: 3247: 3220: 3219: 3215: 3214: 3213: 3212: 3211: 3210: 3209: 3208: 3207: 3206: 3205: 3204: 3203: 3107: 3106: 3088: 3074: 2997: 2979: 2978: 2977: 2924: 2921: 2918: 2896: 2893: 2890: 2850: 2847: 2844: 2841: 2836: 2831: 2826: 2823: 2819: 2814: 2810: 2806: 2802: 2798: 2793: 2783: 2762: 2756: 2755: 2754: 2753: 2752: 2751: 2750: 2740:67.170.223.108 2688: 2685: 2666: 2660: 2659: 2658: 2618: 2615: 2610: 2607: 2599: 2596: 2591: 2588: 2583: 2577: 2574: 2569: 2566: 2560: 2557: 2553: 2550: 2545: 2542: 2536: 2533: 2530: 2527: 2507: 2504: 2501: 2498: 2495: 2492: 2489: 2486: 2466: 2463: 2460: 2439: 2436: 2431: 2428: 2422: 2419: 2416: 2310: 2307: 2306: 2305: 2271: 2270: 2255: 2251: 2248: 2243: 2240: 2234: 2231: 2228: 2225: 2223: 2221: 2218: 2215: 2214: 2210: 2207: 2202: 2199: 2193: 2190: 2187: 2184: 2182: 2180: 2177: 2176: 2172: 2169: 2164: 2161: 2155: 2152: 2149: 2147: 2145: 2142: 2139: 2138: 2116: 2113: 2112: 2111: 2071: 2068: 2054: 2052: 2026: 2001: 1955: 1939: 1936: 1902:69.147.212.194 1893: 1586: 1318: 965: 625: 612: 609: 608: 607: 606: 605: 604: 603: 576: 575: 574: 573: 485: 482: 479: 478: 466: 463: 462: 457: 453: 451: 448: 447: 446: 445: 432: 431: 418: 417: 412: 406: 397: 396: 393: 392: 389: 388: 377: 371: 370: 368: 351:the discussion 338: 337: 321: 309: 308: 300: 288: 287: 281: 259: 245: 244: 235: 233: 232: 229: 228: 194: 193: 131: 130: 126: 125: 120: 115: 106: 105: 103: 102: 95: 90: 81: 75: 73: 72: 61: 52: 51: 48: 47: 41: 25: 24: 19: 13: 10: 9: 6: 4: 3: 2: 3349: 3338: 3335: 3333: 3330: 3328: 3325: 3323: 3320: 3318: 3315: 3313: 3310: 3308: 3305: 3303: 3300: 3299: 3297: 3282: 3279: 3275: 3273:9780132683005 3270: 3266: 3265:Prentice Hall 3261: 3260: 3251: 3248: 3243: 3240: 3236: 3232: 3225: 3222: 3218: 3202: 3198: 3194: 3190: 3189:User:D.Lazard 3186: 3185: 3184: 3180: 3176: 3171: 3168: 3167: 3166: 3162: 3158: 3154: 3150: 3149:User:D.Lazard 3147: 3146: 3145: 3141: 3137: 3133: 3129: 3128: 3127: 3123: 3119: 3115: 3111: 3110: 3109: 3108: 3105: 3101: 3097: 3093: 3089: 3080: 3075: 3073: 3071: 3064: 3057: 3053: 3049: 3042: 3038: 3034: 3028: 3019: 3004: 2998: 2995: 2994: 2991: 2987: 2983: 2975: 2971: 2967: 2963: 2959: 2955: 2951: 2947: 2942: 2938: 2922: 2919: 2916: 2894: 2891: 2888: 2879: 2878: 2877: 2876: 2872: 2868: 2864: 2845: 2839: 2834: 2824: 2821: 2817: 2808: 2800: 2796: 2782: 2780: 2775: 2772: 2769: 2767: 2766:user:D.Lazard 2760: 2759:user:D.Lazard 2757: 2749: 2745: 2741: 2737: 2736: 2735: 2731: 2727: 2723: 2722: 2721: 2717: 2713: 2709: 2705: 2704: 2703: 2702: 2698: 2694: 2686: 2684: 2683: 2680: 2676: 2672: 2665: 2661: 2657: 2653: 2649: 2644: 2643: 2642: 2641: 2637: 2633: 2613: 2608: 2597: 2594: 2589: 2586: 2572: 2567: 2558: 2555: 2548: 2543: 2534: 2531: 2528: 2525: 2505: 2502: 2496: 2493: 2490: 2464: 2461: 2458: 2434: 2429: 2420: 2417: 2414: 2405: 2401: 2397: 2393: 2386: 2382: 2375: 2369: 2357: 2353: 2344: 2336: 2332: 2325: 2321: 2317: 2308: 2304: 2300: 2296: 2292: 2288: 2287: 2286: 2285: 2281: 2277: 2253: 2246: 2241: 2232: 2229: 2226: 2224: 2219: 2216: 2205: 2200: 2191: 2188: 2185: 2183: 2178: 2167: 2162: 2153: 2150: 2148: 2143: 2140: 2129: 2128: 2127: 2123: 2114: 2110: 2106: 2102: 2098: 2094: 2090: 2089: 2088: 2087: 2083: 2079: 2075: 2069: 2067: 2066: 2062: 2058: 2050: 2046: 2042: 2038: 2034: 2030: 2024: 2020: 2016: 2013: 2009: 2005: 1999: 1995: 1991: 1987: 1983: 1979: 1975: 1971: 1967: 1963: 1959: 1953: 1949: 1945: 1937: 1935: 1933: 1929: 1925: 1921: 1911: 1907: 1903: 1899: 1894:- Anonymous 1584: 1581: 1578: 1576: 1572: 1568: 1564: 1560: 1316: 1313: 963: 623: 620: 617: 610: 601: 597: 593: 589: 582: 581: 580: 579: 578: 577: 572: 568: 564: 560: 556: 552: 547: 546: 545: 541: 537: 533: 530:constitute a 529: 525: 521: 517: 513: 509: 508: 507: 505: 501: 497: 493: 483: 475: 470: 465: 464: 450: 449: 443: 439: 436: 435: 434: 433: 430: 426: 423: 420: 419: 415: 410: 405: 404: 401: 386: 382: 376: 373: 372: 369: 352: 348: 344: 343: 335: 329: 324: 322: 319: 315: 314: 310: 304: 301: 298: 294: 289: 285: 279: 271: 270: 260: 256: 251: 250: 231: 230: 225: 221: 213: 209: 205: 202: 200: 196: 195: 190: 186: 183: 180: 176: 172: 168: 165: 162: 159: 156: 153: 150: 147: 144: 140: 137: 136:Find sources: 133: 132: 124: 123:Verifiability 121: 119: 116: 114: 111: 110: 109: 100: 96: 94: 91: 89: 85: 82: 80: 77: 76: 70: 66: 65:Learn to edit 62: 59: 54: 53: 50: 49: 45: 39: 35: 31: 30: 23: 20: 18: 17: 3258: 3250: 3230: 3224: 3216: 3152: 3131: 3113: 3078: 3069: 3062: 3055: 3051: 3047: 3040: 3036: 3032: 3026: 3017: 2985: 2973: 2969: 2961: 2957: 2953: 2949: 2945: 2937:§ Congruence 2865: 2862: 2778: 2776: 2773: 2770: 2764: 2690: 2668: 2406: 2399: 2395: 2391: 2384: 2380: 2373: 2367: 2355: 2351: 2342: 2334: 2330: 2323: 2319: 2315: 2312: 2272: 2118: 2076: 2073: 2057:Jorge Stolfi 2048: 2044: 2040: 2036: 2032: 2028: 2022: 2018: 2014: 2011: 2007: 2003: 1997: 1993: 1992:by a number 1989: 1985: 1981: 1977: 1973: 1969: 1965: 1961: 1957: 1951: 1947: 1943: 1941: 1924:94.73.55.201 1918:— Preceding 1914: 1896:— Preceding 1582: 1579: 1557:— Preceding 1554: 1314: 1311: 961: 621: 618: 614: 592:49.219.177.6 586:— Preceding 527: 523: 522:and nonzero 519: 515: 511: 490:— Preceding 487: 468: 413: 400: 381:Top-priority 380: 340: 306:Top‑priority 284:WikiProjects 267: 219: 197: 184: 178: 170: 163: 157: 151: 145: 135: 107: 32:This is the 2646:important.— 2407:Example 1. 1563:Jp.basuyaux 356:Mathematics 347:mathematics 303:Mathematics 161:free images 44:not a forum 3296:Categories 3217:References 3193:Nomen4Omen 3157:Nomen4Omen 3030:such that 2960:)), where 2907:1}" /: --> 2867:Nomen4Omen 2708:triple bar 3267:. p. 87. 3237:. p. 76. 3118:Anita5192 3092:zero ring 3018:congruent 2712:Anita5192 2648:Anita5192 2632:Karho.Yau 2389:, and so 2295:Anita5192 2276:Anita5192 2122:Vasily802 2097:Alpha3031 1555:Thanks. 1286:<<= 936:<<= 536:Anita5192 484:Division? 438:Archive 1 272:is rated 101:if needed 84:Be polite 34:talk page 3281:71081766 3242:77171950 3175:D.Lazard 3136:D.Lazard 3096:D.Lazard 3001:Given a 2982:D.Lazard 2884:1}": --> 2274:screen.— 1984:(modulo 1972:(modulo 1920:unsigned 1898:unsigned 1627:uint64_t 1615:uint64_t 1606:uint64_t 1597:uint64_t 1591:mul_mod2 1588:uint64_t 1571:contribs 1559:unsigned 1205:<< 1184:<< 1036:<< 864:<< 843:<< 666:uint64_t 654:uint64_t 645:uint64_t 636:uint64_t 627:uint64_t 588:unsigned 563:D.Lazard 492:unsigned 469:365 days 414:Archives 220:365 days 199:Archives 69:get help 42:This is 40:article. 3070:modulus 3020:modulo 2518:and so 2377:, then 2328:, then 630:mul_mod 619:But... 383:on the 274:C-class 167:WP refs 155:scholar 3153:moduli 3132:moduli 3081:< 2 2093:WP:BRD 1880:return 1541:return 1440:UInt64 1422:UInt64 1380:UInt64 1365:UInt64 1353:UInt32 1344:UInt64 1335:UInt64 1329:ModPow 1326:UInt64 1323:static 1320:public 1298:return 1063:UInt64 1048:UInt64 1027:UInt64 1015:UInt64 1000:UInt64 991:UInt64 982:UInt64 976:ModPow 973:UInt64 970:static 967:public 948:return 280:scale. 139:Google 3065:: --> 3060:. If 3054:(mod 3039:(mod 2952:(mod 2941:WP:OR 2909:into 2892:: --> 2398:(mod 2387:) = 1 2337:(mod 2322:(mod 2043:with 1867:: --> 1866:: --> 1728:& 1704:while 1682:: --> 1651:: --> 1456:: --> 1455:: --> 1434:& 1401:while 1262:: --> 1223:& 1166:: --> 1076:: --> 1075:: --> 1012:const 912:: --> 882:& 825:: --> 749:: --> 718:: --> 691:: --> 690:: --> 532:field 422:Index 261:This 204:Index 182:JSTOR 143:books 97:Seek 3278:LCCN 3269:ISBN 3239:LCCN 3197:talk 3179:talk 3161:talk 3140:talk 3122:talk 3100:talk 3012:and 2976:= 1. 2871:talk 2744:talk 2730:talk 2716:talk 2697:talk 2679:WT79 2652:talk 2636:talk 2451:and 2379:gcd( 2350:gcd( 2299:talk 2280:talk 2082:talk 2061:talk 1948:real 1928:talk 1906:talk 1842:else 1812:< 1779:else 1749:< 1567:talk 1226:Mask 1133:< 1018:Mask 792:< 596:talk 567:talk 540:talk 534:. — 500:talk 175:FENS 149:news 86:and 2964:is 2609:mod 2568:mod 2544:mod 2485:gcd 2430:mod 2320:k b 2316:k a 2242:mod 2201:mod 2163:mod 2025:⊆ . 1996:in 1946:of 1883:sum 1782:sum 1767:sum 1746:sum 1630:sum 1472:Bit 1425:Bit 1169:MP2 1115:int 1109:for 1066:MP2 828:mp2 771:for 700:int 681:mp2 553:or 375:Top 189:TWL 3298:: 3276:. 3199:) 3181:) 3163:) 3142:) 3124:) 3102:) 3050:≡ 3035:≡ 2992:) 2984:: 2948:≡ 2920:≥ 2901:1} 2873:) 2746:) 2732:) 2718:) 2710:.— 2699:) 2654:) 2638:) 2630:-- 2614:13 2590:≡ 2582:⟺ 2573:13 2556:≡ 2549:13 2535:14 2532:≡ 2497:13 2477:, 2435:13 2418:≡ 2404:. 2394:≡ 2383:, 2333:≡ 2318:≡ 2301:) 2293:.— 2282:) 2230:− 2227:≡ 2217:− 2189:− 2186:≡ 2151:≡ 2141:− 2107:) 2103:• 2095:. 2084:) 2063:) 2055:-- 2035:= 2017:: 2010:+ 1982:kx 1930:) 1908:) 1848:+= 1833:+= 1803:if 1785:+= 1770:+= 1740:if 1719:if 1695:%= 1673:if 1664:%= 1642:if 1573:) 1569:• 1529:%= 1517:*= 1502:%= 1490:*= 1475:== 1466:if 1410:!= 1274:-= 1253:if 1244:+= 1232:!= 1217:(( 1214:if 1145:++ 1136:64 1100:%= 1088:%= 1039:63 924:-= 903:if 894:+= 873:if 801:++ 795:64 762:%= 740:if 731:%= 709:if 598:) 569:) 542:) 502:) 427:, 218:: 210:, 206:, 169:) 67:; 3283:. 3244:. 3195:( 3177:( 3159:( 3138:( 3120:( 3114:n 3098:( 3085:n 3079:n 3072:. 3066:1 3063:n 3058:) 3056:n 3052:b 3048:a 3043:) 3041:n 3037:b 3033:a 3027:k 3022:n 3014:b 3010:a 3006:n 2986:φ 2974:n 2970:n 2962:φ 2958:n 2956:( 2954:φ 2950:d 2946:c 2923:1 2917:n 2895:1 2889:n 2869:( 2849:} 2846:0 2843:{ 2840:= 2835:1 2830:Z 2825:= 2822:1 2818:/ 2813:Z 2809:= 2805:Z 2801:1 2797:/ 2792:Z 2779:n 2742:( 2728:( 2714:( 2695:( 2650:( 2634:( 2617:) 2606:( 2598:2 2595:1 2587:x 2576:) 2565:( 2559:1 2552:) 2541:( 2529:x 2526:2 2506:1 2503:= 2500:) 2494:, 2491:2 2488:( 2465:2 2462:= 2459:k 2438:) 2427:( 2421:7 2415:x 2402:) 2400:n 2396:b 2392:a 2385:n 2381:k 2374:n 2368:k 2363:) 2361:⁠ 2358:) 2356:n 2354:, 2352:k 2347:/ 2343:n 2339:⁠ 2335:b 2331:a 2326:) 2324:n 2297:( 2278:( 2254:. 2250:) 2247:5 2239:( 2233:8 2220:3 2209:) 2206:5 2198:( 2192:3 2179:2 2171:) 2168:5 2160:( 2154:7 2144:8 2124:: 2120:@ 2105:c 2101:t 2099:( 2080:( 2059:( 2049:M 2045:M 2041:S 2039:× 2037:S 2033:T 2029:M 2023:k 2019:i 2015:M 2012:i 2008:x 2004:S 2000:. 1998:S 1994:x 1990:k 1986:M 1978:S 1974:M 1970:y 1968:− 1966:x 1962:y 1960:+ 1958:x 1954:. 1952:M 1944:S 1926:( 1904:( 1889:} 1886:; 1877:} 1874:; 1871:1 1868:= 1863:b 1860:; 1857:m 1854:- 1851:a 1845:a 1839:; 1836:a 1830:a 1824:) 1821:a 1818:- 1815:m 1809:a 1806:( 1800:} 1797:; 1794:m 1791:- 1788:a 1776:; 1773:a 1761:) 1758:a 1755:- 1752:m 1743:( 1737:{ 1734:) 1731:1 1725:b 1722:( 1716:{ 1713:) 1710:b 1707:( 1701:; 1698:m 1692:b 1689:) 1686:m 1683:= 1679:b 1676:( 1670:; 1667:m 1661:a 1658:) 1655:m 1652:= 1648:a 1645:( 1639:; 1636:0 1633:= 1624:{ 1621:) 1618:m 1612:, 1609:b 1603:, 1600:a 1594:( 1565:( 1550:} 1547:; 1544:R 1538:} 1535:; 1532:M 1526:C 1523:; 1520:C 1514:C 1511:} 1508:; 1505:M 1499:R 1496:; 1493:C 1487:R 1484:{ 1481:) 1478:1 1469:( 1463:; 1460:1 1457:= 1452:B 1449:; 1446:1 1443:) 1437:( 1431:B 1428:= 1419:{ 1416:) 1413:0 1407:B 1404:( 1398:; 1395:M 1392:% 1389:A 1386:= 1383:C 1377:; 1374:1 1371:= 1368:R 1362:{ 1359:) 1356:M 1350:, 1347:B 1341:, 1338:A 1332:( 1307:} 1304:; 1301:D 1295:} 1292:; 1289:1 1283:A 1280:; 1277:M 1271:D 1268:) 1265:M 1259:D 1256:( 1250:; 1247:B 1241:D 1238:) 1235:0 1229:) 1220:A 1211:; 1208:1 1202:D 1199:: 1196:M 1193:- 1190:) 1187:1 1181:D 1178:( 1175:? 1172:) 1163:D 1160:( 1157:= 1154:D 1151:{ 1148:) 1142:i 1139:; 1130:i 1127:; 1124:0 1121:= 1118:i 1112:( 1106:; 1103:M 1097:B 1094:; 1091:M 1085:A 1082:; 1079:1 1072:M 1069:= 1060:; 1057:0 1054:= 1051:D 1042:; 1033:1 1030:) 1024:( 1021:= 1009:{ 1006:) 1003:M 997:, 994:B 988:, 985:A 979:( 957:} 954:; 951:d 945:} 942:; 939:1 933:a 930:; 927:m 921:d 918:) 915:m 909:d 906:( 900:; 897:b 891:d 888:) 879:a 876:( 870:; 867:1 861:d 858:: 855:m 852:- 849:) 846:1 840:d 837:( 834:? 831:) 822:d 819:( 816:= 813:d 810:{ 807:) 804:i 798:; 789:i 786:; 783:0 780:= 777:i 774:( 768:; 765:m 759:b 756:) 753:m 750:= 746:b 743:( 737:; 734:m 728:a 725:) 722:m 719:= 715:a 712:( 706:; 703:i 697:; 694:1 687:m 684:= 678:, 675:0 672:= 669:d 663:{ 660:) 657:m 651:, 648:b 642:, 639:a 633:( 594:( 565:( 538:( 528:n 524:b 520:a 516:b 512:a 498:( 429:2 425:1 387:. 286:: 212:2 208:1 201:: 185:· 179:· 171:· 164:· 158:· 152:· 146:· 141:( 71:.

Index

Skip to table of contents
talk page
Modular arithmetic
not a forum
Click here to start a new topic.
Learn to edit
get help
Assume good faith
Be polite
avoid personal attacks
Be welcoming to newcomers
dispute resolution
Neutral point of view
No original research
Verifiability
Google
books
news
scholar
free images
WP refs
FENS
JSTOR
TWL
Archives
Index
1
2

Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.