|
#SIXFORMAT GapDocGAP
HELPBOOKINFOSIXTMP := rec(
encoding := "UTF-8",
bookname := "Semigroups",
entries :=
[ [ "Title page", "0.0", [ 0, 0, 0 ], 1, 1, "title page", "X7D2C85EC87DD46E5"
],
[ "Abstract", "0.0-1", [ 0, 0, 1 ], 217, 2, "abstract", "X7AA6C5737B711C89"
],
[ "Copyright", "0.0-2", [ 0, 0, 2 ], 240, 2, "copyright",
"X81488B807F2A1CF1" ],
[ "Acknowledgements", "0.0-3", [ 0, 0, 3 ], 249, 2, "acknowledgements",
"X82A988D47DFAFCFA" ],
[ "Table of Contents", "0.0-4", [ 0, 0, 4 ], 285, 4, "table of contents",
"X8537FEB07AF2BEC8" ],
[
"\033[1X\033[33X\033[0;-2YThe \033[5XSemigroups\033[105X\033[101X\027\033[1\
X\027 package\033[133X\033[101X", "1", [ 1, 0, 0 ], 1, 8,
"the semigroups package", "X7D8D6DB37A0326BE" ],
[ "\033[1X\033[33X\033[0;-2YIntroduction\033[133X\033[101X", "1.1",
[ 1, 1, 0 ], 4, 8, "introduction", "X7DFB63A97E67C0A1" ],
[ "\033[1X\033[33X\033[0;-2YOverview\033[133X\033[101X", "1.2",
[ 1, 2, 0 ], 19, 8, "overview", "X8389AD927B74BA4A" ],
[
"\033[1X\033[33X\033[0;-2YInstalling \033[5XSemigroups\033[105X\033[101X\\
027\033[1X\027\033[133X\033[101X", "2", [ 2, 0, 0 ], 1, 10,
"installing semigroups", "X82398F3785F63754" ],
[ "\033[1X\033[33X\033[0;-2YFor those in a hurry\033[133X\033[101X", "2.1",
[ 2, 1, 0 ], 4, 10, "for those in a hurry", "X7DA3059C79842BF3" ],
[ "\033[1X\033[33X\033[0;-2YCompiling the kernel module\033[133X\033[101X",
"2.2", [ 2, 2, 0 ], 68, 11, "compiling the kernel module",
"X849F6196875A6DF5" ],
[ "\033[1X\033[33X\033[0;-2YRebuilding the documentation\033[133X\033[101X",
"2.3", [ 2, 3, 0 ], 105, 11, "rebuilding the documentation",
"X857CBE5484CF703A" ],
[ "\033[1X\033[33X\033[0;-2YTesting your installation\033[133X\033[101X",
"2.4", [ 2, 4, 0 ], 120, 12, "testing your installation",
"X7862D3F37C5BBDEF" ],
[
"\033[1X\033[33X\033[0;-2YMore information during a computation\033[133X\\
033[101X", "2.5", [ 2, 5, 0 ], 188, 13,
"more information during a computation", "X798CBC46800AB80F" ],
[ "\033[1X\033[33X\033[0;-2YBipartitions and blocks\033[133X\033[101X",
"3", [ 3, 0, 0 ], 1, 14, "bipartitions and blocks", "X7C18DB427C9C0917"
],
[
"\033[1X\033[33X\033[0;-2YThe family and categories of bipartitions\033[133\
X\033[101X", "3.1", [ 3, 1, 0 ], 93, 15,
"the family and categories of bipartitions", "X7850845886902FBF" ],
[ "\033[1X\033[33X\033[0;-2YCreating bipartitions\033[133X\033[101X",
"3.2", [ 3, 2, 0 ], 121, 16, "creating bipartitions",
"X85D77073820C7E72" ],
[
"\033[1X\033[33X\033[0;-2YChanging the representation of a bipartition\033[\
133X\033[101X", "3.3", [ 3, 3, 0 ], 301, 18,
"changing the representation of a bipartition", "X7C2C44D281A0D2C9" ],
[ "\033[1X\033[33X\033[0;-2YOperators for bipartitions\033[133X\033[101X",
"3.4", [ 3, 4, 0 ], 541, 22, "operators for bipartitions",
"X83F2C3C97E8FFA49" ],
[ "\033[1X\033[33X\033[0;-2YAttributes for bipartitons\033[133X\033[101X",
"3.5", [ 3, 5, 0 ], 635, 24, "attributes for bipartitons",
"X87F3A304814797CE" ],
[
"\033[1X\033[33X\033[0;-2YCreating blocks and their attributes\033[133X\\
033[101X", "3.6", [ 3, 6, 0 ], 1041, 30,
"creating blocks and their attributes", "X87684C148592F831" ],
[ "\033[1X\033[33X\033[0;-2YActions on blocks\033[133X\033[101X", "3.7",
[ 3, 7, 0 ], 1159, 32, "actions on blocks", "X7A45E0067F344683" ],
[ "\033[1X\033[33X\033[0;-2YSemigroups of bipartitions\033[133X\033[101X",
"3.8", [ 3, 8, 0 ], 1203, 33, "semigroups of bipartitions",
"X876C963F830719E2" ],
[
"\033[1X\033[33X\033[0;-2YPartitioned binary relations (PBRs)\033[133X\033[\
101X", "4", [ 4, 0, 0 ], 1, 36, "partitioned binary relations pbrs",
"X85A717D1790B7BB5" ],
[
"\033[1X\033[33X\033[0;-2YThe family and categories of PBRs\033[133X\033[10\
1X", "4.1", [ 4, 1, 0 ], 17, 36, "the family and categories of pbrs",
"X7C40DA67826FF873" ],
[ "\033[1X\033[33X\033[0;-2YCreating PBRs\033[133X\033[101X", "4.2",
[ 4, 2, 0 ], 42, 36, "creating pbrs", "X8758C4FB81D2C2A1" ],
[
"\033[1X\033[33X\033[0;-2YChanging the representation of a PBR\033[133X\\
033[101X", "4.3", [ 4, 3, 0 ], 144, 38, "changing the representation of a pbr"
, "X86B714987C01895F" ],
[ "\033[1X\033[33X\033[0;-2YOperators for PBRs\033[133X\033[101X", "4.4",
[ 4, 4, 0 ], 290, 41, "operators for pbrs", "X872B5817878660E5" ],
[ "\033[1X\033[33X\033[0;-2YAttributes for PBRs\033[133X\033[101X", "4.5",
[ 4, 5, 0 ], 306, 41, "attributes for pbrs", "X78EC8E597EB99730" ],
[ "\033[1X\033[33X\033[0;-2YSemigroups of PBRs\033[133X\033[101X", "4.6",
[ 4, 6, 0 ], 612, 46, "semigroups of pbrs", "X7ECD4BBD7A0E834E" ],
[ "\033[1X\033[33X\033[0;-2YMatrices over semirings\033[133X\033[101X",
"5", [ 5, 0, 0 ], 1, 48, "matrices over semirings", "X82D6B7FE7CAC0AFA"
],
[
"\033[1X\033[33X\033[0;-2YCreating matrices over semirings\033[133X\033[101\
X", "5.1", [ 5, 1, 0 ], 47, 49, "creating matrices over semirings",
"X7ECF673C7BE2384D" ],
[ "\033[1X\033[33X\033[0;-2YMatrix filters\033[133X\033[101X", "5.1-8",
[ 5, 1, 8 ], 364, 54, "matrix filters", "X782480C686F1A663" ],
[ "\033[1X\033[33X\033[0;-2YMatrix collection filters\033[133X\033[101X",
"5.1-9", [ 5, 1, 9 ], 395, 54, "matrix collection filters",
"X86233A3E86512493" ],
[
"\033[1X\033[33X\033[0;-2YOperators for matrices over semirings\033[133X\\
033[101X", "5.2", [ 5, 2, 0 ], 521, 57,
"operators for matrices over semirings", "X807E402687741CDA" ],
[ "\033[1X\033[33X\033[0;-2YBoolean matrices\033[133X\033[101X", "5.3",
[ 5, 3, 0 ], 540, 57, "boolean matrices", "X844A32A184E5EB75" ],
[ "\033[1X\033[33X\033[0;-2YMatrices over finite fields\033[133X\033[101X",
"5.4", [ 5, 4, 0 ], 1158, 67, "matrices over finite fields",
"X873822B6830CE367" ],
[ "\033[1X\033[33X\033[0;-2YMatrices over the integers\033[133X\033[101X",
"5.5", [ 5, 5, 0 ], 1219, 68, "matrices over the integers",
"X8770A88E82AA24B7" ],
[
"\033[1X\033[33X\033[0;-2YMax-plus and min-plus matrices\033[133X\033[101X"
, "5.6", [ 5, 6, 0 ], 1307, 70, "max-plus and min-plus matrices",
"X86BFFFBC87F2AB1E" ],
[ "\033[1X\033[33X\033[0;-2YMatrix semigroups\033[133X\033[101X", "5.7",
[ 5, 7, 0 ], 1391, 71, "matrix semigroups", "X79B614AA803BD103" ],
[ "\033[1X\033[33X\033[0;-2YMatrix semigroup filters\033[133X\033[101X",
"5.7-1", [ 5, 7, 1 ], 1417, 72, "matrix semigroup filters",
"X7DC6EB0680B3E4DD" ],
[ "\033[1X\033[33X\033[0;-2YMatrix monoid filters\033[133X\033[101X",
"5.7-2", [ 5, 7, 2 ], 1435, 72, "matrix monoid filters",
"X8616225581BC7414" ],
[
"\033[1X\033[33X\033[0;-2YSemigroups and monoids defined by generating sets\
\033[133X\033[101X", "6", [ 6, 0, 0 ], 1, 74,
"semigroups and monoids defined by generating sets",
"X7995B4F18672DDB0" ],
[ "\033[1X\033[33X\033[0;-2YUnderlying algorithms\033[133X\033[101X",
"6.1", [ 6, 1, 0 ], 9, 74, "underlying algorithms", "X7A19D22B7A05CC2F"
], [ "\033[1X\033[33X\033[0;-2YActing semigroups\033[133X\033[101X",
"6.1-1", [ 6, 1, 1 ], 18, 74, "acting semigroups", "X7A3AC74C7FF85825" ]
,
[ "\033[1X\033[33X\033[0;-2YThe Froidure-Pin Algorithm\033[133X\033[101X",
"6.1-3", [ 6, 1, 3 ], 85, 75, "the froidure-pin algorithm",
"X7E2DE9767D5D82F7" ],
[
"\033[1X\033[33X\033[0;-2YSemigroups represented by generators\033[133X\\
033[101X", "6.2", [ 6, 2, 0 ], 183, 77, "semigroups represented by generators"
, "X79BD00A682BDED7A" ],
[
"\033[1X\033[33X\033[0;-2YOptions when creating semigroups\033[133X\033[101\
X", "6.3", [ 6, 3, 0 ], 200, 77, "options when creating semigroups",
"X799EBA2F819D8867" ],
[
"\033[1X\033[33X\033[0;-2YSubsemigroups and supersemigroups\033[133X\033[10\
1X", "6.4", [ 6, 4, 0 ], 346, 79, "subsemigroups and supersemigroups",
"X87AA2EB6810B4631" ],
[
"\033[1X\033[33X\033[0;-2YChanging the representation of a semigroup\033[13\
3X\033[101X", "6.5", [ 6, 5, 0 ], 499, 82,
"changing the representation of a semigroup", "X82CCC1A781650878" ],
[ "\033[1X\033[33X\033[0;-2YRandom semigroups\033[133X\033[101X", "6.6",
[ 6, 6, 0 ], 1027, 91, "random semigroups", "X7C3F130B8362D55A" ],
[ "\033[1X\033[33X\033[0;-2YStandard examples\033[133X\033[101X", "7",
[ 7, 0, 0 ], 1, 94, "standard examples", "X7C76D1DC7DAF03D3" ],
[ "\033[1X\033[33X\033[0;-2YTransformation semigroups\033[133X\033[101X",
"7.1", [ 7, 1, 0 ], 7, 94, "transformation semigroups",
"X7E42E8337A78B076" ],
[
"\033[1X\033[33X\033[0;-2YSemigroups of order-preserving transformations\\
033[133X\033[101X", "7.1-5", [ 7, 1, 5 ], 89, 95,
"semigroups of order-preserving transformations", "X80E80A0A83B57483" ],
[ "\033[1X\033[33X\033[0;-2YSemigroups of partial permutations\033[133X\033[\
101X", "7.2", [ 7, 2, 0 ], 199, 97, "semigroups of partial permutations",
"X862BA1C67AA1C77C" ],
[
"\033[1X\033[33X\033[0;-2YInverse monoids of order-preserving partial permu\
tations\033[133X\033[101X", "7.2-3", [ 7, 2, 3 ], 248, 98,
"inverse monoids of order-preserving partial permutations",
"X85D841AE83DF101C" ],
[ "\033[1X\033[33X\033[0;-2YSemigroups of bipartitions\033[133X\033[101X",
"7.3", [ 7, 3, 0 ], 302, 99, "semigroups of bipartitions",
"X876C963F830719E2" ],
[ "\033[1X\033[33X\033[0;-2YStandard PBR semigroups\033[133X\033[101X",
"7.4", [ 7, 4, 0 ], 698, 106, "standard pbr semigroups",
"X874C945E7C61A969" ],
[
"\033[1X\033[33X\033[0;-2YSemigroups of matrices over a finite field\033[13\
3X\033[101X", "7.5", [ 7, 5, 0 ], 725, 106,
"semigroups of matrices over a finite field", "X857DBF537A9A9976" ],
[
"\033[1X\033[33X\033[0;-2YSemigroups of boolean matrices\033[133X\033[101X"
, "7.6", [ 7, 6, 0 ], 798, 108, "semigroups of boolean matrices",
"X85BACB7F81660ECC" ],
[
"\033[1X\033[33X\033[0;-2YSemigroups of matrices over a semiring\033[133X\\
033[101X", "7.7", [ 7, 7, 0 ], 955, 110,
"semigroups of matrices over a semiring", "X7F3D0AEE79AA8C98" ],
[
"\033[1X\033[33X\033[0;-2YExamples in various representations\033[133X\033[\
101X", "7.8", [ 7, 8, 0 ], 1005, 111, "examples in various representations",
"X7ED2F2577CD6B578" ],
[ "\033[1X\033[33X\033[0;-2YFree bands\033[133X\033[101X", "7.9",
[ 7, 9, 0 ], 1353, 117, "free bands", "X7BB29A6779E8066A" ],
[ "\033[1X\033[33X\033[0;-2YOperators\033[133X\033[101X", "7.9-10",
[ 7, 9, 10 ], 1567, 120, "operators", "X7AD6F77E7D95C996" ],
[ "\033[1X\033[33X\033[0;-2YGraph inverse semigroups\033[133X\033[101X",
"7.10", [ 7, 10, 0 ], 1582, 120, "graph inverse semigroups",
"X850B10D783053100" ],
[ "\033[1X\033[33X\033[0;-2YFree inverse semigroups\033[133X\033[101X",
"7.11", [ 7, 11, 0 ], 1819, 124, "free inverse semigroups",
"X7E51292C8755DCF2" ],
[
"\033[1X\033[33X\033[0;-2YDisplaying free inverse semigroup elements\033[13\
3X\033[101X", "7.11-8", [ 7, 11, 8 ], 1977, 127,
"displaying free inverse semigroup elements", "X8073A2387A42B52D" ],
[
"\033[1X\033[33X\033[0;-2YOperators for free inverse semigroup elements\\
033[133X\033[101X", "7.11-9", [ 7, 11, 9 ], 2011, 128,
"operators for free inverse semigroup elements", "X7A55FD9A7DF21C60" ],
[ "\033[1X\033[33X\033[0;-2YStandard constructions\033[133X\033[101X", "8",
[ 8, 0, 0 ], 1, 129, "standard constructions", "X86EE8DC987BA646E" ],
[ "\033[1X\033[33X\033[0;-2YProducts of semigroups\033[133X\033[101X",
"8.1", [ 8, 1, 0 ], 8, 129, "products of semigroups",
"X79546641809113CE" ],
[ "\033[1X\033[33X\033[0;-2YDual semigroups\033[133X\033[101X", "8.2",
[ 8, 2, 0 ], 80, 130, "dual semigroups", "X7F035EC07AA7CD97" ],
[
"\033[1X\033[33X\033[0;-2YStrong semilattices of semigroups\033[133X\033[10\
1X", "8.3", [ 8, 3, 0 ], 213, 132, "strong semilattices of semigroups",
"X7BEA92E67A6D349A" ],
[ "\033[1X\033[33X\033[0;-2YMcAlister triple semigroups\033[133X\033[101X",
"8.4", [ 8, 4, 0 ], 350, 135, "mcalister triple semigroups",
"X7CC4F6FE87AFE638" ],
[ "\033[1X\033[33X\033[0;-2YIdeals\033[133X\033[101X", "9", [ 9, 0, 0 ], 1,
140, "ideals", "X83629803819C4A6F" ],
[ "\033[1X\033[33X\033[0;-2YCreating ideals\033[133X\033[101X", "9.1",
[ 9, 1, 0 ], 22, 140, "creating ideals", "X82D4D9A578A56A8D" ],
[ "\033[1X\033[33X\033[0;-2YAttributes of ideals\033[133X\033[101X", "9.2",
[ 9, 2, 0 ], 78, 141, "attributes of ideals", "X85D4E72B787B1C49" ],
[ "\033[1X\033[33X\033[0;-2YGreen's relations\033[133X\033[101X", "10",
[ 10, 0, 0 ], 1, 144, "greens relations", "X80C6C718801855E9" ],
[
"\033[1X\033[33X\033[0;-2YCreating Green's classes and representatives\033[\
133X\033[101X", "10.1", [ 10, 1, 0 ], 7, 144,
"creating greens classes and representatives", "X788D6753849BAD7C" ],
[ "\033[1X\033[33X\033[0;-2YXClassOfYClass\033[133X\033[101X", "10.1-1",
[ 10, 1, 1 ], 13, 144, "xclassofyclass", "X87558FEF805D24E1" ],
[ "\033[1X\033[33X\033[0;-2YGreensXClassOfElement\033[133X\033[101X",
"10.1-2", [ 10, 1, 2 ], 78, 145, "greensxclassofelement",
"X81B7AD4C7C552867" ],
[ "\033[1X\033[33X\033[0;-2YGreensXClassOfElementNC\033[133X\033[101X",
"10.1-3", [ 10, 1, 3 ], 117, 146, "greensxclassofelementnc",
"X7B44317786571F8B" ],
[ "\033[1X\033[33X\033[0;-2YGreensXClasses\033[133X\033[101X", "10.1-4",
[ 10, 1, 4 ], 185, 147, "greensxclasses", "X7D51218A80234DE5" ],
[ "\033[1X\033[33X\033[0;-2YXClassReps\033[133X\033[101X", "10.1-5",
[ 10, 1, 5 ], 285, 149, "xclassreps", "X865387A87FAAC395" ],
[ "\033[1X\033[33X\033[0;-2YMaximalXClasses\033[133X\033[101X", "10.1-7",
[ 10, 1, 7 ], 368, 150, "maximalxclasses", "X834172F4787A565B" ],
[ "\033[1X\033[33X\033[0;-2YNrXClasses\033[133X\033[101X", "10.1-9",
[ 10, 1, 9 ], 427, 151, "nrxclasses", "X7E45FD9F7BADDFBD" ],
[ "\033[1X\033[33X\033[0;-2YPartialOrderOfXClasses\033[133X\033[101X",
"10.1-10", [ 10, 1, 10 ], 508, 152, "partialorderofxclasses",
"X8140814084748101" ],
[
"\033[1X\033[33X\033[0;-2YIterators and enumerators of classes and represen\
tatives\033[133X\033[101X", "10.2", [ 10, 2, 0 ], 645, 155,
"iterators and enumerators of classes and representatives",
"X819CCBD67FD27115" ],
[ "\033[1X\033[33X\033[0;-2YIteratorOfXClassReps\033[133X\033[101X",
"10.2-1", [ 10, 2, 1 ], 651, 155, "iteratorofxclassreps",
"X8566F84A7F6D4193" ],
[ "\033[1X\033[33X\033[0;-2YIteratorOfXClasses\033[133X\033[101X",
"10.2-2", [ 10, 2, 2 ], 666, 155, "iteratorofxclasses",
"X867D7B8982915960" ],
[ "\033[1X\033[33X\033[0;-2YProperties of Green's classes\033[133X\033[101X"
, "10.3", [ 10, 3, 0 ], 744, 156, "properties of greens classes",
"X820EF2BA7D5D53B4" ],
[ "\033[1X\033[33X\033[0;-2YLess than for Green's classes\033[133X\033[101X"
, "10.3-1", [ 10, 3, 1 ], 750, 157, "less than for greens classes",
"X85F30ACF86C3A733" ],
[ "\033[1X\033[33X\033[0;-2YAttributes of Green's classes\033[133X\033[101X"
, "10.4", [ 10, 4, 0 ], 855, 158, "attributes of greens classes",
"X855723B17D4AAF8F" ],
[
"\033[1X\033[33X\033[0;-2YOperations for Green's relations and classes\033[\
133X\033[101X", "10.5", [ 10, 5, 0 ], 1178, 164,
"operations for greens relations and classes", "X802E2BC9828341A2" ],
[
"\033[1X\033[33X\033[0;-2YAttributes and operations for semigroups\033[133X\
\033[101X", "11", [ 11, 0, 0 ], 1, 166,
"attributes and operations for semigroups", "X7C75B1DB81C7779B" ],
[
"\033[1X\033[33X\033[0;-2YAccessing the elements of a semigroup\033[133X\\
033[101X", "11.1", [ 11, 1, 0 ], 8, 166,
"accessing the elements of a semigroup", "X7AE0630287B8A757" ],
[ "\033[1X\033[33X\033[0;-2YCayley graphs\033[133X\033[101X", "11.2",
[ 11, 2, 0 ], 119, 168, "cayley graphs", "X789D5E5A8558AA07" ],
[
"\033[1X\033[33X\033[0;-2YRandom elements of a semigroup\033[133X\033[101X"
, "11.3", [ 11, 3, 0 ], 149, 168, "random elements of a semigroup",
"X824184C785BF12FF" ],
[
"\033[1X\033[33X\033[0;-2YProperties of elements in a semigroup\033[133X\\
033[101X", "11.4", [ 11, 4, 0 ], 164, 169,
"properties of elements in a semigroup", "X80EB463F7E5D8920" ],
[
"\033[1X\033[33X\033[0;-2YOperations for elements in a semigroup\033[133X\\
033[101X", "11.5", [ 11, 5, 0 ], 227, 170,
"operations for elements in a semigroup", "X7A20EC348515E37B" ],
[
"\033[1X\033[33X\033[0;-2YExpressing semigroup elements as words in generat\
ors\033[133X\033[101X", "11.6", [ 11, 6, 0 ], 256, 170,
"expressing semigroup elements as words in generators",
"X81CEB3717E021643" ],
[ "\033[1X\033[33X\033[0;-2YGenerating sets\033[133X\033[101X", "11.7",
[ 11, 7, 0 ], 460, 174, "generating sets", "X7E4AA1437A6C7B40" ],
[
"\033[1X\033[33X\033[0;-2YMinimal ideals and multiplicative zeros\033[133X\\
033[101X", "11.8", [ 11, 8, 0 ], 798, 179,
"minimal ideals and multiplicative zeros", "X830E18747A0B5BED" ],
[
"\033[1X\033[33X\033[0;-2YGroup of units and identity elements\033[133X\\
033[101X", "11.9", [ 11, 9, 0 ], 952, 182,
"group of units and identity elements", "X7CAB17667ED5A6E8" ],
[ "\033[1X\033[33X\033[0;-2YIdempotents\033[133X\033[101X", "11.10",
[ 11, 10, 0 ], 1004, 183, "idempotents", "X7C651C9C78398FFF" ],
[ "\033[1X\033[33X\033[0;-2YMaximal subsemigroups\033[133X\033[101X",
"11.11", [ 11, 11, 0 ], 1175, 186, "maximal subsemigroups",
"X7D490B867CEFCBEF" ],
[
"\033[1X\033[33X\033[0;-2YAttributes of transformations and transformation \
semigroups\033[133X\033[101X", "11.12", [ 11, 12, 0 ], 1367, 189,
"attributes of transformations and transformation semigroups",
"X87696C597F453F4F" ],
[
"\033[1X\033[33X\033[0;-2YAttributes of partial perm semigroups\033[133X\\
033[101X", "11.13", [ 11, 13, 0 ], 1628, 193,
"attributes of partial perm semigroups", "X84B8E29C7D7565B0" ],
[
"\033[1X\033[33X\033[0;-2YAttributes of Rees (0-)matrix semigroups\033[133X\
\033[101X", "11.14", [ 11, 14, 0 ], 1708, 195,
"attributes of rees 0- matrix semigroups", "X7AF313CF7CBE98D7" ],
[
"\033[1X\033[33X\033[0;-2YAttributes of inverse semigroups\033[133X\033[101\
X", "11.15", [ 11, 15, 0 ], 1773, 196, "attributes of inverse semigroups",
"X822D030682BC1275" ],
[ "\033[1X\033[33X\033[0;-2YNambooripad partial order\033[133X\033[101X",
"11.16", [ 11, 16, 0 ], 2172, 202, "nambooripad partial order",
"X7AA4CE887EEA661A" ],
[ "\033[1X\033[33X\033[0;-2YProperties of semigroups\033[133X\033[101X",
"12", [ 12, 0, 0 ], 1, 204, "properties of semigroups",
"X78274024827F306D" ],
[ "\033[1X\033[33X\033[0;-2YArbitrary semigroups\033[133X\033[101X",
"12.1", [ 12, 1, 0 ], 7, 204, "arbitrary semigroups",
"X7D297AEC827F3D4E" ],
[ "\033[1X\033[33X\033[0;-2YIsIdempotentGenerated\033[133X\033[101X",
"12.1-8", [ 12, 1, 8 ], 243, 208, "isidempotentgenerated",
"X835484C481CF3DDD" ],
[ "\033[1X\033[33X\033[0;-2YIsXTrivial\033[133X\033[101X", "12.1-19",
[ 12, 1, 19 ], 567, 213, "isxtrivial", "X8752642C7F7E512B" ],
[ "\033[1X\033[33X\033[0;-2YIsSimpleSemigroup\033[133X\033[101X",
"12.1-22", [ 12, 1, 22 ], 661, 215, "issimplesemigroup",
"X836F4692839F4874" ],
[ "\033[1X\033[33X\033[0;-2YInverse semigroups\033[133X\033[101X", "12.2",
[ 12, 2, 0 ], 883, 218, "inverse semigroups", "X80F2725581B166EE" ],
[ "\033[1X\033[33X\033[0;-2YCongruences\033[133X\033[101X", "13",
[ 13, 0, 0 ], 1, 225, "congruences", "X82BD951079E3C349" ],
[ "\033[1X\033[33X\033[0;-2YSemigroup congruence objects\033[133X\033[101X",
"13.1", [ 13, 1, 0 ], 43, 225, "semigroup congruence objects",
"X784770137D98FEB9" ],
[ "\033[1X\033[33X\033[0;-2YCreating congruences\033[133X\033[101X",
"13.2", [ 13, 2, 0 ], 136, 227, "creating congruences",
"X7D49787B7B2589B2" ],
[ "\033[1X\033[33X\033[0;-2YCongruence classes\033[133X\033[101X", "13.3",
[ 13, 3, 0 ], 228, 229, "congruence classes", "X7D65BB067A762CD6" ],
[
"\033[1X\033[33X\033[0;-2YFinding the congruences of a semigroup\033[133X\\
033[101X", "13.4", [ 13, 4, 0 ], 502, 233,
"finding the congruences of a semigroup", "X806DEBC07E6D8FCA" ],
[ "\033[1X\033[33X\033[0;-2YComparing congruences\033[133X\033[101X",
"13.5", [ 13, 5, 0 ], 1120, 244, "comparing congruences",
"X857D750579B87DBF" ],
[
"\033[1X\033[33X\033[0;-2YCongruences on Rees matrix semigroups\033[133X\\
033[101X", "13.6", [ 13, 6, 0 ], 1210, 245,
"congruences on rees matrix semigroups", "X7A6478D1831DD787" ],
[
"\033[1X\033[33X\033[0;-2YCongruences on inverse semigroups\033[133X\033[10\
1X", "13.7", [ 13, 7, 0 ], 1440, 249, "congruences on inverse semigroups",
"X7BFDC38178940AE6" ],
[
"\033[1X\033[33X\033[0;-2YCongruences on graph inverse semigroups\033[133X\\
033[101X", "13.8", [ 13, 8, 0 ], 1654, 252,
"congruences on graph inverse semigroups", "X8036DAA287C71CAC" ],
[ "\033[1X\033[33X\033[0;-2YRees congruences\033[133X\033[101X", "13.9",
[ 13, 9, 0 ], 1783, 255, "rees congruences", "X7CE483078769A4D6" ],
[
"\033[1X\033[33X\033[0;-2YUniversal and trivial congruences\033[133X\033[10\
1X", "13.10", [ 13, 10, 0 ], 1839, 256, "universal and trivial congruences",
"X7C6B4A2980BE9B03" ],
[ "\033[1X\033[33X\033[0;-2YSemigroup homomorphisms\033[133X\033[101X",
"14", [ 14, 0, 0 ], 1, 258, "semigroup homomorphisms",
"X861935DB81A478C2" ],
[
"\033[1X\033[33X\033[0;-2YHomomorphisms of arbitrary semigroups\033[133X\\
033[101X", "14.1", [ 14, 1, 0 ], 7, 258,
"homomorphisms of arbitrary semigroups", "X7F1FDA9C7C25799A" ],
[
"\033[1X\033[33X\033[0;-2YIsomorphisms of arbitrary semigroups\033[133X\\
033[101X", "14.2", [ 14, 2, 0 ], 224, 262,
"isomorphisms of arbitrary semigroups", "X7A8945817BD44943" ],
[
"\033[1X\033[33X\033[0;-2YIsomorphisms of Rees (0-)matrix semigroups\033[13\
3X\033[101X", "14.3", [ 14, 3, 0 ], 624, 268,
"isomorphisms of rees 0- matrix semigroups", "X80DE3DB0782D9358" ],
[
"\033[1X\033[33X\033[0;-2YOperators for isomorphisms of Rees (0-)matrix sem\
igroups\033[133X\033[101X", "14.3-7", [ 14, 3, 7 ], 837, 272,
"operators for isomorphisms of rees 0- matrix semigroups",
"X7ED8BF227F4229E2" ],
[
"\033[1X\033[33X\033[0;-2YFinitely presented semigroups and Tietze transfor\
mations\033[133X\033[101X", "15", [ 15, 0, 0 ], 1, 273,
"finitely presented semigroups and tietze transformations",
"X7F11EF307D4F409B" ],
[
"\033[1X\033[33X\033[0;-2YChanging representation for words and strings\\
033[133X\033[101X", "15.1", [ 15, 1, 0 ], 18, 273,
"changing representation for words and strings", "X87CDF7DF7E47F8FB" ],
[ "\033[1X\033[33X\033[0;-2YHelper functions\033[133X\033[101X", "15.2",
[ 15, 2, 0 ], 103, 275, "helper functions", "X7BD4785D8488BAD5" ],
[
"\033[1X\033[33X\033[0;-2YCreating Tietze transformation objects\033[133X\\
033[101X", "15.3", [ 15, 3, 0 ], 241, 277,
"creating tietze transformation objects", "X8379F50C83FA5088" ],
[
"\033[1X\033[33X\033[0;-2YPrinting Tietze transformation objects\033[133X\\
033[101X", "15.4", [ 15, 4, 0 ], 416, 280,
"printing tietze transformation objects", "X84E3986C7EA62A06" ],
[
"\033[1X\033[33X\033[0;-2YChanging Tietze transformation objects\033[133X\\
033[101X", "15.5", [ 15, 5, 0 ], 552, 282,
"changing tietze transformation objects", "X7EAF8F7A7F7A2A78" ],
[
"\033[1X\033[33X\033[0;-2YConverting a Tietze transformation object into a \
fp semigroup\033[133X\033[101X", "15.6", [ 15, 6, 0 ], 757, 285,
"converting a tietze transformation object into a fp semigroup",
"X7CBD15BC86CC2080" ],
[
"\033[1X\033[33X\033[0;-2YAutomatically simplifying a Tietze transformation\
object\033[133X\033[101X", "15.7", [ 15, 7, 0 ], 876, 287,
"automatically simplifying a tietze transformation object",
"X8549F1C87E7BD29A" ],
[
"\033[1X\033[33X\033[0;-2YAutomatically simplifying an fp semigroup\033[133\
X\033[101X", "15.8", [ 15, 8, 0 ], 954, 289,
"automatically simplifying an fp semigroup", "X817332E27D0406A7" ],
[
"\033[1X\033[33X\033[0;-2YVisualising semigroups and elements\033[133X\033[\
101X", "16", [ 16, 0, 0 ], 1, 293, "visualising semigroups and elements",
"X80E82C6785300A86" ],
[
"\033[1X\033[33X\033[0;-2Y\033[10Xdot\033[110X\033[101X\027\033[1X\027 pict\
ures\033[133X\033[101X", "16.1", [ 16, 1, 0 ], 11, 293, "dot pictures",
"X82E16CAB874A1D84" ],
[
"\033[1X\033[33X\033[0;-2Y\033[10Xtex\033[110X\033[101X\027\033[1X\027 outp\
ut\033[133X\033[101X", "16.2", [ 16, 2, 0 ], 162, 295, "tex output",
"X83152CA78114E2BD" ],
[
"\033[1X\033[33X\033[0;-2Y\033[10Xtikz\033[110X\033[101X\027\033[1X\027 pic\
tures\033[133X\033[101X", "16.3", [ 16, 3, 0 ], 189, 296, "tikz pictures",
"X7BDDE0FE80D09887" ],
[ "\033[1X\033[33X\033[0;-2YIO\033[133X\033[101X", "17", [ 17, 0, 0 ], 1,
299, "io", "X80CDCB927B3E5BB9" ],
[
"\033[1X\033[33X\033[0;-2YReading and writing elements to a file\033[133X\\
033[101X", "17.1", [ 17, 1, 0 ], 4, 299,
"reading and writing elements to a file", "X7CE72BB17F2D49F8" ],
[
"\033[1X\033[33X\033[0;-2YReading and writing multiplication tables to a fi\
le\033[133X\033[101X", "17.2", [ 17, 2, 0 ], 85, 300,
"reading and writing multiplication tables to a file",
"X7AB8E281795A4964" ],
[ "\033[1X\033[33X\033[0;-2YTranslations\033[133X\033[101X", "18",
[ 18, 0, 0 ], 1, 302, "translations", "X7EC01B437CC2B2C9" ],
[ "\033[1X\033[33X\033[0;-2YMethods for translations\033[133X\033[101X",
"18.1", [ 18, 1, 0 ], 68, 303, "methods for translations",
"X864C64877E5714AC" ],
[ "\033[1X\033[33X\033[0;-2YIsXTranslation\033[133X\033[101X", "18.1-1",
[ 18, 1, 1 ], 71, 303, "isxtranslation", "X849F15607B774B90" ],
[ "\033[1X\033[33X\033[0;-2YIsXTranslationCollection\033[133X\033[101X",
"18.1-3", [ 18, 1, 3 ], 125, 304, "isxtranslationcollection",
"X7F536B1B85978B63" ],
[ "\033[1X\033[33X\033[0;-2YXPartOfBitranslation\033[133X\033[101X",
"18.1-4", [ 18, 1, 4 ], 137, 304, "xpartofbitranslation",
"X7D52D17E7A28CE0E" ],
[ "\033[1X\033[33X\033[0;-2YXTranslation\033[133X\033[101X", "18.1-5",
[ 18, 1, 5 ], 148, 304, "xtranslation", "X7ACCBAB57E910910" ],
[ "\033[1X\033[33X\033[0;-2YUnderlyingSemigroup\033[133X\033[101X",
"18.1-7", [ 18, 1, 7 ], 215, 305, "underlyingsemigroup",
"X7B5BB0BA8683A021" ],
[
"\033[1X\033[33X\033[0;-2YXTranslationsSemigroupOfFamily\033[133X\033[101X"
, "18.1-8", [ 18, 1, 8 ], 225, 305, "xtranslationssemigroupoffamily",
"X857C28C8790A35F6" ],
[
"\033[1X\033[33X\033[0;-2YTypeXTranslationSemigroupElements\033[133X\033[10\
1X", "18.1-9", [ 18, 1, 9 ], 249, 306, "typextranslationsemigroupelements",
"X7AA681A283A22C28" ],
[ "\033[1X\033[33X\033[0;-2YXTranslations\033[133X\033[101X", "18.1-10",
[ 18, 1, 10 ], 260, 306, "xtranslations", "X7D5CC8A48371410D" ],
[ "\033[1X\033[33X\033[0;-2YNrXTranslations\033[133X\033[101X", "18.1-12",
[ 18, 1, 12 ], 298, 307, "nrxtranslations", "X7C826FBA78739FA4" ],
[ "\033[1X\033[33X\033[0;-2YInnerXTranslations\033[133X\033[101X",
"18.1-13", [ 18, 1, 13 ], 322, 307, "innerxtranslations",
"X7E9306DF79587A33" ],
[ "Bibliography", "bib", [ "Bib", 0, 0 ], 1, 309, "bibliography",
"X7A6F98FD85F02BFE" ],
[ "References", "bib", [ "Bib", 0, 0 ], 1, 309, "references",
"X7A6F98FD85F02BFE" ],
[ "Index", "ind", [ "Ind", 0, 0 ], 1, 312, "index", "X83A0356F839C696F" ],
[ "\033[5XSemigroups\033[105X package overview", "1.0", [ 1, 0, 0 ], 1, 8,
"semigroups package overview", "X7D8D6DB37A0326BE" ],
[ "\033[2XSemigroupsTestInstall\033[102X", "2.4-1", [ 2, 4, 1 ], 135, 12,
"semigroupstestinstall", "X80F85B577A3DFCF9" ],
[ "\033[2XSemigroupsTestStandard\033[102X", "2.4-2", [ 2, 4, 2 ], 145, 12,
"semigroupsteststandard", "X7C2D57708006AB63" ],
[ "\033[2XSemigroupsTestExtreme\033[102X", "2.4-3", [ 2, 4, 3 ], 159, 12,
"semigroupstestextreme", "X7ED2F9C784B554D8" ],
[ "\033[2XSemigroupsTestAll\033[102X", "2.4-4", [ 2, 4, 4 ], 175, 12,
"semigroupstestall", "X8544F4BD79F0BF3C" ],
[ "\033[2XInfoSemigroups\033[102X", "2.5-1", [ 2, 5, 1 ], 191, 13,
"infosemigroups", "X85CD4E6C82BECAF3" ],
[ "\033[2XIsBipartition\033[102X", "3.1-1", [ 3, 1, 1 ], 96, 15,
"isbipartition", "X80F11BEF856E7902" ],
[ "\033[2XIsBipartitionCollection\033[102X", "3.1-2", [ 3, 1, 2 ], 107, 15,
"isbipartitioncollection", "X82F5D10C85489832" ],
[ "\033[2XIsBipartitionCollColl\033[102X", "3.1-2", [ 3, 1, 2 ], 107, 15,
"isbipartitioncollcoll", "X82F5D10C85489832" ],
[ "\033[2XBipartition\033[102X", "3.2-1", [ 3, 2, 1 ], 129, 16,
"bipartition", "X7E052E6378A5B758" ],
[ "\033[2XBipartitionByIntRep\033[102X", "3.2-2", [ 3, 2, 2 ], 145, 16,
"bipartitionbyintrep", "X846AA7568435D2CE" ],
[ "\033[2XIdentityBipartition\033[102X", "3.2-3", [ 3, 2, 3 ], 183, 16,
"identitybipartition", "X8379B0538101FBC8" ],
[ "\033[2XLeftOne\033[102X for a bipartition", "3.2-4", [ 3, 2, 4 ], 196,
17, "leftone for a bipartition", "X824EDD4582AAA8C7" ],
[ "\033[2XLeftProjection\033[102X", "3.2-4", [ 3, 2, 4 ], 196, 17,
"leftprojection", "X824EDD4582AAA8C7" ],
[ "\033[2XRightOne\033[102X for a bipartition", "3.2-5", [ 3, 2, 5 ], 225,
17, "rightone for a bipartition", "X790B71108070FAC2" ],
[ "\033[2XRightProjection\033[102X", "3.2-5", [ 3, 2, 5 ], 225, 17,
"rightprojection", "X790B71108070FAC2" ],
[ "\033[2XStarOp\033[102X for a bipartition", "3.2-6", [ 3, 2, 6 ], 252,
18, "starop for a bipartition", "X7CE00E0C79F62745" ],
[ "\033[2XStar\033[102X for a bipartition", "3.2-6", [ 3, 2, 6 ], 252, 18,
"star for a bipartition", "X7CE00E0C79F62745" ],
[ "\033[2XRandomBipartition\033[102X", "3.2-7", [ 3, 2, 7 ], 278, 18,
"randombipartition", "X8077265981409CCB" ],
[ "\033[2XRandomBlockBijection\033[102X", "3.2-7", [ 3, 2, 7 ], 278, 18,
"randomblockbijection", "X8077265981409CCB" ],
[ "\033[2XAsBipartition\033[102X", "3.3-1", [ 3, 3, 1 ], 314, 19,
"asbipartition", "X855126D98583C181" ],
[ "\033[2XAsBlockBijection\033[102X", "3.3-2", [ 3, 3, 2 ], 418, 20,
"asblockbijection", "X85A5AD2B7F3B776F" ],
[ "\033[2XAsTransformation\033[102X for a bipartition", "3.3-3",
[ 3, 3, 3 ], 462, 21, "astransformation for a bipartition",
"X7CE91D0C83865214" ],
[ "\033[2XAsPartialPerm\033[102X for a bipartition", "3.3-4", [ 3, 3, 4 ],
489, 21, "aspartialperm for a bipartition", "X7C5212EF7A200E63" ],
[ "\033[2XAsPermutation\033[102X for a bipartition", "3.3-5", [ 3, 3, 5 ],
517, 22, "aspermutation for a bipartition", "X7C684CD38405DBEF" ],
[ "\033[10X*\033[110X (for bipartitions)", "3.4", [ 3, 4, 0 ], 541, 22,
"* for bipartitions", "X83F2C3C97E8FFA49" ],
[ "\033[10X<\033[110X (for bipartitions)", "3.4", [ 3, 4, 0 ], 541, 22,
"< for bipartitions", "X83F2C3C97E8FFA49" ],
[ "\033[10X=\033[110X (for bipartitions)", "3.4", [ 3, 4, 0 ], 541, 22,
"= for bipartitions", "X83F2C3C97E8FFA49" ],
[ "\033[2XPartialPermLeqBipartition\033[102X", "3.4-1", [ 3, 4, 1 ], 555,
23, "partialpermleqbipartition", "X7A39D36086647536" ],
[ "\033[2XNaturalLeqPartialPermBipartition\033[102X", "3.4-2", [ 3, 4, 2 ],
564, 23, "naturalleqpartialpermbipartition", "X8608D78F83D55108" ],
[ "\033[2XNaturalLeqBlockBijection\033[102X", "3.4-3", [ 3, 4, 3 ], 579,
23, "naturalleqblockbijection", "X79E8FA077E24C1F4" ],
[ "\033[2XPermLeftQuoBipartition\033[102X", "3.4-4", [ 3, 4, 4 ], 611, 23,
"permleftquobipartition", "X7D9F5A248028FF52" ],
[ "\033[2XDegreeOfBipartition\033[102X", "3.5-1", [ 3, 5, 1 ], 641, 24,
"degreeofbipartition", "X780F5E00784FE58C" ],
[ "\033[2XDegreeOfBipartitionCollection\033[102X", "3.5-1", [ 3, 5, 1 ],
641, 24, "degreeofbipartitioncollection", "X780F5E00784FE58C" ],
[ "\033[2XRankOfBipartition\033[102X", "3.5-2", [ 3, 5, 2 ], 669, 24,
"rankofbipartition", "X82074756826AD2C2" ],
[ "\033[2XNrTransverseBlocks\033[102X for a bipartition", "3.5-2",
[ 3, 5, 2 ], 669, 24, "nrtransverseblocks for a bipartition",
"X82074756826AD2C2" ],
[ "\033[2XExtRepOfObj\033[102X for a bipartition", "3.5-3", [ 3, 5, 3 ],
690, 25, "extrepofobj for a bipartition", "X86F6506C780C6E08" ],
[ "\033[2XIntRepOfBipartition\033[102X", "3.5-4", [ 3, 5, 4 ], 706, 25,
"intrepofbipartition", "X7ECD393A854C073B" ],
[ "\033[2XRightBlocks\033[102X", "3.5-5", [ 3, 5, 5 ], 729, 25,
"rightblocks", "X86A10B138230C2A4" ],
[ "\033[2XLeftBlocks\033[102X", "3.5-6", [ 3, 5, 6 ], 756, 26,
"leftblocks", "X7B9B364379D8F4E8" ],
[ "\033[2XNrLeftBlocks\033[102X", "3.5-7", [ 3, 5, 7 ], 783, 26,
"nrleftblocks", "X79AEDB5382FD25CF" ],
[ "\033[2XNrRightBlocks\033[102X", "3.5-8", [ 3, 5, 8 ], 801, 26,
"nrrightblocks", "X86385A3C8662E1A7" ],
[ "\033[2XNrBlocks\033[102X for blocks", "3.5-9", [ 3, 5, 9 ], 819, 27,
"nrblocks for blocks", "X8110B6557A98FB5C" ],
[ "\033[2XNrBlocks\033[102X for a bipartition", "3.5-9", [ 3, 5, 9 ], 819,
27, "nrblocks for a bipartition", "X8110B6557A98FB5C" ],
[ "\033[2XDomainOfBipartition\033[102X", "3.5-10", [ 3, 5, 10 ], 841, 27,
"domainofbipartition", "X8657EE2B79E1DD02" ],
[ "\033[2XCodomainOfBipartition\033[102X", "3.5-11", [ 3, 5, 11 ], 860, 27,
"codomainofbipartition", "X84569A187A211332" ],
[ "\033[2XIsTransBipartition\033[102X", "3.5-12", [ 3, 5, 12 ], 879, 28,
"istransbipartition", "X79C556827A578509" ],
[ "\033[2XIsDualTransBipartition\033[102X", "3.5-13", [ 3, 5, 13 ], 905,
28, "isdualtransbipartition", "X7F0B8ACC7C9A937F" ],
[ "\033[2XIsPermBipartition\033[102X", "3.5-14", [ 3, 5, 14 ], 931, 29,
"ispermbipartition", "X8031B53E7D0ECCFA" ],
[ "\033[2XIsPartialPermBipartition\033[102X", "3.5-15", [ 3, 5, 15 ], 953,
29, "ispartialpermbipartition", "X87C771D37B1FE95C" ],
[ "\033[2XIsBlockBijection\033[102X", "3.5-16", [ 3, 5, 16 ], 977, 29,
"isblockbijection", "X829494DF7FD6CFEC" ],
[ "\033[2XIsUniformBlockBijection\033[102X", "3.5-17", [ 3, 5, 17 ], 999,
30, "isuniformblockbijection", "X79D54AD8833B9551" ],
[ "\033[2XCanonicalBlocks\033[102X", "3.5-18", [ 3, 5, 18 ], 1019, 30,
"canonicalblocks", "X7B87B9B081FF88BB" ],
[ "\033[2XIsBlocks\033[102X", "3.6-1", [ 3, 6, 1 ], 1052, 31, "isblocks",
"X7D77092078EC860C" ],
[ "\033[2XBLOCKS_NC\033[102X", "3.6-2", [ 3, 6, 2 ], 1061, 31, "blocks_nc",
"X81302B217DCAAE6F" ],
[ "\033[2XExtRepOfObj\033[102X for a blocks", "3.6-3", [ 3, 6, 3 ], 1083,
31, "extrepofobj for a blocks", "X7D2CB12279623CE2" ],
[ "\033[2XRankOfBlocks\033[102X", "3.6-4", [ 3, 6, 4 ], 1098, 31,
"rankofblocks", "X787D22AE7FA69239" ],
[ "\033[2XNrTransverseBlocks\033[102X for blocks", "3.6-4", [ 3, 6, 4 ],
1098, 31, "nrtransverseblocks for blocks", "X787D22AE7FA69239" ],
[ "\033[2XDegreeOfBlocks\033[102X", "3.6-5", [ 3, 6, 5 ], 1117, 32,
"degreeofblocks", "X8527DC6A8771C2BE" ],
[ "\033[2XProjectionFromBlocks\033[102X", "3.6-6", [ 3, 6, 6 ], 1133, 32,
"projectionfromblocks", "X815D99A983B2355F" ],
[ "\033[2XOnRightBlocks\033[102X", "3.7-1", [ 3, 7, 1 ], 1165, 32,
"onrightblocks", "X7B701DA37F75E77B" ],
[ "\033[2XOnLeftBlocks\033[102X", "3.7-2", [ 3, 7, 2 ], 1184, 33,
"onleftblocks", "X7A5A4AF57BEA2313" ],
[ "\033[2XIsBipartitionSemigroup\033[102X", "3.8-1", [ 3, 8, 1 ], 1217, 33,
"isbipartitionsemigroup", "X810BFF647C4E191E" ],
[ "\033[2XIsBipartitionMonoid\033[102X", "3.8-1", [ 3, 8, 1 ], 1217, 33,
"isbipartitionmonoid", "X810BFF647C4E191E" ],
[ "\033[2XIsBlockBijectionSemigroup\033[102X", "3.8-2", [ 3, 8, 2 ], 1267,
34, "isblockbijectionsemigroup", "X80C37124794636F3" ],
[ "\033[2XIsBlockBijectionMonoid\033[102X", "3.8-2", [ 3, 8, 2 ], 1267, 34,
"isblockbijectionmonoid", "X80C37124794636F3" ],
[ "\033[2XIsPartialPermBipartitionSemigroup\033[102X", "3.8-3",
[ 3, 8, 3 ], 1282, 34, "ispartialpermbipartitionsemigroup",
"X79A706A582ABE558" ],
[ "\033[2XIsPartialPermBipartitionMonoid\033[102X", "3.8-3", [ 3, 8, 3 ],
1282, 34, "ispartialpermbipartitionmonoid", "X79A706A582ABE558" ],
[ "\033[2XIsPermBipartitionGroup\033[102X", "3.8-4", [ 3, 8, 4 ], 1297, 34,
"ispermbipartitiongroup", "X7DEE07577D7379AC" ],
[ "\033[2XDegreeOfBipartitionSemigroup\033[102X", "3.8-5", [ 3, 8, 5 ],
1307, 35, "degreeofbipartitionsemigroup", "X8162E2BB7CF144F5" ],
[ "\033[2XIsPBR\033[102X", "4.1-1", [ 4, 1, 1 ], 20, 36, "ispbr",
"X82CCBADC80AE2D15" ],
[ "\033[2XIsPBRCollection\033[102X", "4.1-2", [ 4, 1, 2 ], 30, 36,
"ispbrcollection", "X854A9CEA7AC14C0A" ],
[ "\033[2XIsPBRCollColl\033[102X", "4.1-2", [ 4, 1, 2 ], 30, 36,
"ispbrcollcoll", "X854A9CEA7AC14C0A" ],
[ "\033[2XPBR\033[102X", "4.2-1", [ 4, 2, 1 ], 48, 37, "pbr",
"X82A8646F7C70CF3B" ],
[ "\033[2XRandomPBR\033[102X", "4.2-2", [ 4, 2, 2 ], 74, 37, "randompbr",
"X82FE736F7F11B157" ],
[ "\033[2XEmptyPBR\033[102X", "4.2-3", [ 4, 2, 3 ], 97, 37, "emptypbr",
"X8646781B7EAE04C0" ],
[ "\033[2XIdentityPBR\033[102X", "4.2-4", [ 4, 2, 4 ], 112, 38,
"identitypbr", "X80D20EA3816DC862" ],
[ "\033[2XUniversalPBR\033[102X", "4.2-5", [ 4, 2, 5 ], 128, 38,
"universalpbr", "X847BA0177D90E9D7" ],
[ "\033[2XAsPBR\033[102X", "4.3-1", [ 4, 3, 1 ], 158, 38, "aspbr",
"X81CBBE6080439596" ],
[ "\033[2XAsTransformation\033[102X for a PBR", "4.3-2", [ 4, 3, 2 ], 237,
40, "astransformation for a pbr", "X8407F516825A514A" ],
[ "\033[2XAsPartialPerm\033[102X for a PBR", "4.3-3", [ 4, 3, 3 ], 256, 40,
"aspartialperm for a pbr", "X795B1C16819905E8" ],
[ "\033[2XAsPermutation\033[102X for a PBR", "4.3-4", [ 4, 3, 4 ], 273, 40,
"aspermutation for a pbr", "X86786B297FBCD064" ],
[ "\033[10X * \033[110X (for PBRs)", "4.4", [ 4, 4, 0 ], 290, 41,
"* for pbrs", "X872B5817878660E5" ],
[ "\033[10X<\033[110X (for PBRs)", "4.4", [ 4, 4, 0 ], 290, 41,
"< for pbrs", "X872B5817878660E5" ],
[ "\033[10X=\033[110X (for PBRs)", "4.4", [ 4, 4, 0 ], 290, 41,
"= for pbrs", "X872B5817878660E5" ],
[ "\033[2XStarOp\033[102X for a PBR", "4.5-1", [ 4, 5, 1 ], 311, 41,
"starop for a pbr", "X7DFC277E80A50C2F" ],
[ "\033[2XStar\033[102X for a PBR", "4.5-1", [ 4, 5, 1 ], 311, 41,
"star for a pbr", "X7DFC277E80A50C2F" ],
[ "\033[2XDegreeOfPBR\033[102X", "4.5-2", [ 4, 5, 2 ], 327, 41,
"degreeofpbr", "X785B576B7823D626" ],
[ "\033[2XDegreeOfPBRCollection\033[102X", "4.5-2", [ 4, 5, 2 ], 327, 41,
"degreeofpbrcollection", "X785B576B7823D626" ],
[ "\033[2XExtRepOfObj\033[102X for a PBR", "4.5-3", [ 4, 5, 3 ], 354, 42,
"extrepofobj for a pbr", "X78302D7E81BB1E54" ],
[ "\033[2XPBRNumber\033[102X", "4.5-4", [ 4, 5, 4 ], 371, 42, "pbrnumber",
"X7F4C8A2B79E6D963" ],
[ "\033[2XNumberPBR\033[102X", "4.5-4", [ 4, 5, 4 ], 371, 42, "numberpbr",
"X7F4C8A2B79E6D963" ],
[ "\033[2XIsEmptyPBR\033[102X", "4.5-5", [ 4, 5, 5 ], 393, 42,
"isemptypbr", "X82FD0AB179ED4AFD" ],
[ "\033[2XIsIdentityPBR\033[102X", "4.5-6", [ 4, 5, 6 ], 411, 43,
"isidentitypbr", "X7E263B2F7B838D6E" ],
[ "\033[2XIsUniversalPBR\033[102X", "4.5-7", [ 4, 5, 7 ], 435, 43,
"isuniversalpbr", "X7A280FC27BAD0EF0" ],
[ "\033[2XIsBipartitionPBR\033[102X", "4.5-8", [ 4, 5, 8 ], 458, 43,
"isbipartitionpbr", "X81EC86397E098BC8" ],
[ "\033[2XIsBlockBijectionPBR\033[102X", "4.5-8", [ 4, 5, 8 ], 458, 43,
"isblockbijectionpbr", "X81EC86397E098BC8" ],
[ "\033[2XIsTransformationPBR\033[102X", "4.5-9", [ 4, 5, 9 ], 491, 44,
"istransformationpbr", "X7AF425D17BBE9023" ],
[ "\033[2XIsDualTransformationPBR\033[102X", "4.5-10", [ 4, 5, 10 ], 525,
44, "isdualtransformationpbr", "X7962D03186B1AFDF" ],
[ "\033[2XIsPartialPermPBR\033[102X", "4.5-11", [ 4, 5, 11 ], 549, 45,
"ispartialpermpbr", "X7883CD5D824CC236" ],
[ "\033[2XIsPermPBR\033[102X", "4.5-12", [ 4, 5, 12 ], 579, 45,
"ispermpbr", "X85B21BB0835FE166" ],
[ "\033[2XIsPBRSemigroup\033[102X", "4.6-1", [ 4, 6, 1 ], 627, 46,
"ispbrsemigroup", "X8554A3F878A4DC73" ],
[ "\033[2XIsPBRMonoid\033[102X", "4.6-1", [ 4, 6, 1 ], 627, 46,
"ispbrmonoid", "X8554A3F878A4DC73" ],
[ "\033[2XDegreeOfPBRSemigroup\033[102X", "4.6-2", [ 4, 6, 2 ], 677, 47,
"degreeofpbrsemigroup", "X80FC004C7B65B4C0" ],
[ "\033[2XIsMatrixOverSemiring\033[102X", "5.1-1", [ 5, 1, 1 ], 59, 49,
"ismatrixoversemiring", "X8711618C7A8A1B60" ],
[ "\033[2XIsMatrixOverSemiringCollection\033[102X", "5.1-2", [ 5, 1, 2 ],
76, 49, "ismatrixoversemiringcollection", "X86F696B883677D6B" ],
[ "\033[2XIsMatrixOverSemiringCollColl\033[102X", "5.1-2", [ 5, 1, 2 ], 76,
49, "ismatrixoversemiringcollcoll", "X86F696B883677D6B" ],
[ "\033[2XDimensionOfMatrixOverSemiring\033[102X", "5.1-3", [ 5, 1, 3 ],
91, 49, "dimensionofmatrixoversemiring", "X7C1CDA817CE076FD" ],
[ "\033[2XDimensionOfMatrixOverSemiringCollection\033[102X", "5.1-4",
[ 5, 1, 4 ], 111, 50, "dimensionofmatrixoversemiringcollection",
"X7FF0B2A783BA2D06" ],
[ "\033[2XMatrix\033[102X for a filter and a matrix", "5.1-5", [ 5, 1, 5 ],
132, 50, "matrix for a filter and a matrix", "X7DCA234C86ED8BD3" ],
[ "\033[2XMatrix\033[102X for a semiring and a matrix", "5.1-5",
[ 5, 1, 5 ], 132, 50, "matrix for a semiring and a matrix",
"X7DCA234C86ED8BD3" ],
[ "\033[2XAsMatrix\033[102X for a filter and a matrix", "5.1-6",
[ 5, 1, 6 ], 219, 51, "asmatrix for a filter and a matrix",
"X85426D8885431ECE" ],
[ "\033[2XAsMatrix\033[102X for a filter, matrix, and threshold", "5.1-6",
[ 5, 1, 6 ], 219, 51, "asmatrix for a filter matrix and threshold",
"X85426D8885431ECE" ],
[ "\033[2XAsMatrix\033[102X for a filter, matrix, threshold, and period",
"5.1-6", [ 5, 1, 6 ], 219, 51,
"asmatrix for a filter matrix threshold and period",
"X85426D8885431ECE" ],
[ "\033[2XRandomMatrix\033[102X for a filter and a matrix", "5.1-7",
[ 5, 1, 7 ], 307, 53, "randommatrix for a filter and a matrix",
"X82172D747D66C8CC" ],
[ "\033[2XRandomMatrix\033[102X for a semiring and a matrix", "5.1-7",
[ 5, 1, 7 ], 307, 53, "randommatrix for a semiring and a matrix",
"X82172D747D66C8CC" ],
[ "\033[2XIsBooleanMat\033[102X", "5.1-8", [ 5, 1, 8 ], 364, 54,
"isbooleanmat", "X782480C686F1A663" ],
[ "\033[2XIsMatrixOverFiniteField\033[102X", "5.1-8", [ 5, 1, 8 ], 364, 54,
"ismatrixoverfinitefield", "X782480C686F1A663" ],
[ "\033[2XIsMaxPlusMatrix\033[102X", "5.1-8", [ 5, 1, 8 ], 364, 54,
"ismaxplusmatrix", "X782480C686F1A663" ],
[ "\033[2XIsMinPlusMatrix\033[102X", "5.1-8", [ 5, 1, 8 ], 364, 54,
"isminplusmatrix", "X782480C686F1A663" ],
[ "\033[2XIsTropicalMatrix\033[102X", "5.1-8", [ 5, 1, 8 ], 364, 54,
"istropicalmatrix", "X782480C686F1A663" ],
[ "\033[2XIsTropicalMaxPlusMatrix\033[102X", "5.1-8", [ 5, 1, 8 ], 364, 54,
"istropicalmaxplusmatrix", "X782480C686F1A663" ],
[ "\033[2XIsTropicalMinPlusMatrix\033[102X", "5.1-8", [ 5, 1, 8 ], 364, 54,
"istropicalminplusmatrix", "X782480C686F1A663" ],
[ "\033[2XIsNTPMatrix\033[102X", "5.1-8", [ 5, 1, 8 ], 364, 54,
"isntpmatrix", "X782480C686F1A663" ],
[ "\033[2XIntegers\033[102X", "5.1-8", [ 5, 1, 8 ], 364, 54, "integers",
"X782480C686F1A663" ],
[ "\033[2XIsBooleanMatCollection\033[102X", "5.1-9", [ 5, 1, 9 ], 395, 54,
"isbooleanmatcollection", "X86233A3E86512493" ],
[ "\033[2XIsBooleanMatCollColl\033[102X", "5.1-9", [ 5, 1, 9 ], 395, 54,
"isbooleanmatcollcoll", "X86233A3E86512493" ],
[ "\033[2XIsMatrixOverFiniteFieldCollection\033[102X", "5.1-9",
[ 5, 1, 9 ], 395, 54, "ismatrixoverfinitefieldcollection",
"X86233A3E86512493" ],
[ "\033[2XIsMatrixOverFiniteFieldCollColl\033[102X", "5.1-9", [ 5, 1, 9 ],
395, 54, "ismatrixoverfinitefieldcollcoll", "X86233A3E86512493" ],
[ "\033[2XIsMaxPlusMatrixCollection\033[102X", "5.1-9", [ 5, 1, 9 ], 395,
54, "ismaxplusmatrixcollection", "X86233A3E86512493" ],
[ "\033[2XIsMaxPlusMatrixCollColl\033[102X", "5.1-9", [ 5, 1, 9 ], 395, 54,
"ismaxplusmatrixcollcoll", "X86233A3E86512493" ],
[ "\033[2XIsMinPlusMatrixCollection\033[102X", "5.1-9", [ 5, 1, 9 ], 395,
54, "isminplusmatrixcollection", "X86233A3E86512493" ],
[ "\033[2XIsMinPlusMatrixCollColl\033[102X", "5.1-9", [ 5, 1, 9 ], 395, 54,
"isminplusmatrixcollcoll", "X86233A3E86512493" ],
[ "\033[2XIsTropicalMatrixCollection\033[102X", "5.1-9", [ 5, 1, 9 ], 395,
54, "istropicalmatrixcollection", "X86233A3E86512493" ],
[ "\033[2XIsTropicalMaxPlusMatrixCollection\033[102X", "5.1-9",
[ 5, 1, 9 ], 395, 54, "istropicalmaxplusmatrixcollection",
"X86233A3E86512493" ],
[ "\033[2XIsTropicalMaxPlusMatrixCollColl\033[102X", "5.1-9", [ 5, 1, 9 ],
395, 54, "istropicalmaxplusmatrixcollcoll", "X86233A3E86512493" ],
[ "\033[2XIsTropicalMinPlusMatrixCollection\033[102X", "5.1-9",
[ 5, 1, 9 ], 395, 54, "istropicalminplusmatrixcollection",
"X86233A3E86512493" ],
[ "\033[2XIsTropicalMinPlusMatrixCollColl\033[102X", "5.1-9", [ 5, 1, 9 ],
395, 54, "istropicalminplusmatrixcollcoll", "X86233A3E86512493" ],
[ "\033[2XIsNTPMatrixCollection\033[102X", "5.1-9", [ 5, 1, 9 ], 395, 54,
"isntpmatrixcollection", "X86233A3E86512493" ],
[ "\033[2XIsNTPMatrixCollColl\033[102X", "5.1-9", [ 5, 1, 9 ], 395, 54,
"isntpmatrixcollcoll", "X86233A3E86512493" ],
[ "\033[2XAsList\033[102X", "5.1-10", [ 5, 1, 10 ], 422, 55, "aslist",
"X8289FCCC8274C89D" ],
[ "\033[2XAsMutableList\033[102X", "5.1-10", [ 5, 1, 10 ], 422, 55,
"asmutablelist", "X8289FCCC8274C89D" ],
[ "\033[2XThresholdTropicalMatrix\033[102X", "5.1-11", [ 5, 1, 11 ], 456,
55, "thresholdtropicalmatrix", "X7D21408E845E4648" ],
[ "\033[2XThresholdNTPMatrix\033[102X", "5.1-12", [ 5, 1, 12 ], 486, 56,
"thresholdntpmatrix", "X7874559881FE8779" ],
[ "\033[2XPeriodNTPMatrix\033[102X", "5.1-12", [ 5, 1, 12 ], 486, 56,
"periodntpmatrix", "X7874559881FE8779" ],
[ "\033[10X*\033[110X (for matrices over a semiring)", "5.2", [ 5, 2, 0 ],
521, 57, "* for matrices over a semiring", "X807E402687741CDA" ],
[ "\033[10X<\033[110X (for matrices over a semiring)", "5.2", [ 5, 2, 0 ],
521, 57, "< for matrices over a semiring", "X807E402687741CDA" ],
[ "\033[10X=\033[110X (for matrices over a semiring)", "5.2", [ 5, 2, 0 ],
521, 57, "= for matrices over a semiring", "X807E402687741CDA" ],
[ "\033[2XBooleanMat\033[102X", "5.3-1", [ 5, 3, 1 ], 571, 57,
"booleanmat", "X84A16D4D7D015885" ],
[ "\033[2XAsBooleanMat\033[102X", "5.3-2", [ 5, 3, 2 ], 611, 58,
"asbooleanmat", "X7DA524567E0E7E16" ],
[ "\033[2X\\in\033[102X", "5.3-3", [ 5, 3, 3 ], 756, 61, "in",
"X87BDB89B7AAFE8AD" ],
[ "\033[2XOnBlist\033[102X", "5.3-4", [ 5, 3, 4 ], 775, 61, "onblist",
"X8629FA5F7B682078" ],
[ "\033[2XSuccessors\033[102X", "5.3-5", [ 5, 3, 5 ], 795, 61,
"successors", "X85E2FD8B82652876" ],
[ "\033[2XBooleanMatNumber\033[102X", "5.3-6", [ 5, 3, 6 ], 817, 62,
"booleanmatnumber", "X7E0FD5878106AB66" ],
[ "\033[2XNumberBooleanMat\033[102X", "5.3-6", [ 5, 3, 6 ], 817, 62,
"numberbooleanmat", "X7E0FD5878106AB66" ],
[ "\033[2XBlistNumber\033[102X", "5.3-7", [ 5, 3, 7 ], 846, 62,
"blistnumber", "X793A1C277C1D7D6D" ],
[ "\033[2XNumberBlist\033[102X", "5.3-7", [ 5, 3, 7 ], 846, 62,
"numberblist", "X793A1C277C1D7D6D" ],
[
"\033[2XCanonicalBooleanMat\033[102X for a perm group, perm group and boole\
an matrix", "5.3-8", [ 5, 3, 8 ], 880, 63,
"canonicalbooleanmat for a perm group perm group and boolean matrix",
"X7EEA5011862E6298" ],
[ "\033[2XCanonicalBooleanMat\033[102X for a perm group and boolean matrix",
"5.3-8", [ 5, 3, 8 ], 880, 63,
"canonicalbooleanmat for a perm group and boolean matrix",
"X7EEA5011862E6298" ],
[ "\033[2XCanonicalBooleanMat\033[102X", "5.3-8", [ 5, 3, 8 ], 880, 63,
"canonicalbooleanmat", "X7EEA5011862E6298" ],
[ "\033[2XIsRowTrimBooleanMat\033[102X", "5.3-9", [ 5, 3, 9 ], 941, 64,
"isrowtrimbooleanmat", "X794C91597CC9F784" ],
[ "\033[2XIsColTrimBooleanMat\033[102X", "5.3-9", [ 5, 3, 9 ], 941, 64,
"iscoltrimbooleanmat", "X794C91597CC9F784" ],
[ "\033[2XIsTrimBooleanMat\033[102X", "5.3-9", [ 5, 3, 9 ], 941, 64,
"istrimbooleanmat", "X794C91597CC9F784" ],
[ "\033[2XIsSymmetricBooleanMat\033[102X", "5.3-10", [ 5, 3, 10 ], 974, 64,
"issymmetricbooleanmat", "X7D22BA78790EFBC6" ],
[ "\033[2XIsReflexiveBooleanMat\033[102X", "5.3-11", [ 5, 3, 11 ], 1002,
65, "isreflexivebooleanmat", "X7C373B7D87044050" ],
[ "\033[2XIsTransitiveBooleanMat\033[102X", "5.3-12", [ 5, 3, 12 ], 1030,
65, "istransitivebooleanmat", "X7CDAD39B856AC3E5" ],
[ "\033[2XIsAntiSymmetricBooleanMat\033[102X", "5.3-13", [ 5, 3, 13 ],
1057, 66, "isantisymmetricbooleanmat", "X8570C8A08549383D" ],
[ "\033[2XIsTotalBooleanMat\033[102X", "5.3-14", [ 5, 3, 14 ], 1084, 66,
"istotalbooleanmat", "X7A68D87982A07C6F" ],
[ "\033[2XIsOntoBooleanMat\033[102X", "5.3-14", [ 5, 3, 14 ], 1084, 66,
"isontobooleanmat", "X7A68D87982A07C6F" ],
[ "\033[2XIsPartialOrderBooleanMat\033[102X", "5.3-15", [ 5, 3, 15 ], 1117,
67, "ispartialorderbooleanmat", "X7D9BECEA7E9B72A7" ],
[ "\033[2XIsEquivalenceBooleanMat\033[102X", "5.3-16", [ 5, 3, 16 ], 1130,
67, "isequivalencebooleanmat", "X82EA957982B79827" ],
[ "\033[2XIsTransformationBooleanMat\033[102X", "5.3-17", [ 5, 3, 17 ],
1145, 67, "istransformationbooleanmat", "X7E6B588887D34A0A" ],
[ "\033[2XRowSpaceBasis\033[102X for a matrix over finite field", "5.4-1",
[ 5, 4, 1 ], 1174, 68, "rowspacebasis for a matrix over finite field",
"X857E626783CCF766" ],
[ "\033[2XRowSpaceTransformation\033[102X for a matrix over finite field",
"5.4-1", [ 5, 4, 1 ], 1174, 68,
"rowspacetransformation for a matrix over finite field",
"X857E626783CCF766" ],
[ "\033[2XRowSpaceTransformationInv\033[102X for a matrix over finite field"
, "5.4-1", [ 5, 4, 1 ], 1174, 68,
"rowspacetransformationinv for a matrix over finite field",
"X857E626783CCF766" ],
[ "\033[2XRightInverse\033[102X for a matrix over finite field", "5.4-2",
[ 5, 4, 2 ], 1197, 68, "rightinverse for a matrix over finite field",
"X8733B04781B682E5" ],
[ "\033[2XLeftInverse\033[102X for a matrix over finite field", "5.4-2",
[ 5, 4, 2 ], 1197, 68, "leftinverse for a matrix over finite field",
"X8733B04781B682E5" ],
[ "\033[2XInverseOp\033[102X for an integer matrix", "5.5-1", [ 5, 5, 1 ],
1234, 69, "inverseop for an integer matrix", "X7BC66ECE8378068E" ],
[ "\033[2XIsTorsion\033[102X for an integer matrix", "5.5-2", [ 5, 5, 2 ],
1257, 69, "istorsion for an integer matrix", "X7CA636F080777C36" ],
[ "\033[2XOrder\033[102X", "5.5-3", [ 5, 5, 3 ], 1284, 69, "order",
"X84F59A2687C62763" ],
[ "\033[2XInverseOp\033[102X", "5.6-1", [ 5, 6, 1 ], 1323, 70, "inverseop",
"X82EC4F49877D6EB1" ],
[ "\033[2XRadialEigenvector\033[102X", "5.6-2", [ 5, 6, 2 ], 1341, 70,
"radialeigenvector", "X83663A5387042B69" ],
[ "\033[2XSpectralRadius\033[102X", "5.6-3", [ 5, 6, 3 ], 1356, 71,
"spectralradius", "X83FCFB368743E4BA" ],
[ "\033[2XUnweightedPrecedenceDigraph\033[102X", "5.6-4", [ 5, 6, 4 ],
1372, 71, "unweightedprecedencedigraph", "X869F60527C2B9328" ],
[ "\033[2XIsMatrixOverSemiringSemigroup\033[102X", "5.7-1", [ 5, 7, 1 ],
1417, 72, "ismatrixoversemiringsemigroup", "X7DC6EB0680B3E4DD" ],
[ "\033[2XIsBooleanMatSemigroup\033[102X", "5.7-1", [ 5, 7, 1 ], 1417, 72,
"isbooleanmatsemigroup", "X7DC6EB0680B3E4DD" ],
[ "\033[2XIsMatrixOverFiniteFieldSemigroup\033[102X", "5.7-1", [ 5, 7, 1 ],
1417, 72, "ismatrixoverfinitefieldsemigroup", "X7DC6EB0680B3E4DD" ],
[ "\033[2XIsMaxPlusMatrixSemigroup\033[102X", "5.7-1", [ 5, 7, 1 ], 1417,
72, "ismaxplusmatrixsemigroup", "X7DC6EB0680B3E4DD" ],
[ "\033[2XIsMinPlusMatrixSemigroup\033[102X", "5.7-1", [ 5, 7, 1 ], 1417,
72, "isminplusmatrixsemigroup", "X7DC6EB0680B3E4DD" ],
[ "\033[2XIsTropicalMatrixSemigroup\033[102X", "5.7-1", [ 5, 7, 1 ], 1417,
72, "istropicalmatrixsemigroup", "X7DC6EB0680B3E4DD" ],
[ "\033[2XIsTropicalMaxPlusMatrixSemigroup\033[102X", "5.7-1", [ 5, 7, 1 ],
1417, 72, "istropicalmaxplusmatrixsemigroup", "X7DC6EB0680B3E4DD" ],
[ "\033[2XIsTropicalMinPlusMatrixSemigroup\033[102X", "5.7-1", [ 5, 7, 1 ],
1417, 72, "istropicalminplusmatrixsemigroup", "X7DC6EB0680B3E4DD" ],
[ "\033[2XIsNTPMatrixSemigroup\033[102X", "5.7-1", [ 5, 7, 1 ], 1417, 72,
"isntpmatrixsemigroup", "X7DC6EB0680B3E4DD" ],
[ "\033[2XIsIntegerMatrixSemigroup\033[102X", "5.7-1", [ 5, 7, 1 ], 1417,
72, "isintegermatrixsemigroup", "X7DC6EB0680B3E4DD" ],
[ "\033[2XIsMatrixOverSemiringMonoid\033[102X", "5.7-2", [ 5, 7, 2 ], 1435,
72, "ismatrixoversemiringmonoid", "X8616225581BC7414" ],
[ "\033[2XIsBooleanMatMonoid\033[102X", "5.7-2", [ 5, 7, 2 ], 1435, 72,
"isbooleanmatmonoid", "X8616225581BC7414" ],
[ "\033[2XIsMatrixOverFiniteFieldMonoid\033[102X", "5.7-2", [ 5, 7, 2 ],
1435, 72, "ismatrixoverfinitefieldmonoid", "X8616225581BC7414" ],
[ "\033[2XIsMaxPlusMatrixMonoid\033[102X", "5.7-2", [ 5, 7, 2 ], 1435, 72,
"ismaxplusmatrixmonoid", "X8616225581BC7414" ],
[ "\033[2XIsMinPlusMatrixMonoid\033[102X", "5.7-2", [ 5, 7, 2 ], 1435, 72,
"isminplusmatrixmonoid", "X8616225581BC7414" ],
[ "\033[2XIsTropicalMatrixMonoid\033[102X", "5.7-2", [ 5, 7, 2 ], 1435, 72,
"istropicalmatrixmonoid", "X8616225581BC7414" ],
[ "\033[2XIsTropicalMaxPlusMatrixMonoid\033[102X", "5.7-2", [ 5, 7, 2 ],
1435, 72, "istropicalmaxplusmatrixmonoid", "X8616225581BC7414" ],
[ "\033[2XIsTropicalMinPlusMatrixMonoid\033[102X", "5.7-2", [ 5, 7, 2 ],
1435, 72, "istropicalminplusmatrixmonoid", "X8616225581BC7414" ],
[ "\033[2XIsNTPMatrixMonoid\033[102X", "5.7-2", [ 5, 7, 2 ], 1435, 72,
"isntpmatrixmonoid", "X8616225581BC7414" ],
[ "\033[2XIsIntegerMatrixMonoid\033[102X", "5.7-2", [ 5, 7, 2 ], 1435, 72,
"isintegermatrixmonoid", "X8616225581BC7414" ],
[ "\033[2XIsFinite\033[102X", "5.7-3", [ 5, 7, 3 ], 1453, 72, "isfinite",
"X808A4061809A6E67" ],
[ "\033[2XIsTorsion\033[102X", "5.7-4", [ 5, 7, 4 ], 1486, 73, "istorsion",
"X80C6B26284721409" ],
[ "\033[2XNormalizeSemigroup\033[102X", "5.7-5", [ 5, 7, 5 ], 1508, 73,
"normalizesemigroup", "X873DE466868DA849" ],
[ "\033[2XIsActingSemigroup\033[102X", "6.1-2", [ 6, 1, 2 ], 66, 75,
"isactingsemigroup", "X7F69D8FC7D578A0C" ],
[ "\033[2XCanUseFroidurePin\033[102X", "6.1-4", [ 6, 1, 4 ], 159, 76,
"canusefroidurepin", "X7FEE8CFA87E7B872" ],
[ "\033[2XCanUseGapFroidurePin\033[102X", "6.1-4", [ 6, 1, 4 ], 159, 76,
"canusegapfroidurepin", "X7FEE8CFA87E7B872" ],
[ "\033[2XCanUseLibsemigroupsFroidurePin\033[102X", "6.1-4", [ 6, 1, 4 ],
159, 76, "canuselibsemigroupsfroidurepin", "X7FEE8CFA87E7B872" ],
[ "\033[2XInverseMonoidByGenerators\033[102X", "6.2-1", [ 6, 2, 1 ], 186,
77, "inversemonoidbygenerators", "X79A15C7C83BBA60B" ],
[ "\033[2XInverseSemigroupByGenerators\033[102X", "6.2-1", [ 6, 2, 1 ],
186, 77, "inversesemigroupbygenerators", "X79A15C7C83BBA60B" ],
[ "\033[2XSEMIGROUPS.DefaultOptionsRec\033[102X", "6.3-1", [ 6, 3, 1 ],
335, 79, "semigroups.defaultoptionsrec", "X78CF5DCC7C697BB3" ],
[ "\033[2XClosureSemigroup\033[102X", "6.4-1", [ 6, 4, 1 ], 349, 79,
"closuresemigroup", "X7BE36790862AE26F" ],
[ "\033[2XClosureMonoid\033[102X", "6.4-1", [ 6, 4, 1 ], 349, 79,
"closuremonoid", "X7BE36790862AE26F" ],
[ "\033[2XClosureInverseSemigroup\033[102X", "6.4-1", [ 6, 4, 1 ], 349, 79,
"closureinversesemigroup", "X7BE36790862AE26F" ],
[ "\033[2XClosureInverseMonoid\033[102X", "6.4-1", [ 6, 4, 1 ], 349, 79,
"closureinversemonoid", "X7BE36790862AE26F" ],
[ "\033[2XSubsemigroupByProperty\033[102X for a semigroup and function",
"6.4-2", [ 6, 4, 2 ], 434, 81,
"subsemigroupbyproperty for a semigroup and function",
"X7E5B4C5A82F9E0E0" ],
[
"\033[2XSubsemigroupByProperty\033[102X for a semigroup, function, and limi\
t on the size of the subsemigroup", "6.4-2", [ 6, 4, 2 ], 434, 81,
"subsemigroupbyproperty for a semigroup function and limit on the size o\
f the subsemigroup", "X7E5B4C5A82F9E0E0" ],
[ "\033[2XInverseSubsemigroupByProperty\033[102X", "6.4-3", [ 6, 4, 3 ],
464, 81, "inversesubsemigroupbyproperty", "X832AEDCC7BA9E5F5" ],
[ "\033[2XIsomorphismSemigroup\033[102X", "6.5-1", [ 6, 5, 1 ], 572, 83,
"isomorphismsemigroup", "X838F18E87F765697" ],
[ "\033[2XIsomorphismMonoid\033[102X", "6.5-2", [ 6, 5, 2 ], 648, 84,
"isomorphismmonoid", "X83D03BE678C9974F" ],
[ "\033[2XAsSemigroup\033[102X", "6.5-3", [ 6, 5, 3 ], 701, 85,
"assemigroup", "X80ED104F85AE5134" ],
[ "\033[2XAsMonoid\033[102X", "6.5-4", [ 6, 5, 4 ], 745, 86, "asmonoid",
"X7B22038F832B9C0F" ],
[ "\033[2XIsomorphismPermGroup\033[102X", "6.5-5", [ 6, 5, 5 ], 782, 87,
"isomorphismpermgroup", "X80B7B1C783AA1567" ],
[ "\033[2XRZMSNormalization\033[102X", "6.5-6", [ 6, 5, 6 ], 823, 87,
"rzmsnormalization", "X870210EA7912B52A" ],
[ "\033[2XRMSNormalization\033[102X", "6.5-7", [ 6, 5, 7 ], 898, 89,
"rmsnormalization", "X80DE617E841E5BA0" ],
[ "\033[2XIsomorphismReesMatrixSemigroup\033[102X for a semigroup",
"6.5-8", [ 6, 5, 8 ], 926, 89,
"isomorphismreesmatrixsemigroup for a semigroup", "X7E2ECC577A1CF7CA" ],
[ "\033[2XIsomorphismReesZeroMatrixSemigroup\033[102X", "6.5-8",
[ 6, 5, 8 ], 926, 89, "isomorphismreeszeromatrixsemigroup",
"X7E2ECC577A1CF7CA" ],
[ "\033[2XIsomorphismReesMatrixSemigroupOverPermGroup\033[102X", "6.5-8",
[ 6, 5, 8 ], 926, 89, "isomorphismreesmatrixsemigroupoverpermgroup",
"X7E2ECC577A1CF7CA" ],
[ "\033[2XIsomorphismReesZeroMatrixSemigroupOverPermGroup\033[102X",
"6.5-8", [ 6, 5, 8 ], 926, 89,
"isomorphismreeszeromatrixsemigroupoverpermgroup", "X7E2ECC577A1CF7CA" ]
,
[ "\033[2XAntiIsomorphismDualFpSemigroup\033[102X", "6.5-9", [ 6, 5, 9 ],
961, 90, "antiisomorphismdualfpsemigroup", "X820BB66381737F2D" ],
[ "\033[2XAntiIsomorphismDualFpMonoid\033[102X", "6.5-9", [ 6, 5, 9 ], 961,
90, "antiisomorphismdualfpmonoid", "X820BB66381737F2D" ],
[ "\033[2XEmbeddingFpMonoid\033[102X", "6.5-10", [ 6, 5, 10 ], 994, 90,
"embeddingfpmonoid", "X7873016586653A44" ],
[ "\033[2XRandomSemigroup\033[102X", "6.6-1", [ 6, 6, 1 ], 1030, 91,
"randomsemigroup", "X789DE9AB79FCFEB5" ],
[ "\033[2XRandomMonoid\033[102X", "6.6-1", [ 6, 6, 1 ], 1030, 91,
"randommonoid", "X789DE9AB79FCFEB5" ],
[ "\033[2XRandomInverseSemigroup\033[102X", "6.6-1", [ 6, 6, 1 ], 1030, 91,
"randominversesemigroup", "X789DE9AB79FCFEB5" ],
[ "\033[2XRandomInverseMonoid\033[102X", "6.6-1", [ 6, 6, 1 ], 1030, 91,
"randominversemonoid", "X789DE9AB79FCFEB5" ],
[ "\033[2XCatalanMonoid\033[102X", "7.1-1", [ 7, 1, 1 ], 15, 94,
"catalanmonoid", "X84C4C81380B0239D" ],
[ "\033[2XEndomorphismsPartition\033[102X", "7.1-2", [ 7, 1, 2 ], 31, 94,
"endomorphismspartition", "X85C1D4307D0F5FF7" ],
[ "\033[2XPartialTransformationMonoid\033[102X", "7.1-3", [ 7, 1, 3 ], 55,
95, "partialtransformationmonoid", "X808A27F87E5AC598" ],
[ "\033[2XSingularTransformationSemigroup\033[102X", "7.1-4", [ 7, 1, 4 ],
72, 95, "singulartransformationsemigroup", "X7894EE357D103806" ],
[ "\033[2XSingularTransformationMonoid\033[102X", "7.1-4", [ 7, 1, 4 ], 72,
95, "singulartransformationmonoid", "X7894EE357D103806" ],
[
"\033[2XOrderEndomorphisms\033[102X monoid of order preserving transformati\
ons", "7.1-5", [ 7, 1, 5 ], 89, 95,
"orderendomorphisms monoid of order preserving transformations",
"X80E80A0A83B57483" ],
[ "\033[2XSingularOrderEndomorphisms\033[102X", "7.1-5", [ 7, 1, 5 ], 89,
95, "singularorderendomorphisms", "X80E80A0A83B57483" ],
[ "\033[2XOrderAntiEndomorphisms\033[102X", "7.1-5", [ 7, 1, 5 ], 89, 95,
"orderantiendomorphisms", "X80E80A0A83B57483" ],
[ "\033[2XPartialOrderEndomorphisms\033[102X", "7.1-5", [ 7, 1, 5 ], 89,
95, "partialorderendomorphisms", "X80E80A0A83B57483" ],
[ "\033[2XPartialOrderAntiEndomorphisms\033[102X", "7.1-5", [ 7, 1, 5 ],
89, 95, "partialorderantiendomorphisms", "X80E80A0A83B57483" ],
[ "\033[2XEndomorphismMonoid\033[102X for a digraph", "7.1-6", [ 7, 1, 6 ],
152, 97, "endomorphismmonoid for a digraph", "X868955247F2AFAA5" ],
[ "\033[2XEndomorphismMonoid\033[102X for a digraph and vertex coloring",
"7.1-6", [ 7, 1, 6 ], 152, 97,
"endomorphismmonoid for a digraph and vertex coloring",
"X868955247F2AFAA5" ],
[ "\033[2XMunnSemigroup\033[102X", "7.2-1", [ 7, 2, 1 ], 207, 98,
"munnsemigroup", "X78FBE6DD7BCA30C1" ],
[ "\033[2XRookMonoid\033[102X", "7.2-2", [ 7, 2, 2 ], 233, 98,
"rookmonoid", "X82D9619B7845CAEB" ],
[ "\033[2XPOI\033[102X monoid of order preserving partial perms", "7.2-3",
[ 7, 2, 3 ], 248, 98, "poi monoid of order preserving partial perms",
"X85D841AE83DF101C" ],
[
"\033[2XPODI\033[102X monoid of order preserving or reversing partial perms\
", "7.2-3", [ 7, 2, 3 ], 248, 98,
"podi monoid of order preserving or reversing partial perms",
"X85D841AE83DF101C" ],
[ "\033[2XPOPI\033[102X monoid of orientation preserving partial perms",
"7.2-3", [ 7, 2, 3 ], 248, 98,
"popi monoid of orientation preserving partial perms",
"X85D841AE83DF101C" ],
[
"\033[2XPORI\033[102X monoid of orientation preserving or reversing partial\
perms", "7.2-3", [ 7, 2, 3 ], 248, 98,
"pori monoid of orientation preserving or reversing partial perms",
"X85D841AE83DF101C" ],
[ "\033[2XPartitionMonoid\033[102X", "7.3-1", [ 7, 3, 1 ], 309, 99,
"partitionmonoid", "X7E4B61FF7CCFD74A" ],
[ "\033[2XRookPartitionMonoid\033[102X", "7.3-1", [ 7, 3, 1 ], 309, 99,
"rookpartitionmonoid", "X7E4B61FF7CCFD74A" ],
[ "\033[2XSingularPartitionMonoid\033[102X", "7.3-1", [ 7, 3, 1 ], 309, 99,
"singularpartitionmonoid", "X7E4B61FF7CCFD74A" ],
[ "\033[2XBrauerMonoid\033[102X", "7.3-2", [ 7, 3, 2 ], 344, 100,
"brauermonoid", "X79D33B2E7BA3073A" ],
[ "\033[2XPartialBrauerMonoid\033[102X", "7.3-2", [ 7, 3, 2 ], 344, 100,
"partialbrauermonoid", "X79D33B2E7BA3073A" ],
[ "\033[2XSingularBrauerMonoid\033[102X", "7.3-2", [ 7, 3, 2 ], 344, 100,
"singularbrauermonoid", "X79D33B2E7BA3073A" ],
[ "\033[2XJonesMonoid\033[102X", "7.3-3", [ 7, 3, 3 ], 381, 101,
"jonesmonoid", "X8378FC8B840B9706" ],
[ "\033[2XTemperleyLiebMonoid\033[102X", "7.3-3", [ 7, 3, 3 ], 381, 101,
"temperleyliebmonoid", "X8378FC8B840B9706" ],
[ "\033[2XSingularJonesMonoid\033[102X", "7.3-3", [ 7, 3, 3 ], 381, 101,
"singularjonesmonoid", "X8378FC8B840B9706" ],
[ "\033[2XPartialJonesMonoid\033[102X", "7.3-4", [ 7, 3, 4 ], 407, 101,
"partialjonesmonoid", "X8458B0F7874484CE" ],
[ "\033[2XAnnularJonesMonoid\033[102X", "7.3-5", [ 7, 3, 5 ], 446, 102,
"annularjonesmonoid", "X7DB8CB067CBE1254" ],
[ "\033[2XMotzkinMonoid\033[102X", "7.3-6", [ 7, 3, 6 ], 462, 102,
"motzkinmonoid", "X8375152F7AB52B7B" ],
[ "\033[2XDualSymmetricInverseSemigroup\033[102X", "7.3-7", [ 7, 3, 7 ],
--> --------------------
--> maximum size reached
--> --------------------
[ Dauer der Verarbeitung: 0.16 Sekunden
(vorverarbeitet)
]
|
