0
FormalPowerSeriesCategory, 165, 166, 167, 168, 169, 170
FormalPowerSeries, 171, 172, 173
IndexedFreeAdditiveCombinationType, 174, 175, 176
SeriesOrder, 177, 178, 179, 180, 181, 182, 183, 184
1
FormalPowerSeriesCategory, 185, 186, 187, 188, 189, 190, 191, 192,
193
FormalPowerSeries, 194, 195, 196, 197, 198, 199
IndexedFreeArithmeticType, 200, 201, 202
SeriesOrder, 203, 204, 205, 206, 207, 208, 209, 210
SparseIndexedPowerProduct, 211, 212, 213
AbelianMonoid, 216
ACCharacter, 217, 218
ACInteger, 219, 220
ACList, 221, 222
ACMachineInteger, 223, 224, 225
ACPrimitiveArray
apply, 226
bracket, 227
empty?, 228
empty, 229
new, 230, 231, 232, 233
resize!, 234
set!, 235
ACString, 236, 237
ACSymbol
SpeciesExpression, 238
action, 239, 240, 241
ADDITIONALTOPLEVELDIRS, 242, 243
Aldor, 244, 245, 246, 247, 248, 249, 250, 251, 252, 253, 254, 255, 256, 257, 258, 259,
260, 261, 262, 263, 264, 265, 266, 267, 268, 269, 270, 271, 272, 273, 274, 275, 276,
277, 278, 279, 280, 281, 282, 283, 284, 285, 286, 287, 288, 289, 290, 291,
292, 293, 294, 295, 296, 297, 298, 299, 300, 301, 302, 303, 304, 305, 306,
307
AldorInteger, 308
Algebra, 309, 310, 311, 312, 313, 314, 315, 316, 317, 318, 319, 320, 321
algebraic?
SpeciesExpression, 322
ALLPROSE, 323, 324, 325, 326, 327, 328, 329, 330, 331, 332, 333, 334,
335
allprose.sty, 336, 337, 338
apply
ACPrimitiveArray, 339
Array, 340
DataStream, 341, 342, 343, 344, 345
IndexedFreeAdditiveCombinationType, 346, 347, 348, 349
SparseIndexedPowerProduct, 350, 351, 352, 353
SpeciesExpression, 354, 355, 356, 357
approximate order, 358, 359, 360, 361, 362, 363, 364, 365, 366, 367, 368, 369, 370,
371, 372, 373, 374, 375, 376, 377, 378, 379, 380, 381, 382, 383, 384, 385, 386,
387, 388, 389, 390, 391, 392, 393, 394, 395, 396, 397, 398, 399, 400, 401,
402, 403, 404, 405, 406, 407, 408, 409, 410, 411, 412, 413, 414, 415, 416,
417, 418, 419, 420, 421, 422, 423, 424, 425, 426, 427, 428, 429, 430, 431,
432
approximateOrder
FormalPowerSeriesCategory, 433, 434, 435, 436, 437, 438, 439, 440
FormalPowerSeries, 441
approximateOrder!
FormalPowerSeries, 442, 443, 444, 445, 446, 447, 448, 449, 450, 451
ArithmeticType, 452, 453, 454
Array, 455, 456, 457, 458, 459, 460, 461
#, 462
apply, 463
binarySearch, 464
bracket, 465
data, 466
generator, 467
new, 468, 469
set!, 470
aut
CycleIndexSeries, 471, 472, 473, 474
automorphism, 475, 476
Axiom, 477, 478, 479, 480, 481, 482, 483, 484, 485, 486, 487, 488, 489, 490, 491, 492,
493, 494, 495, 496, 497, 498, 499, 500, 501, 502, 503, 504, 505, 506, 507, 508, 509, 510,
511, 512, 513, 514
Bell number, 515, 516
BinarySearch, 517
binarySearch, 518
binarySearch
Array, 519
BinarySearch, 520
binomial
MultinomialTools, 521, 522, 523, 524, 525, 526, 527
binomial coefficient, 528, 529, 530
binomialUp
MultinomialTools, 531
Boolean
false, 532, 533, 534
true, 535, 536, 537, 538
boundedDecrement
SeriesOrder, 539, 540, 541, 542, 543, 544, 545, 546, 547
bracket
ACPrimitiveArray, 548
Array, 549
IndexedFreeAdditiveCombinationType, 550, 551, 552
Partial, 553
SmallIntegerTools, 554, 555
BUG, 556, 557, 558, 559, 560, 561, 562
cardinality species, 563
Cauchy-Frobenius Theorem, 564
characteristic of singletons, 565, 566
characteristic of the empty set, 567, 568
CharacteristicSpecies, 569, 570, 571, 572, 573
cisCoefficient
Cycle, 574, 575
coefficient
CycleIndexSeries, 576, 577, 578, 579, 580
FormalPowerSeriesCategory, 581, 582, 583, 584, 585, 586, 587, 588, 589,
590
FormalPowerSeries, 591, 592, 593, 594
GeneratingSeriesCategory, 595
coefficients
FormalPowerSeriesCategory, 596, 597, 598, 599, 600, 601, 602, 603, 604, 605,
606, 607, 608, 609
FormalPowerSeries, 610, 611
coefficientStream, 612
coerce
CycleIndexSeries, 613, 614, 615, 616, 617, 618, 619, 620
Cycle, 621, 622, 623
FormalPowerSeriesCategory, 624, 625, 626, 627, 628, 629, 630, 631, 632, 633,
634, 635, 636, 637, 638, 639, 640, 641
FormalPowerSeries, 642, 643
LinearOrder, 644, 645, 646
Partition, 647, 648, 649, 650, 651, 652
Permutation, 653, 654, 655, 656, 657, 658
SeriesOrder, 659, 660, 661, 662, 663, 664, 665, 666, 667, 668, 669,
670
SetSpecies, 671
SmallIntegerTools, 672
SparseDistributedPolynomial, 673, 674, 675, 676, 677, 678
SpeciesExpression, 679, 680, 681, 682
Subset, 683, 684, 685, 686
Combinat, 687, 688, 689, 690, 691, 692, 693, 694, 695, 696, 697, 698, 699, 700, 701,
702, 703, 704, 705, 706, 707, 708, 709, 710, 711, 712, 713, 714, 715, 716, 717, 718, 719,
720
combinat.bib, 721, 722
combinat.sty, 723, 724, 725, 726
combinat.tex, 727, 728, 729, 730, 731
combinatorial species, 732, 733, 734, 735, 736, 737, 738, 739, 740, 741, 742, 743, 744,
745, 746, 747, 748, 749, 750, 751, 752, 753, 754, 755, 756, 757, 758, 759, 760, 761, 762,
763, 764
CombinatorialSpecies, 765, 766, 767, 768, 769, 770, 771, 772, 773, 774, 775, 776,
777, 778, 779, 780, 781, 782, 783, 784, 785, 786, 787, 788
cycleIndexSeries, 789, 790, 791
expression, 792, 793, 794, 795
generatingSeries, 796, 797, 798, 799
isomorphismTypeGeneratingSeries, 800, 801, 802
isomorphismTypes, 803, 804, 805, 806
structures, 807, 808, 809, 810, 811, 812, 813, 814, 815, 816, 817, 818, 819,
820
CombinatorialSpeciesCategory
cycleIndexSeries, 821, 822, 823
compare
IndexedFreeAdditiveCombinationType, 824, 825, 826, 827, 828, 829
complement
Subset, 830, 831, 832, 833
Compose, 834, 835, 836, 837, 838, 839, 840, 841
SpeciesExpression, 842
compose
CycleIndexSeries, 843, 844, 845, 846, 847
FormalPowerSeriesCategory, 848, 849, 850, 851, 852, 853, 854, 855
FormalPowerSeries, 856, 857, 858, 859
SpeciesExpression, 860, 861, 862, 863
composite, 864, 865
computeApproximateOrder!
FormalPowerSeries, 866, 867, 868, 869
cons
SetSpecies, 870, 871, 872
constant?
DataStream, 873, 874, 875, 876, 877, 878, 879, 880, 881, 882, 883, 884, 885,
886
constructor, 887, 888, 889, 890, 891, 892, 893, 894, 895, 896, 897, 898, 899, 900, 901,
902, 903, 904, 905, 906, 907, 908, 909, 910, 911, 912, 913, 914, 915, 916, 917, 918, 919,
920, 921, 922, 923, 924, 925
Convention, 926, 927, 928, 929
copyright notice, 930
count
CycleIndexSeries, 931, 932, 933, 934, 935, 936, 937, 938
ExponentialGeneratingSeries, 939, 940, 941
OrdinaryGeneratingSeries, 942, 943, 944
CREDITS, 945, 946
cs.as, 947, 948, 949, 950
cscombinatversion.as, 951
Cycle, 952, 953, 954, 955, 956, 957
cisCoefficient, 958, 959
coerce, 960, 961, 962
cycle, 963, 964, 965
multiply, 966
cycle
Cycle, 967, 968, 969
cycle index, 970
cycle index polynomial, 971, 972, 973, 974, 975, 976, 977, 978
cycle index series, 979, 980, 981, 982, 983, 984, 985, 986, 987, 988, 989, 990, 991, 992,
993, 994, 995, 996, 997, 998, 999, 1000, 1001, 1002, 1003, 1004, 1005, 1006, 1007,
1008, 1009, 1010, 1011, 1012, 1013, 1014, 1015, 1016, 1017
cycle type, 1018, 1019, 1020, 1021, 1022, 1023, 1024, 1025, 1026, 1027, 1028, 1029,
1030, 1031, 1032, 1033, 1034, 1035, 1036, 1037, 1038, 1039
CycleIndexSeries, 1040, 1041, 1042, 1043, 1044, 1045, 1046, 1047, 1048, 1049, 1050,
1051, 1052, 1053, 1054, 1055, 1056, 1057
aut, 1058, 1059, 1060, 1061
coefficient, 1062, 1063, 1064, 1065, 1066
coerce, 1067, 1068, 1069, 1070, 1071, 1072, 1073, 1074
compose, 1075, 1076, 1077, 1078, 1079
count, 1080, 1081, 1082, 1083, 1084, 1085, 1086, 1087
cycleTypes, 1088, 1089
cycleType, 1090, 1091
functorialCompose, 1092, 1093, 1094
integerPartitions, 1095, 1096
powers, 1097, 1098
stretch, 1099, 1100, 1101, 1102, 1103, 1104, 1105
cycleIndexSeries
CombinatorialSpeciesCategory, 1106, 1107, 1108
CombinatorialSpecies, 1109, 1110, 1111
CycleIndexVariable, 1112, 1113, 1114, 1115, 1116
cycleIndicatorSeries
SmallIntegerTools, 1117
cycleType
CycleIndexSeries, 1118, 1119
cycleTypes
CycleIndexSeries, 1120, 1121
cylce type, 1122
data
Array, 1123
DataStream, 1124, 1125, 1126, 1127, 1128, 1129, 1130
DataStream, 1131
DataStream, 1132, 1133, 1134, 1135, 1136, 1137, 1138, 1139, 1140, 1141, 1142, 1143,
1144, 1145, 1146, 1147, 1148, 1149, 1150, 1151, 1152, 1153, 1154, 1155, 1156,
1157, 1158, 1159, 1160, 1161, 1162, 1163, 1164, 1165, 1166, 1167, 1168, 1169,
1170, 1171, 1172, 1173, 1174, 1175, 1176, 1177, 1178, 1179, 1180, 1181, 1182,
1183, 1184, 1185, 1186, 1187, 1188, 1189, 1190, 1191, 1192, 1193, 1194, 1195,
1196
#, 1197, 1198, 1199, 1200, 1201, 1202, 1203, 1204, 1205, 1206, 1207, 1208, 1209,
1210, 1211, 1212, 1213, 1214
apply, 1215, 1216, 1217, 1218, 1219
constant?, 1220, 1221, 1222, 1223, 1224, 1225, 1226, 1227, 1228, 1229, 1230,
1231, 1232, 1233
data, 1234, 1235, 1236, 1237, 1238, 1239, 1240
elements, 1241, 1242, 1243, 1244, 1245, 1246, 1247, 1248, 1249, 1250, 1251,
1252, 1253
generator, 1254, 1255, 1256, 1257, 1258, 1259, 1260
map, 1261, 1262, 1263
new, 1264, 1265, 1266, 1267, 1268, 1269, 1270, 1271
resize!, 1272
set!, 1273, 1274, 1275, 1276, 1277, 1278, 1279, 1280, 1281, 1282
stream, 1283, 1284, 1285, 1286, 1287, 1288, 1289, 1290, 1291, 1292, 1293, 1294,
1295, 1296, 1297, 1298, 1299, 1300, 1301, 1302, 1303, 1304, 1305, 1306, 1307, 1308,
1309, 1310, 1311, 1312, 1313, 1314, 1315, 1316, 1317, 1318, 1319, 1320, 1321, 1322,
1323, 1324, 1325, 1326, 1327, 1328, 1329, 1330, 1331, 1332, 1333, 1334, 1335, 1336,
1337
DEBUG, 1338
differentiate
FormalPowerSeriesCategory, 1339, 1340, 1341, 1342, 1343, 1344, 1345
FormalPowerSeries, 1346, 1347, 1348
DIRS, 1349
divideBy
Partition, 1350
divisors
SparseIndexedPowerProduct, 1351, 1352, 1353, 1354, 1355
doNothing
FormalPowerSeries, 1356, 1357, 1358, 1359
DontNeedLibrary, 1360
DontNeedLibraryCombinat, 1361
elements
DataStream, 1362, 1363, 1364, 1365, 1366, 1367, 1368, 1369, 1370, 1371, 1372,
1373, 1374
LabelType, 1375, 1376, 1377
empty
ACPrimitiveArray, 1378
SetSpecies, 1379
empty?
ACPrimitiveArray, 1380
SetSpecies, 1381
EmptySetSpecies, 1382, 1383, 1384, 1385, 1386
Euler totient function, 1387, 1388
eulerPhi
SmallIntegerTools, 1389, 1390, 1391
evaluate
InterpretingTools, 1392
LabelSpecies, 1393, 1394, 1395, 1396
eventually constant, 1397, 1398, 1399, 1400, 1401, 1402, 1403, 1404, 1405,
1406
executablevariant, 1407
exponential generating series, 1408, 1409, 1410, 1411, 1412, 1413, 1414, 1415, 1416,
1417, 1418, 1419, 1420
ExponentialGeneratingSeries, 1421, 1422, 1423, 1424, 1425, 1426, 1427, 1428,
1429, 1430, 1431
count, 1432, 1433, 1434
factorialStream, 1435, 1436, 1437, 1438
functorialCompose, 1439, 1440, 1441, 1442
exponentiate
FormalPowerSeriesCategory, 1443, 1444, 1445, 1446, 1447
FormalPowerSeries, 1448, 1449
expression
CombinatorialSpecies, 1450, 1451, 1452, 1453
Plus, 1454, 1455, 1456, 1457, 1458, 1459
Times, 1460
ExpressionTree, 1461, 1462, 1463, 1464, 1465, 1466, 1467, 1468, 1469, 1470, 1471,
1472, 1473
SpeciesExpression, 1474
factor
SmallIntegerTools, 1475, 1476, 1477, 1478
factorialStream
ExponentialGeneratingSeries, 1479, 1480, 1481, 1482
failed
Partial, 1483
failed?
Partial, 1484
false
Boolean, 1485, 1486, 1487
first
ListStream, 1488, 1489, 1490
SetSpecies, 1491, 1492
FLAGSal, 1493, 1494
FLAGSx, 1495, 1496
formal power series, 1497, 1498, 1499, 1500, 1501, 1502, 1503, 1504, 1505, 1506, 1507,
1508, 1509, 1510, 1511, 1512, 1513, 1514, 1515, 1516, 1517, 1518, 1519, 1520, 1521,
1522, 1523, 1524, 1525, 1526, 1527
FormalPowerSeries, 1528, 1529, 1530, 1531, 1532, 1533, 1534, 1535, 1536, 1537,
1538, 1539, 1540, 1541, 1542, 1543, 1544, 1545, 1546, 1547, 1548, 1549, 1550, 1551,
1552, 1553, 1554, 1555, 1556, 1557, 1558, 1559, 1560, 1561, 1562, 1563, 1564, 1565,
1566, 1567, 1568, 1569, 1570, 1571, 1572
*, 1573, 1574, 1575, 1576, 1577, 1578, 1579, 1580, 1581, 1582, 1583, 1584, 1585,
1586, 1587, 1588, 1589, 1590, 1591
+, 1592, 1593, 1594, 1595, 1596, 1597, 1598, 1599, 1600, 1601, 1602, 1603, 1604,
1605, 1606
0, 1607, 1608, 1609
1, 1610, 1611, 1612, 1613, 1614, 1615
#, 1616
approximateOrder!, 1617, 1618, 1619, 1620, 1621, 1622, 1623, 1624, 1625,
1626
approximateOrder, 1627
coefficients, 1628, 1629
coefficient, 1630, 1631, 1632, 1633
coerce, 1634, 1635
compose, 1636, 1637, 1638, 1639
computeApproximateOrder!, 1640, 1641, 1642, 1643
differentiate, 1644, 1645, 1646
doNothing, 1647, 1648, 1649, 1650
exponentiate, 1651, 1652
initialize!, 1653, 1654, 1655, 1656, 1657, 1658, 1659, 1660, 1661
initializeCoefficientStream!, 1662, 1663
integrate, 1664, 1665
monom, 1666, 1667, 1668, 1669, 1670, 1671, 1672, 1673, 1674, 1675, 1676, 1677,
1678
name, 1679
new, 1680, 1681, 1682, 1683, 1684, 1685, 1686, 1687, 1688, 1689, 1690, 1691,
1692, 1693, 1694, 1695, 1696, 1697, 1698
product, 1699
set!, 1700, 1701, 1702, 1703, 1704, 1705, 1706, 1707, 1708, 1709, 1710, 1711,
1712
setApproximateOrder!, 1713, 1714
setname!, 1715
sum, 1716, 1717, 1718
term, 1719, 1720, 1721, 1722
uninitialized, 1723, 1724
zero?, 1725, 1726, 1727, 1728, 1729, 1730
FormalPowerSeriesCategory, 1731, 1732, 1733, 1734, 1735, 1736, 1737, 1738,
1739, 1740, 1741, 1742, 1743, 1744, 1745, 1746, 1747, 1748, 1749, 1750, 1751,
1752, 1753, 1754, 1755, 1756, 1757, 1758, 1759, 1760, 1761, 1762, 1763, 1764,
1765
*, 1766, 1767, 1768, 1769, 1770, 1771, 1772, 1773, 1774, 1775, 1776, 1777, 1778,
1779, 1780, 1781, 1782, 1783, 1784, 1785
+, 1786, 1787, 1788, 1789, 1790, 1791, 1792, 1793, 1794, 1795, 1796, 1797, 1798,
1799
0, 1800, 1801, 1802, 1803, 1804, 1805
1, 1806, 1807, 1808, 1809, 1810, 1811, 1812, 1813, 1814
approximateOrder, 1815, 1816, 1817, 1818, 1819, 1820, 1821, 1822
coefficients, 1823, 1824, 1825, 1826, 1827, 1828, 1829, 1830, 1831, 1832, 1833,
1834, 1835, 1836
coefficient, 1837, 1838, 1839, 1840, 1841, 1842, 1843, 1844, 1845,
1846
coerce, 1847, 1848, 1849, 1850, 1851, 1852, 1853, 1854, 1855, 1856, 1857, 1858,
1859, 1860, 1861, 1862, 1863, 1864
compose, 1865, 1866, 1867, 1868, 1869, 1870, 1871, 1872
differentiate, 1873, 1874, 1875, 1876, 1877, 1878, 1879
exponentiate, 1880, 1881, 1882, 1883, 1884
integrate, 1885, 1886, 1887, 1888, 1889, 1890, 1891, 1892
monom, 1893, 1894, 1895, 1896, 1897, 1898, 1899, 1900, 1901
new, 1902, 1903, 1904, 1905, 1906, 1907, 1908, 1909, 1910, 1911, 1912,
1913, 1914, 1915, 1916, 1917, 1918, 1919, 1920, 1921, 1922, 1923, 1924, 1925,
1926
order, 1927, 1928, 1929, 1930, 1931, 1932, 1933
product, 1934, 1935, 1936, 1937, 1938
set!, 1939, 1940, 1941, 1942, 1943, 1944, 1945, 1946, 1947, 1948, 1949, 1950,
1951, 1952, 1953, 1954, 1955, 1956
stream, 1957, 1958, 1959
sum, 1960, 1961, 1962, 1963, 1964, 1965, 1966, 1967, 1968, 1969
term, 1970, 1971, 1972, 1973, 1974, 1975, 1976, 1977, 1978, 1979, 1980
zero?, 1981, 1982, 1983, 1984, 1985, 1986, 1987, 1988, 1989
functorial composite, 1990, 1991, 1992, 1993, 1994, 1995
FunctorialCompose, 1996, 1997
name, 1998
setname!, 1999
functorialCompose
CycleIndexSeries, 2000, 2001, 2002
ExponentialGeneratingSeries, 2003, 2004, 2005, 2006
generating series, 2007, 2008, 2009, 2010, 2011, 2012, 2013, 2014, 2015, 2016,
2017, 2018, 2019, 2020, 2021
generatingSeries
CombinatorialSpecies, 2022, 2023, 2024, 2025
Plus, 2026
SmallIntegerTools, 2027, 2028, 2029, 2030
Times, 2031
GeneratingSeriesCategory
coefficient, 2032
Generator, 2033, 2034, 2035, 2036, 2037, 2038, 2039, 2040, 2041, 2042
SmallIntegerTools, 2043
generator
Array, 2044
DataStream, 2045, 2046, 2047, 2048, 2049, 2050, 2051
IndexedFreeAdditiveCombinationType, 2052, 2053, 2054, 2055
SetSpecies, 2056
SparseIndexedPowerProduct, 2057, 2058, 2059, 2060
getName
SmallIntegerTools, 2061
GMP, 2062
include/algebra.as, 2063
include/combinat.as, 2064, 2065, 2066, 2067, 2068, 2069, 2070, 2071,
2072
include/testcases.as, 2073
increment
SeriesOrder, 2074, 2075, 2076, 2077, 2078, 2079, 2080, 2081, 2082,
2083
IndexedFreeAdditiveCombinationType, 2084, 2085, 2086, 2087, 2088, 2089, 2090,
2091, 2092, 2093, 2094, 2095, 2096, 2097, 2098, 2099, 2100, 2101, 2102, 2103, 2104,
2105, 2106, 2107
+, 2108, 2109, 2110, 2111
-, 2112, 2113, 2114, 2115, 2116, 2117
0, 2118, 2119, 2120
#, 2121, 2122, 2123, 2124
apply, 2125, 2126, 2127, 2128
bracket, 2129, 2130, 2131
compare, 2132, 2133, 2134, 2135, 2136, 2137
generator, 2138, 2139, 2140, 2141
leadingCoefficient, 2142, 2143, 2144, 2145
leadingMonomial, 2146, 2147, 2148, 2149
map, 2150, 2151, 2152, 2153, 2154, 2155, 2156
maxSupport, 2157, 2158, 2159, 2160
reductum, 2161, 2162, 2163, 2164, 2165
zero?, 2166, 2167, 2168, 2169
IndexedFreeArithmeticType, 2170, 2171, 2172, 2173, 2174, 2175, 2176
*, 2177, 2178, 2179
1, 2180, 2181, 2182
one?, 2183, 2184, 2185
IndexedFreeLinearArithmeticType, 2186
IndexedFreeLinearCombinationType, 2187
infinity
SeriesOrder, 2188, 2189, 2190, 2191, 2192, 2193, 2194, 2195, 2196, 2197,
2198, 2199, 2200, 2201, 2202, 2203, 2204, 2205, 2206, 2207, 2208, 2209, 2210,
2211
initialize!
FormalPowerSeries, 2212, 2213, 2214, 2215, 2216, 2217, 2218, 2219,
2220
initializeCoefficientStream!
FormalPowerSeries, 2221, 2222
initializedCoefficients?, 2223
Integer, 2224, 2225, 2226, 2227, 2228, 2229, 2230, 2231, 2232, 2233, 2234, 2235,
2236
integer
SmallIntegerTools, 2237
integer partition, 2238, 2239, 2240, 2241, 2242, 2243, 2244, 2245
integer partitions, 2246
integerPartitions
CycleIndexSeries, 2247, 2248
integrate
FormalPowerSeriesCategory, 2249, 2250, 2251, 2252, 2253, 2254, 2255,
2256
FormalPowerSeries, 2257, 2258
Interpret, 2259, 2260
interpret
InterpretingTools, 2261
LabelSpecies, 2262, 2263, 2264, 2265, 2266
InterpretingTools, 2267, 2268
evaluate, 2269
interpret, 2270
isomorphism, 2271, 2272
isomorphism type, 2273, 2274, 2275, 2276, 2277, 2278, 2279, 2280, 2281
isomorphism types, 2282
isomorphismTypeGeneratingSeries
CombinatorialSpecies, 2283, 2284, 2285
Plus, 2286, 2287, 2288
SmallIntegerTools, 2289, 2290
Times, 2291, 2292
isomorphismTypes
CombinatorialSpecies, 2293, 2294, 2295, 2296
Times, 2297, 2298, 2299
LabelSpecies, 2300, 2301, 2302, 2303
evaluate, 2304, 2305, 2306, 2307
interpret, 2308, 2309, 2310, 2311, 2312
LabelType, 2313, 2314, 2315, 2316, 2317, 2318, 2319, 2320, 2321, 2322, 2323
elements, 2324, 2325, 2326
leadingCoefficient
IndexedFreeAdditiveCombinationType, 2327, 2328, 2329, 2330
leadingMonomial
IndexedFreeAdditiveCombinationType, 2331, 2332, 2333, 2334
leaf
SpeciesExpression, 2335, 2336, 2337, 2338, 2339, 2340
libalgebra-gmp.al, 2341
libalgebra.al, 2342, 2343
libalgebrad.al, 2344
LIBPREFIX, 2345, 2346, 2347
LibraryInformation, 2348
LIBRARYNAME, 2349, 2350
libraryvariant, 2351
linear species, 2352
LinearOrder, 2353, 2354, 2355, 2356, 2357
coerce, 2358, 2359, 2360
List, 2361, 2362, 2363, 2364, 2365, 2366, 2367, 2368, 2369, 2370, 2371, 2372, 2373,
2374, 2375, 2376, 2377, 2378, 2379, 2380
SmallIntegerTools, 2381
ListExtendCategory, 2382, 2383
ListStream, 2384, 2385, 2386, 2387, 2388, 2389, 2390
first, 2391, 2392, 2393
rest, 2394, 2395, 2396
stream, 2397, 2398, 2399, 2400, 2401, 2402
loop, 2403
MachineInteger, 2404
MachineInteger, 2405, 2406, 2407, 2408, 2409, 2410, 2411, 2412, 2413, 2414,
2415
Macros, 2416
MacrosCombinat, 2417
MAJORVERSION, 2418, 2419
MAKE, 2420
Makefile, 2421, 2422, 2423
Makefile, 2424
Makefile.def, 2425, 2426, 2427, 2428, 2429, 2430
Makefile.inc, 2431, 2432
map
DataStream, 2433, 2434, 2435
IndexedFreeAdditiveCombinationType, 2436, 2437, 2438, 2439, 2440, 2441,
2442
SparseIndexedPowerProduct, 2443, 2444, 2445, 2446
maxPrime
SmallIntegerPrimes, 2447, 2448, 2449, 2450, 2451
maxSupport
IndexedFreeAdditiveCombinationType, 2452, 2453, 2454, 2455
min
SeriesOrder, 2456, 2457, 2458, 2459, 2460, 2461, 2462, 2463, 2464
MINORVERSION, 2465, 2466
Möbius function, 2467, 2468, 2469, 2470
moebiusMu
SmallIntegerTools, 2471, 2472, 2473
MonogenicLinearArithmeticType, 2474
monom
FormalPowerSeriesCategory, 2475, 2476, 2477, 2478, 2479, 2480, 2481, 2482,
2483
FormalPowerSeries, 2484, 2485, 2486, 2487, 2488, 2489, 2490, 2491, 2492, 2493,
2494, 2495, 2496
mrx, 2497, 2498, 2499, 2500, 2501, 2502, 2503, 2504, 2505, 2506, 2507, 2508, 2509,
2510, 2511, 2512, 2513, 2514, 2515, 2516, 2517, 2518, 2519, 2520
multinomial
MultinomialTools, 2521, 2522, 2523, 2524, 2525, 2526, 2527, 2528, 2529, 2530,
2531, 2532, 2533
multinomial coefficient, 2534, 2535
MultinomialTools, 2536, 2537, 2538, 2539, 2540
binomialUp, 2541
binomial, 2542, 2543, 2544, 2545, 2546, 2547, 2548
multinomial, 2549, 2550, 2551, 2552, 2553, 2554, 2555, 2556, 2557, 2558, 2559,
2560, 2561
multiply
Cycle, 2562
MuPAD, 2563
MuPAD-Combinat, 2564, 2565
MyParser, 2566, 2567, 2568, 2569
parse, 2570, 2571, 2572, 2573
name
FormalPowerSeries, 2574
FunctorialCompose, 2575
SmallIntegerTools, 2576
new
ACPrimitiveArray, 2577, 2578, 2579, 2580
Array, 2581, 2582
DataStream, 2583, 2584, 2585, 2586, 2587, 2588, 2589, 2590
FormalPowerSeriesCategory, 2591, 2592, 2593, 2594, 2595, 2596, 2597, 2598,
2599, 2600, 2601, 2602, 2603, 2604, 2605, 2606, 2607, 2608, 2609, 2610, 2611, 2612,
2613, 2614, 2615
FormalPowerSeries, 2616, 2617, 2618, 2619, 2620, 2621, 2622, 2623, 2624, 2625,
2626, 2627, 2628, 2629, 2630, 2631, 2632, 2633, 2634
SmallIntegerTools, 2635
SpeciesExpression, 2636, 2637, 2638, 2639, 2640, 2641, 2642, 2643
NEW1, 2644
NEW2, 2645
nextPrime
SmallIntegerTools, 2646, 2647, 2648
NonEmpty, 2649, 2650, 2651
NonEmptySetSpecies, 2652
NonNegativeInteger, 2653, 2654
one?
IndexedFreeArithmeticType, 2655, 2656, 2657
SparseIndexedPowerProduct, 2658, 2659, 2660
order
FormalPowerSeriesCategory, 2661, 2662, 2663, 2664, 2665, 2666, 2667
ordinary generating series, 2668, 2669, 2670, 2671, 2672, 2673, 2674
OrdinaryGeneratingSeries, 2675, 2676, 2677, 2678, 2679
count, 2680, 2681, 2682
OutputType, 2683
parse
MyParser, 2684, 2685, 2686, 2687
Partial
bracket, 2688
failed?, 2689
failed, 2690
retract, 2691
Partition, 2692, 2693, 2694, 2695, 2696, 2697, 2698, 2699, 2700, 2701, 2702, 2703,
2704, 2705
coerce, 2706, 2707, 2708, 2709, 2710, 2711
divideBy, 2712
restrictedGrowthArrays, 2713, 2714, 2715, 2716, 2717, 2718
PATCHVERSION, 2719, 2720
Perl, 2721
Permutation, 2722, 2723, 2724, 2725, 2726
coerce, 2727, 2728, 2729, 2730, 2731, 2732
Plus, 2733, 2734, 2735, 2736, 2737, 2738, 2739, 2740
SpeciesExpression, 2741
expression, 2742, 2743, 2744, 2745, 2746, 2747
generatingSeries, 2748
isomorphismTypeGeneratingSeries, 2749, 2750, 2751
power
SparseIndexedPowerProduct, 2752, 2753, 2754, 2755
power set, 2756
powers
CycleIndexSeries, 2757, 2758
previousPrime
SmallIntegerTools, 2759, 2760, 2761
prime?
SmallIntegerTools, 2762, 2763, 2764
primes
SmallIntegerPrimes, 2765, 2766, 2767
product, 2768
product
FormalPowerSeriesCategory, 2769, 2770, 2771, 2772, 2773
FormalPowerSeries, 2774
PROJECTNAME, 2775, 2776, 2777, 2778, 2779, 2780, 2781
projectname, 2782, 2783, 2784, 2785
∖projectname, 2786
ranking, 2787, 2788
rational?
SpeciesExpression, 2789
reductum
IndexedFreeAdditiveCombinationType, 2790, 2791, 2792, 2793, 2794
resize!
ACPrimitiveArray, 2795
DataStream, 2796
rest
ListStream, 2797, 2798, 2799
SetSpecies, 2800, 2801
restricted growth array, 2802, 2803, 2804, 2805, 2806, 2807, 2808, 2809, 2810
restricted growth function, 2811, 2812, 2813, 2814, 2815, 2816
restricted to n, 2817, 2818, 2819
restrictedGrowthArrays
Partition, 2820, 2821, 2822, 2823, 2824, 2825
RestrictedSpecies, 2826, 2827, 2828, 2829, 2830
retract
Partial, 2831
rhx, 2832, 2833, 2834, 2835, 2836, 2837, 2838, 2839, 2840, 2841, 2842, 2843, 2844,
2845, 2846, 2847, 2848, 2849, 2850, 2851, 2852, 2853, 2854, 2855, 2856, 2857, 2858,
2859, 2860, 2861, 2862, 2863, 2864, 2865, 2866, 2867, 2868, 2869, 2870, 2871, 2872,
2873, 2874, 2875, 2876, 2877, 2878, 2879, 2880, 2881, 2882, 2883, 2884, 2885, 2886,
2887, 2888, 2889, 2890, 2891, 2892, 2893, 2894, 2895, 2896, 2897, 2898, 2899, 2900,
2901, 2902
SeriesOrder, 2903, 2904, 2905, 2906, 2907, 2908, 2909, 2910, 2911, 2912, 2913,
2914, 2915, 2916, 2917, 2918, 2919, 2920, 2921, 2922, 2923, 2924, 2925, 2926,
2927
*, 2928, 2929, 2930, 2931, 2932, 2933, 2934, 2935, 2936, 2937, 2938,
2939
+, 2940, 2941, 2942, 2943, 2944, 2945, 2946, 2947, 2948, 2949, 2950,
2951
0, 2952, 2953, 2954, 2955, 2956, 2957, 2958, 2959
1, 2960, 2961, 2962, 2963, 2964, 2965, 2966, 2967
<<, 2968
=, 2969, 2970, 2971
boundedDecrement, 2972, 2973, 2974, 2975, 2976, 2977, 2978, 2979,
2980
coerce, 2981, 2982, 2983, 2984, 2985, 2986, 2987, 2988, 2989, 2990, 2991,
2992
increment, 2993, 2994, 2995, 2996, 2997, 2998, 2999, 3000, 3001, 3002
infinity, 3003, 3004, 3005, 3006, 3007, 3008, 3009, 3010, 3011, 3012,
3013, 3014, 3015, 3016, 3017, 3018, 3019, 3020, 3021, 3022, 3023, 3024, 3025,
3026
min, 3027, 3028, 3029, 3030, 3031, 3032, 3033, 3034, 3035
unknown, 3036, 3037, 3038, 3039, 3040, 3041, 3042, 3043, 3044, 3045, 3046, 3047,
3048, 3049, 3050, 3051, 3052, 3053, 3054, 3055, 3056, 3057, 3058, 3059, 3060,
3061
Set, 3062, 3063, 3064, 3065, 3066, 3067, 3068, 3069, 3070, 3071, 3072, 3073, 3074,
3075, 3076, 3077, 3078, 3079, 3080, 3081, 3082, 3083, 3084, 3085, 3086, 3087, 3088,
3089, 3090
set
SetSpecies, 3091, 3092, 3093, 3094, 3095, 3096, 3097, 3098
set partition, 3099, 3100, 3101, 3102, 3103, 3104, 3105, 3106, 3107, 3108
set partition into m parts, 3109
set!
ACPrimitiveArray, 3110
Array, 3111
DataStream, 3112, 3113, 3114, 3115, 3116, 3117, 3118, 3119, 3120, 3121
FormalPowerSeriesCategory, 3122, 3123, 3124, 3125, 3126, 3127, 3128, 3129,
3130, 3131, 3132, 3133, 3134, 3135, 3136, 3137, 3138, 3139
FormalPowerSeries, 3140, 3141, 3142, 3143, 3144, 3145, 3146, 3147, 3148, 3149,
3150, 3151, 3152
SpeciesExpression, 3153, 3154, 3155, 3156, 3157, 3158
setApproximateOrder!
FormalPowerSeries, 3159, 3160
SetCategory, 3161
SETNAME, 3162
setname!
FormalPowerSeries, 3163
FunctorialCompose, 3164
SetSpecies, 3165, 3166, 3167, 3168, 3169, 3170, 3171, 3172, 3173, 3174, 3175, 3176,
3177, 3178, 3179, 3180, 3181, 3182, 3183, 3184, 3185, 3186, 3187, 3188, 3189,
3190, 3191, 3192, 3193, 3194, 3195, 3196, 3197, 3198, 3199, 3200, 3201, 3202,
3203
SmallIntegerTools, 3204
#, 3205
coerce, 3206
cons, 3207, 3208, 3209
empty?, 3210
empty, 3211
first, 3212, 3213
generator, 3214
rest, 3215, 3216
set, 3217, 3218, 3219, 3220, 3221, 3222, 3223, 3224
structures, 3225
union, 3226
SI, 3227
SingleInteger, 3228, 3229, 3230
SingletonSpecies, 3231, 3232, 3233, 3234, 3235, 3236
SmallIntegerPrimes, 3237, 3238, 3239, 3240
maxPrime, 3241, 3242, 3243, 3244, 3245
primes, 3246, 3247, 3248
SmallIntegerTools, 3249, 3250, 3251, 3252, 3253, 3254, 3255, 3256, 3257
=, 3258
Generator, 3259
List, 3260
SetSpecies, 3261
Symbol, 3262
bracket, 3263, 3264
coerce, 3265
cycleIndicatorSeries, 3266
eulerPhi, 3267, 3268, 3269
factor, 3270, 3271, 3272, 3273
generatingSeries, 3274, 3275, 3276, 3277
getName, 3278
integer, 3279
isomorphismTypeGeneratingSeries, 3280, 3281
moebiusMu, 3282, 3283, 3284
name, 3285
new, 3286
nextPrime, 3287, 3288, 3289
previousPrime, 3290, 3291, 3292
prime?, 3293, 3294, 3295
sqrt, 3296, 3297, 3298
string, 3299
testCompose3, 3300, 3301
∖sourcefile, 3302
SparseAdditiveArray, 3303, 3304, 3305, 3306
SparseDistributedPolynomial, 3307, 3308, 3309, 3310, 3311, 3312, 3313,
3314
*, 3315, 3316, 3317, 3318, 3319, 3320, 3321, 3322, 3323
coerce, 3324, 3325, 3326, 3327, 3328, 3329
SparseFiniteMonoidRing, 3330, 3331, 3332, 3333
SparseIndexedPowerProduct, 3334, 3335, 3336, 3337, 3338, 3339, 3340, 3341,
3342, 3343, 3344, 3345, 3346, 3347, 3348, 3349, 3350, 3351, 3352, 3353, 3354,
3355
*, 3356, 3357, 3358
/, 3359, 3360, 3361
1, 3362, 3363, 3364
apply, 3365, 3366, 3367, 3368
divisors, 3369, 3370, 3371, 3372, 3373
generator, 3374, 3375, 3376, 3377
map, 3378, 3379, 3380, 3381
one?, 3382, 3383, 3384
power, 3385, 3386, 3387, 3388
weight, 3389, 3390, 3391, 3392
species of cyclic permutations, 3393, 3394, 3395, 3396
species of linear order, 3397
species of linear orders, 3398, 3399, 3400, 3401, 3402
species of lists, 3403
species of oriented cycles, 3404
species of permutations, 3405, 3406, 3407, 3408, 3409
species of sequences, 3410
species of sets, 3411, 3412, 3413
species of subsets, 3414, 3415
SpeciesExpression, 3416, 3417, 3418, 3419, 3420, 3421, 3422, 3423, 3424, 3425,
3426, 3427, 3428, 3429, 3430, 3431, 3432, 3433, 3434, 3435, 3436
*, 3437, 3438, 3439, 3440
+, 3441, 3442, 3443, 3444
ACSymbol, 3445
Compose, 3446
ExpressionTree, 3447
Plus, 3448
Times, 3449
X, 3450
^, 3451, 3452, 3453, 3454, 3455
algebraic?, 3456
apply, 3457, 3458, 3459, 3460
coerce, 3461, 3462, 3463, 3464
compose, 3465, 3466, 3467, 3468
leaf, 3469, 3470, 3471, 3472, 3473, 3474
new, 3475, 3476, 3477, 3478, 3479, 3480, 3481, 3482
rational?, 3483
set!, 3484, 3485, 3486, 3487, 3488, 3489
SpeciesExpressions, 3490
sqrt
SmallIntegerTools, 3491, 3492, 3493
src/axiom-compatibility/axcompat.as, 3494, 3495, 3496, 3497, 3498
src/axiom-compatibility/axcompat2.as, 3499, 3500, 3501
src/cs.as, 3502, 3503
src/cscombinatversion.as, 3504, 3505, 3506
src/gseries.as, 3507, 3508, 3509, 3510, 3511, 3512
src/interp.as, 3513, 3514, 3515, 3516
src/libcombinatd.a, 3517
src/libcombinatd.al, 3518
src/Makefile, 3519
src/multinom.as, 3520, 3521, 3522, 3523, 3524
src/parse.as, 3525, 3526, 3527, 3528
src/poly/distpoly.as, 3529, 3530, 3531, 3532, 3533
src/poly/idxpp.as, 3534, 3535, 3536, 3537, 3538
src/poly/istruc.as, 3539, 3540, 3541, 3542, 3543
src/series.as, 3544, 3545, 3546, 3547, 3548, 3549
src/sitools/siprimes.as, 3550, 3551, 3552, 3553, 3554, 3555
src/sitools/sitools.as, 3556, 3557, 3558, 3559, 3560
src/species.as, 3561, 3562, 3563, 3564, 3565, 3566, 3567, 3568, 3569, 3570, 3571,
3572, 3573
src/spexpr.as, 3574, 3575, 3576
src/stream.as, 3577, 3578, 3579, 3580, 3581
Stream, 3582, 3583, 3584, 3585, 3586
stream
DataStream, 3587, 3588, 3589, 3590, 3591, 3592, 3593, 3594, 3595, 3596, 3597,
3598, 3599, 3600, 3601, 3602, 3603, 3604, 3605, 3606, 3607, 3608, 3609, 3610, 3611,
3612, 3613, 3614, 3615, 3616, 3617, 3618, 3619, 3620, 3621, 3622, 3623, 3624, 3625,
3626, 3627, 3628, 3629, 3630, 3631, 3632, 3633, 3634, 3635, 3636, 3637, 3638, 3639,
3640, 3641
FormalPowerSeriesCategory, 3642, 3643, 3644
ListStream, 3645, 3646, 3647, 3648, 3649, 3650
StreamException, 3651
stretch
CycleIndexSeries, 3652, 3653, 3654, 3655, 3656, 3657, 3658
String, 3659, 3660, 3661, 3662, 3663
string
SmallIntegerTools, 3664
structures
CombinatorialSpecies, 3665, 3666, 3667, 3668, 3669, 3670, 3671, 3672, 3673,
3674, 3675, 3676, 3677, 3678
SetSpecies, 3679
Times, 3680, 3681, 3682, 3683
Subset, 3684, 3685, 3686, 3687, 3688, 3689
coerce, 3690, 3691, 3692, 3693
complement, 3694, 3695, 3696, 3697
sum, 3698
sum
FormalPowerSeriesCategory, 3699, 3700, 3701, 3702, 3703, 3704, 3705, 3706,
3707, 3708
FormalPowerSeries, 3709, 3710, 3711
Symbol
SmallIntegerTools, 3712
term
FormalPowerSeriesCategory, 3713, 3714, 3715, 3716, 3717, 3718, 3719, 3720,
3721, 3722, 3723
FormalPowerSeries, 3724, 3725, 3726, 3727
test/grammar.as, 3728, 3729, 3730
test/gseries.as, 3731, 3732, 3733, 3734
test/multinom.as, 3735, 3736, 3737, 3738
test/par.as, 3739, 3740, 3741
test/poly/distpoly.as, 3742, 3743, 3744, 3745
test/poly/idxpp.as, 3746, 3747, 3748, 3749
test/poly/istruc.as, 3750, 3751, 3752, 3753
test/series.as, 3754, 3755, 3756, 3757
test/sitools/sitools.as, 3758, 3759, 3760, 3761
test/species.as, 3762, 3763, 3764
test/stream.as, 3765, 3766, 3767, 3768
testBinaryForest
TestCombinatorialSpecies, 3769
testBinaryForests
TestCombinatorialSpecies, 3770, 3771
testBinaryTreesOfSets
TestCombinatorialSpecies, 3772
, 3773
TestCombinatorialSpecies, 3774, 3775
testBinaryForests, 3776, 3777
testBinaryForest, 3778
testBinaryTreesOfSets, 3779
testCompose3
SmallIntegerTools, 3780, 3781
testComposeBell
TestGeneratingSeries, 3782, 3783
TestGeneratingSeries
testComposeBell, 3784, 3785
testStream10, 3786, 3787
testStream5, 3788, 3789
testStream6, 3790
Times, 3791, 3792, 3793, 3794, 3795, 3796, 3797, 3798, 3799, 3800, 3801
SpeciesExpression, 3802
#, 3803
expression, 3804
generatingSeries, 3805
isomorphismTypeGeneratingSeries, 3806, 3807
isomorphismTypes, 3808, 3809, 3810
structures, 3811, 3812, 3813, 3814
ToDo, 3815, 3816, 3817, 3818, 3819, 3820, 3821, 3822, 3823, 3824, 3825, 3826, 3827,
3828, 3829, 3830, 3831, 3832, 3833, 3834, 3835, 3836, 3837, 3838, 3839, 3840, 3841,
3842, 3843, 3844, 3845, 3846, 3847, 3848, 3849, 3850, 3851, 3852, 3853, 3854,
3855, 3856, 3857, 3858, 3859, 3860, 3861, 3862, 3863, 3864, 3865, 3866, 3867,
3868, 3869, 3870, 3871, 3872, 3873, 3874, 3875, 3876, 3877, 3878, 3879, 3880,
3881, 3882, 3883, 3884, 3885, 3886, 3887, 3888, 3889, 3890, 3891, 3892, 3893,
3894, 3895, 3896, 3897, 3898, 3899, 3900, 3901, 3902, 3903, 3904, 3905, 3906,
3907
tools/generateTestCases.pl, 3908
TotallyOrderedType, 3909, 3910
totient function, 3911
TRACE, 3912, 3913
TRACEFPS, 3914
TRACEINSTANTIATION, 3915
true
Boolean, 3916, 3917, 3918, 3919
Tuple, 3920
type generating series, 3921, 3922, 3923, 3924, 3925, 3926, 3927, 3928, 3929, 3930,
3931, 3932, 3933, 3934
uninitialized
FormalPowerSeries, 3935, 3936
union
SetSpecies, 3937
UnivariateFreeLinearArithmeticType, 3938
unknown
SeriesOrder, 3939, 3940, 3941, 3942, 3943, 3944, 3945, 3946, 3947, 3948, 3949,
3950, 3951, 3952, 3953, 3954, 3955, 3956, 3957, 3958, 3959, 3960, 3961, 3962, 3963,
3964
unranking, 3965, 3966
VARIANTASSERTION, 3967, 3968
VARIANTEXECUTABLEFLAGS, 3969, 3970, 3971
VARIANTFLAGS, 3972, 3973, 3974
VARIANTPOSTFIX, 3975, 3976, 3977
VARIANTSOMENAMEFLAGS, 3978
VARIANTSTOBUILD, 3979, 3980
VersionInformationType, 3981
weight
SparseIndexedPowerProduct, 3982, 3983, 3984, 3985
X
SpeciesExpression, 3986
∖xCombinat, 3987
∖xLibAxiom, 3988
∖xnamedef, 3989
zero?
FormalPowerSeriesCategory, 3990, 3991, 3992, 3993, 3994, 3995, 3996, 3997,
3998
FormalPowerSeries, 3999, 4000, 4001, 4002, 4003, 4004
IndexedFreeAdditiveCombinationType, 4005, 4006, 4007, 4008