84:
74:
53:
809:
multiset) of numbers (could be other things as well though), which sequence (set, etc.) happens to be empty. First, there is no such thing as multiplying no numbers, or even one or three numbers; multiplication takes two arguments (the distinction that should be made is between a multiplication and a product; possibly "multiplying together" can be used but it makes no good sense for 0 arguments). Second, and empty product is not the result of anything, it is something like "0!" whose
165:
22:
630:. Although I risk repeating myself too often: of course many authors do define 0^0 to be 1; especially when 0^0 represents the empty product, this definition is very common. But many other authors leave 0^0 undefined, especially in complex analysis. Regardless of our personal feelings on the matter, we can still write a description of the subtleties that arise in the literature. â Carl
369:= 0 then the first term is 0/0!. But why should it matter what calculus textbooks say about it? Calculus texts are efforts at pedagogical improvements in ways to present standard material to students who don't want to become experts on it, not authoritative statements on issues on which there's no standard pronouncement.
1506:
and always unambiguously defined, I hope you do not suggest to write an article for this case!). This is not much different than the notion of continuous extension (extension by continuity): the property of continuity is the hypothesis, and then one seeks to extend the function at one point by taking
788:
Someone had changed it so that the third desideratum said that when clear is pressed and then a number is entered, that number is displayed. In some ways that makes this closer to a logically rigorous argument, and in this context I think that in itself may be a mistake. But also it doesn't seem so
1535:
I think that all mathematical notation is convention. This convention is one that it would be a tremendous pain to do without, but it is still a convention. Incidentally, starting with multiplication as a binary operation, the multiplication of just one thing also needs to be defined. The recurrence
813:
is 1, but it is not identical to 1 (or otherwise conversely "1 is an empty product", which seems a bad formulation). In short, one should make distinction between expressions and there values, and an empty product is an expression. But there are many more points that are just not carefully stated
1456:
I agree it's quite natural. That's not the point. If you start by defining iterated products, there is no value for the product of no values, or even of one value. You note that there is a relationship giving the product of iterated products of two or more values each, and you can see that it
808:
I think this article is badly in need for rewriting to make more mathematical (and common language) sense. Take the opening phrase "an empty product, or nullary product, is the result of multiplying no numbers". No it is not, it is an expression asking for the product of an sequence (or set or
533:
Does anyone really regard this as a convention rather than as a fact? I was surprised to find respectable mathematicians saying that the fact that the empty product is 1 is merely a convention, rather than a fact, but even then I didn't think someone would say that the fact stated above is a
388:
the real-to-integer, iterated-product version of exponentiation, not the real-to-real or complex-to-complex version, which as I say is intensionally quite distinct. But the point for WP purposes is that if there "is no standard pronouncement" then it's inappropriate for us to create one.
1654:
For 1 element, there are 0 binary products. For 2 elements, there is 1 binary product. For 3 elements, there are 2 binary products. For 4 elements, there are 3 binary products. And so on. This is as simple as that. No need for an extension. And see the formal definition of an
257:? You're right that it makes little difference whether an indeterminate form is "defined" or not. However, I just made a quick survey of three calculus texts from my shelf, and none of them defines 0^0 at all. Do you know of any calculus text that defines 0^0? â Carl
1673:
You said it yourself: "For 1 element, there are 0 binary products." Just so. You can't multiply fewer than two things, exactly as I said. The fact that someone has made a formal definition does not change that. You're really off-base here, Vincent. This
1025:
Strictly speaking, there is no "deduction" possible here. That's just wrong. If you don't define it, it's not defined, period; it is not possible to "deduce" what the value is, in any way whatsoever. And no, the choice is not "unique". It's the unique
1010:
That's more than a best choice, that's the unique choice. The word "convention" just means that's from an agreement among several possibilities, not by deduction. So, if the word "convention" is used, let's say at least that the choice is unique.
1065:
Of course you lose some desirable properties, but you can do it. Unless those desired properties are taken to be part of the notion of products, which is an external specification, then there is no proof that the value 17 is wrong.
626:
That's reasonable enough; but there are many authors who do consider it only a convention. I located a nice quote from one of them for the exponentiation article: "The choice whether to define 0^0 is based on convenience, not on
762:
that can only multiply. It has an "ENTER" key and a "CLEAR" key. One would wish that, for example, if one presses "CLEAR", 7 "ENTER", 3 "ENTER", 4 "ENTER", then the display reads 84, because 7Â ĂÂ 3Â ĂÂ 4Â =Â 84. More precisely, we
1437:
This is always how extensions have been made: one first chooses the desirable property, and one deduces which value will satisfy it. And this is the criterion chosen in the article (quite natural, since the iterated product is
991:
But it's still a convention. What if you're in a structure with an associative multiplication, but no multiplicative identity? You can still define repeated products, but now there's nothing to assign to the empty product.
1215:
1604:
things to multiply together. Anything else is an extension. It's a very natural extension once you think of it, but the word "convention" is not out of place â and no, you can't "prove" it's the right one.
360:
781:
Then the starting value after pressing "CLEAR" has to be 1. After one has pressed "clear" and done nothing else, the number of factors one has entered is zero. Therefore the product of zero numbers is
1044:
By deduction, I meant that there is a proof that if a value exists, then the choice is unique. The value is part of the definition of the multiplication binary operation. There is nothing external.
140:
1568:
Yes, all mathematical notation and definitions are conventions. Then one may wonder why saying the word "convention" in some cases but not everywhere. This is misleading. And note that
1381:
1315:
1714:
definition. The obvious notion really does start with 2. You can't multiply fewer than 2 things, period, but you can multiply 3 things, given that multiplication is associative.
995:
If you don't specify what the empty product means (that is, give a convention), then it simply has no meaning, notwithstanding there's a best choice for the meaning to give it. --
984:
I can understand why some might not want to call the value 1 for the empty product a "convention". When you have a unique 2-sided multiplicative identity, it's the only
1735:
applied here to multiplication; this extension covers 3 inputs and more, but also 1 input. I suggest you do some effort reading that article instead of wasting my time.
1248:
1111:
1500:
731:
704:
677:
494:
467:
1407:
814:(and a lot non encyclopedic wording as well). I agree it takes effort to be clear and precise at the same time, but it is worth the effort. To get an idea look at
926:
922:
908:
1692:
I have never said that I wanted to multiply fewer than two things. The definition of the iterated product does not imply that. If you are going this way, as
1633:
You're missing the point. The obvious notion of an iterated product is, you start by multiplying two things, then you multiply more. You can't multiply
1826:
130:
1062:. You could start with the definition of products as iterated multiplication, and then go ahead and specify that the empty product takes the value 17.
1821:
833:
I cleaned it up a bit. There was too much repetition, and I deleted some things that were copied from other wiki-pages that were somewhat off topic.
106:
1423:
That relation is a desirable property, but is not the only way iterated products could be defined. Therefore it is an external criterion. --
1696:
say, all mathematical notation is convention. So, whether one starts at 1 element, 2 elements, 3 elements or more, this is a convention.
1457:
would make sense to extend the definition in such a way that the relationship also extends. This is all very natural, but it isn't a
1116:
97:
58:
289:
1750:
1717:
So sure, they're both conventions, but the one for empty product is more conventional than the one for 2 or more elements. --
1740:
1701:
1664:
1624:
1591:
1512:
1447:
1414:
1255:
1049:
1016:
969:
186:
181:
33:
219:
1678:
a convention, not the obvious notion per se, notwithstanding (and I agree) that it has a certain naturality to it. --
1710:
I think your "the" in "the" definition of iterated product is a bit -- overstated. It isn't "the" definition, it's
823:
1732:
1656:
1503:
925:
to delete these "External links modified" talk page sections if they want to de-clutter talk pages, but see the
874:
198:
1731:
No, one cannot multiply 3 things. The multiplication is defined on 2 inputs. Then you have an extension called
1579:, trying to use the recurrence relation to deduce and define its value would give several solutions). Only for
21:
1113:, where 1 denotes the multiplicative identity (which has been assumed to exist in the first paragraph). Then
1736:
1697:
1660:
1620:
1587:
1508:
1443:
1410:
1251:
1045:
1012:
960:
866:
794:
609:
539:
413:
374:
243:
238:
it is an indeterminate form. The two statements are both true. Why would anyone have a problem with that?
1333:
1267:
1761:
944:
If you have discovered URLs which were erroneously considered dead by the bot, you can report them with
932:
819:
39:
865:. If you have any questions, or need the bot to ignore the links, or the page altogether, please visit
83:
899:
1722:
1683:
1645:
1610:
1526:
1502:
is obtained from this hypothesis (the case of one value is completely part of the definition of an
1466:
1428:
1322:
1071:
1035:
1000:
734:
576:
497:
432:
394:
105:
on
Knowledge. If you would like to participate, please visit the project page, where you can join
790:
789:
much like a self-evident desideratum since this whole thing is supposed to be about mutliplying.
738:
605:
535:
501:
409:
370:
239:
204:
89:
1442:
with the recurrence relation). I'm not basing my proof on something that is not in the article.
929:
before doing mass systematic removals. This message is updated dynamically through the template
818:, which I think is better. I plan to make changes here soon (but feel free to protest already).
73:
52:
1554:
is extremely useful. So we have adopted it for our own benefit, not because we were forced to.
945:
1507:
the limit (the value comes from the property), and determining the limit constitutes a proof.
1586:, one can use the recurrence relation to unambiguously define its value (when there is one).
1758:
1220:
1083:
469:
then when x tends to 0 the result is 1. So there's no problem with the summation formula of
200:
164:
1540:-ary operation, and it has been found that applying it in reverse order to give meaning to
952:
1559:
1478:
709:
682:
655:
549:
I think that's just badly phrased and should be reworded. I'll go ahead and do it. â Carl
472:
445:
1386:
1718:
1679:
1641:
1606:
1522:
1462:
1424:
1318:
1067:
1031:
996:
911:, "External links modified" talk page sections are no longer generated or monitored by
572:
428:
390:
254:
951:
If you found an error with any archives or the URLs themselves, you can fix them with
774:
When "CLEAR" is pressed and then some numbers are entered, their product is displayed.
1815:
858:
838:
637:
594:
556:
264:
1030:
choice, but the notion of goodness is based on values external to the definition. --
1317:. There is simply no way to "prove" that, without adding an external criterion. --
771:
When a number is displayed and one enters another number, the product is displayed;
1600:
The point is that the obvious idea of repeated products starts with a minimum of
918:
102:
1640:
There is a natural extension, yes. But it's an extension, and a convention. --
571:
is zero", which by some editors is considered a convention rather than a fact.
1693:
1555:
917:. No special action is required regarding these talk page notices, other than
759:
733:
and both x and y tend to 0 that we must be carefull and analyse the situation.
79:
875:
https://web.archive.org/web/20150217225003/http://planetmath.org/emptyproduct
427:, except when talking about the intersection of no subsets of a given set. --
1576:
815:
679:
then it's always 0 as long as x is non-negative and if we are talking about
1749:
Sorry, that article does not help your argument. Are you really going to
1475:
The recurrence relation is the hypothesis. The proof is how the value of
834:
633:
590:
552:
260:
202:
652:
There's no problem and there's no convention as if we are talking about
1753:
over this. This is a convention; it's not a theorem of the axioms of a
1764:
1744:
1726:
1705:
1687:
1668:
1649:
1628:
1614:
1595:
1563:
1530:
1516:
1470:
1451:
1432:
1418:
1383:
is from the recurrence relation stated in the article, which includes
1326:
1259:
1075:
1053:
1039:
1020:
1004:
974:
878:
842:
827:
798:
742:
642:
613:
599:
580:
567:
It is a reminent from: "This justifies the convention that 0 = 1 when
561:
543:
505:
436:
417:
398:
378:
269:
247:
1754:
1210:{\displaystyle P_{0}=P_{0}\cdot 1=P_{0}\cdot a_{1}=P_{1}=a_{1}=1}
1536:
is an extension of multiplication from a binary operation to an
1058:
There is no such proof. Not from the definition of the concept
628:
706:
it's always 1 regardless of what x is. It's only when we have
205:
158:
15:
884:
When you have finished reviewing my changes, please set the
384:
The exponentiation in the first term on the right-hand side
355:{\displaystyle e^{x}=\sum _{n=0}^{\infty }{x^{n} \over n!},}
869:
for additional information. I made the following changes:
604:
I certainly don't agree that 0Â =Â 1 is only a convention.
862:
1080:
Here's the proof of the uniqueness: Consider the case
1481:
1389:
1336:
1270:
1223:
1119:
1086:
712:
685:
658:
475:
448:
292:
768:
A number is displayed just after "CLEAR" is pressed;
587:
That one is a convention. But 0^2 = 0 isn't. â Carl
101:, a collaborative effort to improve the coverage of
1575:is part of the core definition (otherwise, in some
921:using the archive tool instructions below. Editors
1494:
1401:
1375:
1309:
1242:
1209:
1105:
725:
698:
671:
488:
461:
423:At this writing the article does not use the word
354:
253:Which article are you talking about, this one or
907:This message was posted before February 2018.
752:I've altered this section to read as follows:
521:This justifies the convention that 0 = 0 when
213:This page has archives. Sections older than
8:
442:If we are talking about fixed exponent 0 in
19:
857:I have just modified one external link on
47:
1486:
1480:
1388:
1367:
1354:
1341:
1335:
1301:
1288:
1275:
1269:
1228:
1222:
1195:
1182:
1169:
1156:
1137:
1124:
1118:
1091:
1085:
717:
711:
690:
684:
663:
657:
480:
474:
453:
447:
333:
327:
321:
310:
297:
291:
1619:No, the definition does not say "two".
49:
1757:. Trovatore isn't wasting your time.--
1659:: this starts at 1 element, not at 2.
1376:{\displaystyle P_{0}\cdot a_{1}=P_{1}}
1310:{\displaystyle P_{0}\cdot a_{1}=P_{1}}
223:when more than 5 sections are present.
1264:The insufficiently justified step is
896:to let others know (documentation at
279:define it when they say that for all
7:
408:is creating one. It violates NPOV.
95:This article is within the scope of
38:It is of interest to the following
879:http://planetmath.org/emptyproduct
322:
14:
1827:Low-priority mathematics articles
1409:. No need for another criterion.
861:. Please take a moment to review
217:may be automatically archived by
115:Knowledge:WikiProject Mathematics
1822:Start-Class mathematics articles
1637:than two things. Can't be done.
1521:Who says it's the hypothesis? --
163:
118:Template:WikiProject Mathematics
82:
72:
51:
20:
135:This article has been rated as
1765:00:39, 30 September 2019 (UTC)
1745:23:53, 29 September 2019 (UTC)
1727:22:46, 29 September 2019 (UTC)
1706:22:36, 29 September 2019 (UTC)
1688:22:20, 29 September 2019 (UTC)
1669:22:07, 29 September 2019 (UTC)
1650:21:14, 29 September 2019 (UTC)
1629:19:50, 29 September 2019 (UTC)
1615:17:18, 29 September 2019 (UTC)
1596:09:21, 29 September 2019 (UTC)
1564:05:30, 29 September 2019 (UTC)
1531:22:29, 28 September 2019 (UTC)
1517:21:56, 28 September 2019 (UTC)
1471:21:33, 28 September 2019 (UTC)
1452:21:06, 28 September 2019 (UTC)
1433:20:58, 28 September 2019 (UTC)
1419:20:50, 28 September 2019 (UTC)
1327:20:47, 28 September 2019 (UTC)
1260:20:41, 28 September 2019 (UTC)
1076:20:24, 28 September 2019 (UTC)
1054:20:16, 28 September 2019 (UTC)
1040:19:40, 28 September 2019 (UTC)
1021:10:05, 28 September 2019 (UTC)
1005:01:41, 28 September 2019 (UTC)
1:
975:02:13, 24 December 2016 (UTC)
743:02:54, 28 November 2018 (UTC)
506:02:47, 28 November 2018 (UTC)
109:and see a list of open tasks.
799:01:59, 12 October 2008 (UTC)
1843:
938:(last update: 5 June 2024)
854:Hello fellow Wikipedians,
843:00:19, 28 March 2014 (UTC)
828:08:15, 18 March 2010 (UTC)
404:...and saying that it's a
1733:iterated binary operation
1657:iterated binary operation
1504:iterated binary operation
643:22:50, 13 June 2008 (UTC)
614:17:30, 13 June 2008 (UTC)
600:10:45, 13 June 2008 (UTC)
581:06:44, 13 June 2008 (UTC)
562:00:12, 13 June 2008 (UTC)
544:23:48, 12 June 2008 (UTC)
437:19:51, 18 June 2008 (UTC)
418:19:28, 18 June 2008 (UTC)
399:17:19, 18 June 2008 (UTC)
379:16:02, 18 June 2008 (UTC)
270:16:12, 17 June 2008 (UTC)
248:15:44, 17 June 2008 (UTC)
234:We should say that 0Â =Â 1
134:
67:
46:
141:project's priority scale
1243:{\displaystyle P_{0}=1}
1106:{\displaystyle a_{1}=1}
850:External links modified
748:Intuitive justification
515:This article now says:
98:WikiProject Mathematics
1496:
1403:
1377:
1311:
1244:
1211:
1107:
727:
700:
673:
490:
463:
356:
326:
220:Lowercase sigmabot III
28:This article is rated
1497:
1495:{\displaystyle P_{0}}
1404:
1378:
1312:
1245:
1212:
1108:
728:
726:{\displaystyle x^{y}}
701:
699:{\displaystyle x^{0}}
674:
672:{\displaystyle 0^{x}}
491:
489:{\displaystyle e^{x}}
464:
462:{\displaystyle x^{n}}
357:
306:
1479:
1387:
1334:
1268:
1221:
1117:
1084:
919:regular verification
710:
683:
656:
473:
446:
290:
121:mathematics articles
1402:{\displaystyle m=1}
1217:. Thus necessarily
909:After February 2018
888:parameter below to
1492:
1399:
1373:
1307:
1240:
1207:
1103:
963:InternetArchiveBot
914:InternetArchiveBot
723:
696:
669:
486:
459:
352:
90:Mathematics portal
34:content assessment
939:
641:
598:
560:
347:
268:
227:
226:
192:
191:
155:
154:
151:
150:
147:
146:
1834:
1501:
1499:
1498:
1493:
1491:
1490:
1408:
1406:
1405:
1400:
1382:
1380:
1379:
1374:
1372:
1371:
1359:
1358:
1346:
1345:
1316:
1314:
1313:
1308:
1306:
1305:
1293:
1292:
1280:
1279:
1249:
1247:
1246:
1241:
1233:
1232:
1216:
1214:
1213:
1208:
1200:
1199:
1187:
1186:
1174:
1173:
1161:
1160:
1142:
1141:
1129:
1128:
1112:
1110:
1109:
1104:
1096:
1095:
973:
964:
937:
936:
915:
903:
820:Marc van Leeuwen
804:Need for rewrite
732:
730:
729:
724:
722:
721:
705:
703:
702:
697:
695:
694:
678:
676:
675:
670:
668:
667:
631:
588:
550:
495:
493:
492:
487:
485:
484:
468:
466:
465:
460:
458:
457:
361:
359:
358:
353:
348:
346:
338:
337:
328:
325:
320:
302:
301:
258:
222:
206:
178:
177:
167:
159:
123:
122:
119:
116:
113:
92:
87:
86:
76:
69:
68:
63:
55:
48:
31:
25:
24:
16:
1842:
1841:
1837:
1836:
1835:
1833:
1832:
1831:
1812:
1811:
1737:Vincent Lefèvre
1698:Vincent Lefèvre
1661:Vincent Lefèvre
1621:Vincent Lefèvre
1588:Vincent Lefèvre
1584:
1573:
1552:
1545:
1509:Vincent Lefèvre
1482:
1477:
1476:
1444:Vincent Lefèvre
1411:Vincent Lefèvre
1385:
1384:
1363:
1350:
1337:
1332:
1331:
1297:
1284:
1271:
1266:
1265:
1252:Vincent Lefèvre
1224:
1219:
1218:
1191:
1178:
1165:
1152:
1133:
1120:
1115:
1114:
1087:
1082:
1081:
1046:Vincent Lefèvre
1013:Vincent Lefèvre
982:
967:
962:
930:
923:have permission
913:
897:
867:this simple FaQ
852:
806:
750:
713:
708:
707:
686:
681:
680:
659:
654:
653:
513:
476:
471:
470:
449:
444:
443:
339:
329:
293:
288:
287:
232:
230:section break 2
218:
207:
201:
172:
120:
117:
114:
111:
110:
88:
81:
61:
32:on Knowledge's
29:
12:
11:
5:
1840:
1838:
1830:
1829:
1824:
1814:
1813:
1810:
1809:
1808:
1807:
1806:
1805:
1804:
1803:
1802:
1801:
1800:
1799:
1798:
1797:
1796:
1795:
1794:
1793:
1792:
1791:
1790:
1789:
1788:
1787:
1786:
1785:
1784:
1783:
1782:
1781:
1780:
1779:
1778:
1777:
1776:
1775:
1774:
1773:
1772:
1771:
1770:
1769:
1768:
1767:
1715:
1638:
1582:
1571:
1550:
1543:
1533:
1489:
1485:
1398:
1395:
1392:
1370:
1366:
1362:
1357:
1353:
1349:
1344:
1340:
1304:
1300:
1296:
1291:
1287:
1283:
1278:
1274:
1239:
1236:
1231:
1227:
1206:
1203:
1198:
1194:
1190:
1185:
1181:
1177:
1172:
1168:
1164:
1159:
1155:
1151:
1148:
1145:
1140:
1136:
1132:
1127:
1123:
1102:
1099:
1094:
1090:
1063:
981:
978:
957:
956:
949:
882:
881:
873:Added archive
851:
848:
847:
846:
805:
802:
786:
785:
783:
779:
777:
776:
775:
772:
769:
764:
756:
749:
746:
720:
716:
693:
689:
666:
662:
650:
649:
648:
647:
646:
645:
619:
618:
617:
616:
565:
564:
531:
530:
528:
527:
526:
512:
509:
483:
479:
456:
452:
440:
439:
402:
401:
363:
362:
351:
345:
342:
336:
332:
324:
319:
316:
313:
309:
305:
300:
296:
275:At least they
273:
272:
255:exponentiation
231:
228:
225:
224:
212:
209:
208:
203:
199:
197:
194:
193:
190:
189:
184:
174:
173:
168:
162:
153:
152:
149:
148:
145:
144:
133:
127:
126:
124:
107:the discussion
94:
93:
77:
65:
64:
56:
44:
43:
37:
26:
13:
10:
9:
6:
4:
3:
2:
1839:
1828:
1825:
1823:
1820:
1819:
1817:
1766:
1763:
1760:
1756:
1752:
1748:
1747:
1746:
1742:
1738:
1734:
1730:
1729:
1728:
1724:
1720:
1716:
1713:
1709:
1708:
1707:
1703:
1699:
1695:
1691:
1690:
1689:
1685:
1681:
1677:
1672:
1671:
1670:
1666:
1662:
1658:
1653:
1652:
1651:
1647:
1643:
1639:
1636:
1632:
1631:
1630:
1626:
1622:
1618:
1617:
1616:
1612:
1608:
1603:
1599:
1598:
1597:
1593:
1589:
1585:
1578:
1574:
1567:
1566:
1565:
1561:
1557:
1553:
1546:
1539:
1534:
1532:
1528:
1524:
1520:
1519:
1518:
1514:
1510:
1505:
1487:
1483:
1474:
1473:
1472:
1468:
1464:
1460:
1455:
1454:
1453:
1449:
1445:
1441:
1436:
1435:
1434:
1430:
1426:
1422:
1421:
1420:
1416:
1412:
1396:
1393:
1390:
1368:
1364:
1360:
1355:
1351:
1347:
1342:
1338:
1330:
1329:
1328:
1324:
1320:
1302:
1298:
1294:
1289:
1285:
1281:
1276:
1272:
1263:
1262:
1261:
1257:
1253:
1237:
1234:
1229:
1225:
1204:
1201:
1196:
1192:
1188:
1183:
1179:
1175:
1170:
1166:
1162:
1157:
1153:
1149:
1146:
1143:
1138:
1134:
1130:
1125:
1121:
1100:
1097:
1092:
1088:
1079:
1078:
1077:
1073:
1069:
1064:
1061:
1057:
1056:
1055:
1051:
1047:
1043:
1042:
1041:
1037:
1033:
1029:
1024:
1023:
1022:
1018:
1014:
1009:
1008:
1007:
1006:
1002:
998:
993:
989:
987:
979:
977:
976:
971:
966:
965:
954:
950:
947:
943:
942:
941:
934:
928:
924:
920:
916:
910:
905:
901:
895:
891:
887:
880:
876:
872:
871:
870:
868:
864:
860:
859:Empty product
855:
849:
844:
840:
836:
832:
831:
830:
829:
825:
821:
817:
812:
803:
801:
800:
796:
792:
791:Michael Hardy
784:
780:
778:
773:
770:
767:
766:
765:
761:
757:
755:
754:
753:
747:
745:
744:
740:
736:
718:
714:
691:
687:
664:
660:
644:
639:
635:
629:
627:correctness."
625:
624:
623:
622:
621:
620:
615:
611:
607:
606:Michael Hardy
603:
602:
601:
596:
592:
586:
585:
584:
582:
578:
574:
570:
563:
558:
554:
548:
547:
546:
545:
541:
537:
536:Michael Hardy
529:
524:
520:
519:
518:
517:
516:
511:"Convention"?
510:
508:
507:
503:
499:
481:
477:
454:
450:
438:
434:
430:
426:
422:
421:
420:
419:
415:
411:
410:Michael Hardy
407:
400:
396:
392:
387:
383:
382:
381:
380:
376:
372:
371:Michael Hardy
368:
349:
343:
340:
334:
330:
317:
314:
311:
307:
303:
298:
294:
286:
285:
284:
282:
278:
271:
266:
262:
256:
252:
251:
250:
249:
245:
241:
240:Michael Hardy
237:
229:
221:
216:
211:
210:
196:
195:
188:
185:
183:
180:
179:
176:
175:
171:
166:
161:
160:
157:
142:
138:
132:
129:
128:
125:
108:
104:
100:
99:
91:
85:
80:
78:
75:
71:
70:
66:
60:
57:
54:
50:
45:
41:
35:
27:
23:
18:
17:
1711:
1675:
1634:
1601:
1580:
1569:
1548:
1541:
1537:
1458:
1439:
1059:
1027:
994:
990:
988:convention.
985:
983:
961:
958:
933:source check
912:
906:
893:
889:
885:
883:
856:
853:
810:
807:
787:
751:
651:
568:
566:
534:convention.
532:
525:is positive.
522:
514:
441:
424:
405:
403:
385:
366:
364:
280:
276:
274:
235:
233:
214:
169:
156:
137:Low-priority
136:
96:
62:Lowâpriority
40:WikiProjects
1759:Jasper Deng
900:Sourcecheck
365:since when
112:Mathematics
103:mathematics
59:Mathematics
30:Start-class
1816:Categories
1577:semigroups
986:reasonable
980:Convention
970:Report bug
760:calculator
758:Imagine a
425:convention
406:convention
277:implicitly
1719:Trovatore
1680:Trovatore
1642:Trovatore
1607:Trovatore
1523:Trovatore
1463:Trovatore
1425:Trovatore
1319:Trovatore
1068:Trovatore
1032:Trovatore
997:Trovatore
953:this tool
946:this tool
816:empty sum
573:Bo Jacoby
429:Trovatore
391:Trovatore
187:Archive 2
182:Archive 1
1751:bikeshed
959:Cheers.â
763:specify:
735:Linkato1
498:Linkato1
170:Archives
1440:defined
886:checked
863:my edit
215:90 days
139:on the
1762:(talk)
1755:monoid
1060:per se
894:failed
36:scale.
1694:McKay
1635:fewer
1556:McKay
1459:proof
811:value
1741:talk
1723:talk
1702:talk
1684:talk
1665:talk
1646:talk
1625:talk
1611:talk
1592:talk
1560:talk
1547:and
1527:talk
1513:talk
1467:talk
1461:. --
1448:talk
1429:talk
1415:talk
1323:talk
1256:talk
1072:talk
1050:talk
1036:talk
1028:good
1017:talk
1001:talk
890:true
839:talk
824:talk
795:talk
739:talk
638:talk
610:talk
595:talk
577:talk
557:talk
540:talk
502:talk
433:talk
414:talk
395:talk
375:talk
265:talk
244:talk
1602:two
927:RfC
904:).
892:or
877:to
845:MvH
835:MvH
634:CBM
591:CBM
553:CBM
261:CBM
236:and
131:Low
1818::
1743:)
1725:)
1704:)
1686:)
1676:is
1667:)
1648:)
1627:)
1613:)
1605:--
1594:)
1562:)
1529:)
1515:)
1469:)
1450:)
1431:)
1417:)
1348:â
1325:)
1282:â
1258:)
1250:.
1163:â
1144:â
1074:)
1066:--
1052:)
1038:)
1019:)
1003:)
940:.
935:}}
931:{{
902:}}
898:{{
841:)
826:)
797:)
782:1.
741:)
636:¡
612:)
593:¡
583:.
579:)
555:¡
542:)
504:)
435:)
416:)
397:)
389:--
386:is
377:)
323:â
308:â
283:,
263:¡
246:)
1739:(
1721:(
1712:a
1700:(
1682:(
1663:(
1644:(
1623:(
1609:(
1590:(
1583:0
1581:P
1572:1
1570:P
1558:(
1551:1
1549:P
1544:0
1542:P
1538:m
1525:(
1511:(
1488:0
1484:P
1465:(
1446:(
1427:(
1413:(
1397:1
1394:=
1391:m
1369:1
1365:P
1361:=
1356:1
1352:a
1343:0
1339:P
1321:(
1303:1
1299:P
1295:=
1290:1
1286:a
1277:0
1273:P
1254:(
1238:1
1235:=
1230:0
1226:P
1205:1
1202:=
1197:1
1193:a
1189:=
1184:1
1180:P
1176:=
1171:1
1167:a
1158:0
1154:P
1150:=
1147:1
1139:0
1135:P
1131:=
1126:0
1122:P
1101:1
1098:=
1093:1
1089:a
1070:(
1048:(
1034:(
1015:(
999:(
972:)
968:(
955:.
948:.
837:(
822:(
793:(
737:(
719:y
715:x
692:0
688:x
665:x
661:0
640:)
632:(
608:(
597:)
589:(
575:(
569:m
559:)
551:(
538:(
523:m
500:(
496:.
482:x
478:e
455:n
451:x
431:(
412:(
393:(
373:(
367:x
350:,
344:!
341:n
335:n
331:x
318:0
315:=
312:n
304:=
299:x
295:e
281:x
267:)
259:(
242:(
143:.
42::
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.