Index

*
    FormalPowerSeriesCategory, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20
    FormalPowerSeries, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39
    IndexedFreeArithmeticType, 40, 41, 42
    SeriesOrder, 43, 44, 45, 46, 47, 48, 49, 50, 51, 52, 53, 54
    SparseDistributedPolynomial, 55, 56, 57, 58, 59, 60, 61, 62, 63
    SparseIndexedPowerProduct, 64, 65, 66
    SpeciesExpression, 67, 68, 69, 70
+
    FormalPowerSeriesCategory, 71, 72, 73, 74, 75, 76, 77, 78, 79, 80, 81, 82, 83, 84
    FormalPowerSeries, 85, 86, 87, 88, 89, 90, 91, 92, 93, 94, 95, 96, 97, 98, 99
    IndexedFreeAdditiveCombinationType, 100, 101, 102, 103
    SeriesOrder, 104, 105, 106, 107, 108, 109, 110, 111, 112, 113, 114, 115
    SpeciesExpression, 116, 117, 118, 119
-
    IndexedFreeAdditiveCombinationType, 120, 121, 122, 123, 124, 125
^
    SpeciesExpression, 126, 127, 128, 129, 130
#
    Array, 131
    DataStream, 132, 133, 134, 135, 136, 137, 138, 139, 140, 141, 142, 143, 144, 145, 146, 147, 148, 149
    FormalPowerSeries, 150
    IndexedFreeAdditiveCombinationType, 151, 152, 153, 154
    SetSpecies, 155
    Times, 156
/
    SparseIndexedPowerProduct, 157, 158, 159
<<
    SeriesOrder, 160
=
    SeriesOrder, 161, 162, 163
    SmallIntegerTools, 164

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

cycle type, 214, 215

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