Nach dem Mausklick ist die Projektion eines vierdimensionalen Würfels zu sehen chapInd_mj.html
Sprache: unbekannt
<?xml version="1.0" encoding="UTF-8" ?>DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd " >html xmlns="http://www.w3.org/1999/xhtml " xml:lang="en" >head >script type="text/javascript" "https://cdn.jsdelivr.net/npm/mathjax@2/MathJax.js?config=TeX-AMS-MML_HTMLorMML " >script >title >GAP (Semigroups) - Index</title >meta http-equiv="content-type" content="text/html; charset=UTF-8" />meta name="generator" content="GAPDoc2HTML" />link rel="stylesheet" type="text/css" href="manual.css" />script src="manual.js" type="text/javascript" ></script >script type="text/javascript" >overwriteStyle();</script >head >body class="chapInd" onload="jscontent()" >div class="chlinktop" ><span class="chlink1" >Goto Chapter: </span ><a href="chap0_mj.html" >Top</a> <a href="chap1_mj.html" >1</a> <a href="chap2_mj.html" >2</a> <a href="chap3_mj.html" >3</a> <a href="chap4_mj.html" >4</a> <a href="chap5_mj.html" >5</a> <a href="chap6_mj.html" >6</a> <a href="chap7_mj.html" >7</a> <a href="chap8_mj.html" >8</a> <a href="chap9_mj.html" >9</a> <a href="chap10_mj.html" >10</a> <a href="chap11_mj.html" >11</a> <a href="chap12_mj.html" >12</a> <a href="chap13_mj.html" >13</a> <a href="chap14_mj.html" >14</a> <a href="chap15_mj.html" >15</a> <a href="chap16_mj.html" >16</a> <a href="chap17_mj.html" >17</a> <a href="chap18_mj.html" >18</a> <a href="chapBib_mj.html" >Bib</a> <a href="chapInd_mj.html" div >div class="chlinkprevnexttop" > <a href="chap0_mj.html" >[Top of Book]</a> <a href="chap0_mj.html#contents" >[Contents]</a> <a href="chapBib_mj.html" >[Previous Chapter]</a> </div >"mathjaxlink" class="pcenter" ><a href="chapInd.html" >[MathJax off]</a></p>"X83A0356F839C696F" name="X83A0356F839C696F" ></a></p>div class="index" >code class="code" >*</code > (for bipartitions) <a href="chap3_mj.html#X83F2C3C97E8FFA49" >3.4</a> <br />code class="code" > * </code > (for PBRs) <a href="chap4_mj.html#X872B5817878660E5" >4.4</a> <br />code class="code" >*</code > (for matrices over a semiring) <a href="chap5_mj.html#X807E402687741CDA" >5.2</a> <br />code class="code" > * </code > (for Rees (0-)matrix semigroup isomorphisms by triples) <a href="chap14_mj.html#X7ED8BF227F4229E2" >14.3-7</a> <br />code class="code" ><</code > (for bipartitions) <a href="chap3_mj.html#X83F2C3C97E8FFA49" >3.4</a> <br />code class="code" ><</code > (for PBRs) <a href="chap4_mj.html#X872B5817878660E5" >4.4</a> <br />code class="code" ><</code > (for matrices over a semiring) <a href="chap5_mj.html#X807E402687741CDA" >5.2</a> <br />code class="code" ><</code > (for Rees (0-)matrix semigroup isomorphisms by triples) <a href="chap14_mj.html#X7ED8BF227F4229E2" >14.3-7</a> <br />code class="code" >=</code > (for bipartitions) <a href="chap3_mj.html#X83F2C3C97E8FFA49" >3.4</a> <br />code class="code" >=</code > (for PBRs) <a href="chap4_mj.html#X872B5817878660E5" >4.4</a> <br />code class="code" >=</code > (for matrices over a semiring) <a href="chap5_mj.html#X807E402687741CDA" >5.2</a> <br />code class="code" > = </code > (for Rees (0-)matrix semigroup isomorphisms by triples) <a href="chap14_mj.html#X7ED8BF227F4229E2" >14.3-7</a> <br />code class="func" >\<</code >, for Green's classes 10.3-1 code class="func" >\in</code > <a href="chap5_mj.html#X87BDB89B7AAFE8AD" >5.3-3</a> <br />code class="code" > ^ </code > (for Rees (0-)matrix semigroup isomorphisms by triples) <a href="chap14_mj.html#X7ED8BF227F4229E2" >14.3-7</a> <br />code class="func" >AnnularJonesMonoid</code > <a href="chap7_mj.html#X7DB8CB067CBE1254" >7.3-5</a> <br />code class="func" >AntiIsomorphismDualFpMonoid</code > <a href="chap6_mj.html#X820BB66381737F2D" >6.5-9</a> <br />code class="func" >AntiIsomorphismDualFpSemigroup</code > <a href="chap6_mj.html#X820BB66381737F2D" >6.5-9</a> <br />code class="func" >AntiIsomorphismDualSemigroup</code > <a href="chap8_mj.html#X7CB64FA378EC715B" >8.2-4</a> <br />code class="func" >ApsisMonoid</code > <a href="chap7_mj.html#X7C82B25F8441928E" >7.3-11</a> <br />code class="func" >AsBipartition</code > <a href="chap3_mj.html#X855126D98583C181" >3.3-1</a> <br code class="func" >AsBlockBijection</code > <a href="chap3_mj.html#X85A5AD2B7F3B776F" >3.3-2</a> <br />code class="func" >AsBooleanMat</code > <a href="chap5_mj.html#X7DA524567E0E7E16" >5.3-2</a> <br />code class="func" >AsCongruenceByWangPair</code > <a href="chap13_mj.html#X817F4FC27E9BACD8" >13.8-3</a> <br />code class="func" >AsInverseSemigroupCongruenceByKernelTrace</code > <a href="chap13_mj.html#X87916D4E854F1F6B" >13.7-3</a> <br />code class="func" >AsList</code > <a href="chap5_mj.html#X8289FCCC8274C89D" >5.1-10</a> <br />code class="func" >AsListCanonical</code > <a href="chap11_mj.html#X7AC3FAA5826516AD" >11.1-1</a> <br />code class="func" >AsMatrix</code >, for a filter and a matrix <a href="chap5_mj.html#X85426D8885431ECE" >5.1-6</a> <br />"chap5_mj.html#X85426D8885431ECE" >5.1-6</a> <br />"chap5_mj.html#X85426D8885431ECE" >5.1-6</a> <br />code class="func" >AsMonoid</code > <a href="chap6_mj.html#X7B22038F832B9C0F" >6.5-4</a> <br />code class="func" >AsMutableList</code > <a href="chap5_mj.html#X8289FCCC8274C89D" >5.1-10</a> <br />code class="func" >AsPartialPerm</code >, for a bipartition <a href="chap3_mj.html#X7C5212EF7A200E63" >3.3-4</a> <br />"chap4_mj.html#X795B1C16819905E8" >4.3-3</a> <br />code class="func" >AsPBR</code > <a href="chap4_mj.html#X81CBBE6080439596" >4.3-1</a> <br />code class="func" >AsPermutation</code >, for a bipartition <a href="chap3_mj.html#X7C684CD38405DBEF" >3.3-5</a> <br />"chap4_mj.html#X86786B297FBCD064" >4.3-4</a> <br />code class="func" >AsSemigroup</code > <a href="chap6_mj.html#X80ED104F85AE5134" >6.5-3</a> <br />code class="func" >AsSemigroupCongruenceByGeneratingPairs</code > <a href="chap13_mj.html#X7DB7E32E865AD95D" >13.6-6</a> <br />code class="func" >AsSemigroupHomomorphismByFunction</code >, for a semigroup homomorphism by images <a href="chap14_mj.html#X7973F31986CF0DD4" >14.1-6</a> <br />code class="func" >AsSemigroupHomomorphismByImages</code >, for a semigroup homomorphism by function <a href="chap14_mj.html#X7CEBDC767CC184B6" >14.1-5</a> <br />code class="func" >AsSemigroupIsomorphismByFunction</code >, for a semigroup homomorphism by images <a href="chap14_mj.html#X86C4FC857AF125BD" >14.2-11</a> <br />code class="func" >AsTransformation</code >, for a bipartition <a href="chap3_mj.html#X7CE91D0C83865214" >3.3-3</a> <br />"chap4_mj.html#X8407F516825A514A" >4.3-2</a> <br />code class="func" >AutomorphismGroup</code >, for a semigroup <a href="chap14_mj.html#X79BFF4E77A8090EF" >14.2-7</a> <br />code class="func" >Bipartition</code > <a href="chap3_mj.html#X7E052E6378A5B758" >3.2-1</a> <br />code class="func" >BipartitionByIntRep</code > <a href="chap3_mj.html#X846AA7568435D2CE" >3.2-2</a> <br />code class="func" >Bitranslation</code >, for IsBitranslationsSemigroup, IsLeftTranslation, IsRightTranslation <a href="chap18_mj.html#X8664424983C3281F" >18.1-6</a> <br />code class="func" >BlistNumber</code > <a href="chap5_mj.html#X793A1C277C1D7D6D" >5.3-7</a> <br />code class="func" >BLOCKS_NC</code > <a href="chap3_mj.html#X81302B217DCAAE6F" >3.6-2</a> <br />code class="func" >BooleanMat</code > <a href="chap5_mj.html#X84A16D4D7D015885" >5.3-1</a> <br />code class="func" >BooleanMatNumber</code > <a href="chap5_mj.html#X7E0FD5878106AB66" >5.3-6</a> <br />code class="func" >BrandtSemigroup</code > <a href="chap7_mj.html#X7E2B20C77D47F7FB" >7.8-7</a> <br />code class="func" >BrauerMonoid</code > <a href="chap7_mj.html#X79D33B2E7BA3073A" >7.3-2</a> <br />code class="func" >CanonicalBlocks</code > <a href="chap3_mj.html#X7B87B9B081FF88BB" >3.5-18</a> <br />code class="func" >CanonicalBooleanMat</code > <a href="chap5_mj.html#X7EEA5011862E6298" >5.3-8</a> <br />"chap5_mj.html#X7EEA5011862E6298" >5.3-8</a> <br />"chap5_mj.html#X7EEA5011862E6298" >5.3-8</a> <br />code class="func" >CanonicalForm</code >, for a free inverse semigroup element <a href="chap7_mj.html#X7DB7DCEC7E0FE9A3" >7.11-6</a> <br />code class="func" >CanonicalMultiplicationTable</code > <a href="chap14_mj.html#X7FFEEFF484039A42" >14.2-3</a> <br />code class="func" >CanonicalMultiplicationTablePerm</code > <a href="chap14_mj.html#X869533A7819EC2F8" >14.2-4</a> <br />code class="func" >CanonicalReesMatrixSemigroup</code > <a href="chap14_mj.html#X8765885F784557B9" >14.3-6</a> <br />code class="func" >CanonicalReesZeroMatrixSemigroup</code > <a href="chap14_mj.html#X8765885F784557B9" >14.3-6</a> <br />code class="func" >CanonicalTransformation</code > <a href="chap11_mj.html#X84792D3D804413CD" >11.12-9</a> <br />code class="func" >CanUseFroidurePin</code > <a href="chap6_mj.html#X7FEE8CFA87E7B872" >6.1-4</a> <br />code class="func" >CanUseGapFroidurePin</code > <a href="chap6_mj.html#X7FEE8CFA87E7B872" >6.1-4</a> <br />code class="func" >CanUseLibsemigroupsFroidurePin</code > <a href="chap6_mj.html#X7FEE8CFA87E7B872" >6.1-4</a> <br />code class="func" >CatalanMonoid</code > <a href="chap7_mj.html#X84C4C81380B0239D" >7.1-1</a> <br code class="func" >CayleyDigraphOfCongruences</code >, for a semigroup <a href="chap13_mj.html#X784CFDE37A0B4F84" >13.4-6</a> <br />"chap13_mj.html#X784CFDE37A0B4F84" >13.4-6</a> <br />code class="func" >CayleyDigraphOfLeftCongruences</code >, for a semigroup <a href="chap13_mj.html#X784CFDE37A0B4F84" >13.4-6</a> <br />"chap13_mj.html#X784CFDE37A0B4F84" >13.4-6</a> <br />code class="func" >CayleyDigraphOfRightCongruences</code >, for a semigroup <a href="chap13_mj.html#X784CFDE37A0B4F84" >13.4-6</a> <br />"chap13_mj.html#X784CFDE37A0B4F84" >13.4-6</a> <br />code class="func" >CharacterTableOfInverseSemigroup</code > <a href="chap11_mj.html#X7C83DF9A7973AF6D" >11.15-10</a> <br />code class="func" >ClosureInverseMonoid</code > <a href="chap6_mj.html#X7BE36790862AE26F" >6.4-1</a> <br />code class="func" >ClosureInverseSemigroup</code > <a href="chap6_mj.html#X7BE36790862AE26F" >6.4-1</a> <br />code class="func" >ClosureMonoid</code > <a href="chap6_mj.html#X7BE36790862AE26F" >6.4-1</a> <br code class="func" >ClosureSemigroup</code > <a href="chap6_mj.html#X7BE36790862AE26F" >6.4-1</a> <br />code class="func" >CodomainOfBipartition</code > <a href="chap3_mj.html#X84569A187A211332" >3.5-11</a> <br />code class="func" >ComponentRepsOfPartialPermSemigroup</code > <a href="chap11_mj.html#X7BC22CB47C7B5EBB" >11.13-1</a> <br />code class="func" >ComponentRepsOfTransformationSemigroup</code > <a href="chap11_mj.html#X8065DBC48722B085" >11.12-1</a> <br />code class="func" >ComponentsOfPartialPermSemigroup</code > <a href="chap11_mj.html#X8464BC397ACBF2F1" >11.13-2</a> <br />code class="func" >ComponentsOfTransformationSemigroup</code > <a href="chap11_mj.html#X8706A72A7F3EE532" >11.12-2</a> <br />code class="func" >CompositionMapping2</code >, for IsRMSIsoByTriple <a href="chap14_mj.html#X7A02528F8721F378" >14.3-4</a> <br />"chap14_mj.html#X7A02528F8721F378" >14.3-4</a> <br />code class="func" >CongruenceByWangPair</code > <a href="chap13_mj.html#X7F30D10F7BEEEBB9" >13.8-2</a> <br />code class="func" >CongruencesOfPoset</code > <a href="chap13_mj.html#X7B2E2CEE8626FBC3" >13.4-8</a> <br />code class="func" >CongruencesOfSemigroup</code >, for a semigroup <a href="chap13_mj.html#X7E8D5BA27CB5A4DA" >13.4-1</a> <br />"chap13_mj.html#X7E8D5BA27CB5A4DA" >13.4-1</a> <br />code class="func" >ContentOfFreeBandElement</code > <a href="chap7_mj.html#X808CAEC17BF271D1" >7.9-7</a> <br />code class="func" >ContentOfFreeBandElementCollection</code > <a href="chap7_mj.html#X808CAEC17BF271D1" >7.9-7</a> <br />code class="func" >CrossedApsisMonoid</code > <a href="chap7_mj.html#X7C82B25F8441928E" >7.3-11</a> <br />code class="func" >CyclesOfPartialPerm</code > <a href="chap11_mj.html#X832937BB87EB4349" >11.13-3</a> <br />code class="func" >CyclesOfPartialPermSemigroup</code > <a href="chap11_mj.html#X7F7A5E5E8355E230" >11.13-4</a> <br />code class="func" >CyclesOfTransformationSemigroup</code > <a href="chap11_mj.html#X7AA697B186301F54" >11.12-3</a> <br />code class="func" >DClass</code > <a href="chap10_mj.html#X81B7AD4C7C552867" >10.1-2</a> <br />code class="func" >DClasses</code > <a href="chap10_mj.html#X7D51218A80234DE5" >10.1-4</a> <br />code class="func" >DClassNC</code > <a href="chap10_mj.html#X7B44317786571F8B" >10.1-3</a> <br />code class="func" >DClassOfHClass</code > <a href="chap10_mj.html#X87558FEF805D24E1" >10.1-1</a> <br />code class="func" >DClassOfLClass</code > <a href="chap10_mj.html#X87558FEF805D24E1" >10.1-1</a> <br />code class="func" >DClassOfRClass</code > <a href="chap10_mj.html#X87558FEF805D24E1" >10.1-1</a> <br />code class="func" >DClassReps</code > <a href="chap10_mj.html#X865387A87FAAC395" >10.1-5</a> <br />code class="func" >DegreeOfBipartition</code > <a href="chap3_mj.html#X780F5E00784FE58C" >3.5-1</a> <br />code class="func" >DegreeOfBipartitionCollection</code > <a href="chap3_mj.html#X780F5E00784FE58C" >3.5-1</a> <br />code class="func" >DegreeOfBipartitionSemigroup</code > <a href="chap3_mj.html#X8162E2BB7CF144F5" >3.8-5</a> <br />code class="func" >DegreeOfBlocks</code > <a href="chap3_mj.html#X8527DC6A8771C2BE" >3.6-5</a> <br />code class="func" >DegreeOfPBR</code > <a href="chap4_mj.html#X785B576B7823D626" >4.5-2</a> <br />code class="func" >DegreeOfPBRCollection</code > <a href="chap4_mj.html#X785B576B7823D626" >4.5-2</a> <br />code class="func" >DegreeOfPBRSemigroup</code > <a href="chap4_mj.html#X80FC004C7B65B4C0" >4.6-2</a> <br />code class="func" >DigraphOfAction</code >, for a transformation semigroup, list, and action <a href="chap11_mj.html#X8089CF7182AD1925" >11.12-4</a> <br />code class="func" >DigraphOfActionOnPoints</code >, for a transformation semigroup <a href="chap11_mj.html#X7B5ACD5C7E7612A2" >11.12-5</a> <br />"chap11_mj.html#X7B5ACD5C7E7612A2" >11.12-5</a> <br />code class="func" >DimensionOfMatrixOverSemiring</code > <a href="chap5_mj.html#X7C1CDA817CE076FD" >5.1-3</a> <br />code class="func" >DimensionOfMatrixOverSemiringCollection</code > <a href="chap5_mj.html#X7FF0B2A783BA2D06" >5.1-4</a> <br />code class="func" >DirectProduct</code > <a href="chap8_mj.html#X861BA02C7902A4F4" >8.1-1</a> <br code class="func" >DirectProductOp</code > <a href="chap8_mj.html#X861BA02C7902A4F4" >8.1-1</a> <br />code class="func" >DomainOfBipartition</code > <a href="chap3_mj.html#X8657EE2B79E1DD02" >3.5-10</a> <br />code class="func" >DotLeftCayleyDigraph</code > <a href="chap16_mj.html#X7E38369D7E8BEA4C" >16.1-4</a> <br />code class="func" >DotRightCayleyDigraph</code > <a href="chap16_mj.html#X7E38369D7E8BEA4C" >16.1-4</a> <br />code class="func" >DotSemilatticeOfIdempotents</code > <a href="chap16_mj.html#X7C22E8D17D6C23EA" >16.1-3</a> <br />code class="func" >DotString</code > <a href="chap16_mj.html#X7F51F3CD7E13D199" >16.1-1</a> <br />"chap16_mj.html#X853B81B385E2CF36" >16.1-2</a> <br />code class="func" >DualSemigroup</code > <a href="chap8_mj.html#X79F2643C8642A3B0" >8.2-1</a> <br code class="func" >DualSymmetricInverseMonoid</code > <a href="chap7_mj.html#X83C7587C81B985BA" >7.3-7</a> <br />code class="func" >DualSymmetricInverseSemigroup</code > <a href="chap7_mj.html#X83C7587C81B985BA" >7.3-7</a> <br />code class="func" >ElementOfFpMonoid</code > <a href="chap15_mj.html#X82B7A51B7FE90486" >15.2-3</a> <br />code class="func" >ElementOfFpSemigroup</code > <a href="chap15_mj.html#X847012347856C55E" >15.2-2</a> <br />code class="code" >ELM_LIST</code > (for Rees (0-)matrix semigroup isomorphisms by triples) <a href="chap14_mj.html#X7ED8BF227F4229E2" >14.3-7</a> <br />code class="func" >ELM_LIST</code >, for IsRMSIsoByTriple <a href="chap14_mj.html#X81C4DE427D4A3D6C" >14.3-3</a> <br />code class="func" >EmbeddingFpMonoid</code > <a href="chap6_mj.html#X7873016586653A44" >6.5-10</a> <br />code class="func" >EmptyPBR</code > <a href="chap4_mj.html#X8646781B7EAE04C0" >4.2-3</a> <br />code class="func" >EndomorphismMonoid</code >, for a digraph <a href="chap7_mj.html#X868955247F2AFAA5" >7.1-6</a> <br />"chap7_mj.html#X868955247F2AFAA5" >7.1-6</a> <br />code class="func" >EndomorphismsPartition</code > <a href="chap7_mj.html#X85C1D4307D0F5FF7" >7.1-2</a> <br />code class="func" >Enumerate</code > <a href="chap11_mj.html#X7BCD5342793C7A7E" >11.1-3</a> <br />code class="func" >EnumeratorCanonical</code > <a href="chap11_mj.html#X7AC3FAA5826516AD" >11.1-1</a> <br />code class="func" >EqualInFreeBand</code > <a href="chap7_mj.html#X7CD9426180587CA4" >7.9-8</a> <br />code class="func" >EquivalenceRelationCanonicalLookup</code >, for an equivalence relation over a finite semigroup <a href="chap13_mj.html#X8022B7898553F624" >13.3-6</a> <br />code class="func" >EquivalenceRelationCanonicalPartition</code > <a href="chap13_mj.html#X842D567F79648FEB" >13.3-7</a> <br />code class="func" >EquivalenceRelationLookup</code >, for an equivalence relation over a finite semigroup <a href="chap13_mj.html#X7DA4BABC7891A7F1" >13.3-5</a> <br />code class="func" >EUnitaryInverseCover</code > <a href="chap11_mj.html#X8383E6747D02D975" >11.15-11</a> <br />code class="func" >EvaluateWord</code > <a href="chap11_mj.html#X799D2F3C866B9AED" >11.6-1</a> <br />code class="func" >ExtRepOfObj</code >, for a bipartition <a href="chap3_mj.html#X86F6506C780C6E08" >3.5-3</a> <br />"chap3_mj.html#X7D2CB12279623CE2" >3.6-3</a> <br />"chap4_mj.html#X78302D7E81BB1E54" >4.5-3</a> <br />code class="func" >FactorisableDualSymmetricInverseMonoid</code > <a href="chap7_mj.html#X8301C61384168D6F" >7.3-8</a> <br />code class="func" >Factorization</code > <a href="chap11_mj.html#X8357294D7B164106" >11.6-2</a> <br />code class="func" >FixedPointsOfTransformationSemigroup</code >, for a transformation semigroup <a href="chap11_mj.html#X7C6D8689819AEEE2" >11.12-6</a> <br />code class="func" >FpTietzeIsomorphism</code > <a href="chap15_mj.html#X80C4E1757D4F3CE5" >15.8-4</a> <br />code class="func" >FreeBand</code >, for a given rank <a href="chap7_mj.html#X7B2A65F382DB36EC" >7.9-1</a> <br />"chap7_mj.html#X7B2A65F382DB36EC" >7.9-1</a> <br />"chap7_mj.html#X7B2A65F382DB36EC" >7.9-1</a> <br />code class="func" >FreeInverseSemigroup</code >, for a given rank <a href="chap7_mj.html#X7F3F9DED8003CBD0" >7.11-1</a> <br />"chap7_mj.html#X7F3F9DED8003CBD0" >7.11-1</a> <br />"chap7_mj.html#X7F3F9DED8003CBD0" >7.11-1</a> <br />code class="func" >FreeMonoidAndAssignGeneratorVars</code > <a href="chap15_mj.html#X7C3837FA83BE9CD9" >15.2-4</a> <br />code class="func" >FreeSemigroupAndAssignGeneratorVars</code > <a href="chap15_mj.html#X7C3837FA83BE9CD9" >15.2-4</a> <br />code class="func" >FreeSemilattice</code > <a href="chap7_mj.html#X7982E0667ECEB265" >7.8-4</a> <br />code class="func" >FullBooleanMatMonoid</code > <a href="chap7_mj.html#X7B20103D84E010EF" >7.6-1</a> <br />code class="func" >FullMatrixMonoid</code > <a href="chap7_mj.html#X7D4B473A7D7735E3" >7.5-1</a> <br />code class="func" >FullPBRMonoid</code > <a href="chap7_mj.html#X7DBB30AA83663CE8" >7.4-1</a> <br code class="func" >FullTropicalMaxPlusMonoid</code > <a href="chap7_mj.html#X81E937B6852A9C69" >7.7-1</a> <br />code class="func" >FullTropicalMinPlusMonoid</code > <a href="chap7_mj.html#X85EDC03180768931" >7.7-2</a> <br />code class="func" >GeneralLinearMonoid</code > <a href="chap7_mj.html#X7D4B473A7D7735E3" >7.5-1</a> <br />code class="func" >GeneratingCongruencesOfJoinSemilattice</code > <a href="chap13_mj.html#X7ECE04727B6A58A3" >13.4-12</a> <br />code class="func" >GeneratingCongruencesOfLattice</code > <a href="chap13_mj.html#X858AE13379B5C380" >13.8-4</a> <br />code class="func" >Generators</code > <a href="chap11_mj.html#X7BD5B55C802805B4" >11.7-1</a> <br />code class="func" >GeneratorsOfSemigroupIdeal</code > <a href="chap9_mj.html#X87BB45DB844D41BC" >9.2-1</a> <br />code class="func" >GeneratorsOfStzPresentation</code > <a href="chap15_mj.html#X7F399C5982227D31" >15.3-3</a> <br />code class="func" >GeneratorsSmallest</code >, for a semigroup <a href="chap11_mj.html#X82B02F0887AD1B78" >11.7-5</a> <br />code class="func" >GLM</code > <a href="chap7_mj.html#X7D4B473A7D7735E3" >7.5-1</a> <br />code class="func" >GossipMonoid</code > <a href="chap7_mj.html#X7F083600787C78FF" >7.6-5</a> <br />code class="func" >GraphInverseSemigroup</code > <a href="chap7_mj.html#X7A9EEFD386D6F630" >7.10-1</a> <br />code class="func" >GraphOfGraphInverseSemigroup</code > <a href="chap7_mj.html#X7BE287A385A058BC" >7.10-5</a> <br />code class="func" >GreensDClasses</code > <a href="chap10_mj.html#X7D51218A80234DE5" >10.1-4</a> <br />code class="func" >GreensDClassOfElement</code > <a href="chap10_mj.html#X81B7AD4C7C552867" >10.1-2</a> <br />"chap7_mj.html#X85DC5D50875E55D6" >7.9-9</a> <br />code class="func" >GreensDClassOfElementNC</code > <a href="chap10_mj.html#X7B44317786571F8B" >10.1-3</a> <br />code class="func" >GreensHClasses</code > <a href="chap10_mj.html#X7D51218A80234DE5" >10.1-4</a> <br />code class="func" >GreensHClassOfElement</code > <a href="chap10_mj.html#X81B7AD4C7C552867" >10.1-2</a> <br />"chap10_mj.html#X81B7AD4C7C552867" >10.1-2</a> <br />code class="func" >GreensHClassOfElementNC</code > <a href="chap10_mj.html#X7B44317786571F8B" >10.1-3</a> <br />code class="func" >GreensJClasses</code > <a href="chap10_mj.html#X7D51218A80234DE5" >10.1-4</a> <br />code class="func" >GreensLClasses</code > <a href="chap10_mj.html#X7D51218A80234DE5" >10.1-4</a> <br />code class="func" >GreensLClassOfElement</code > <a href="chap10_mj.html#X81B7AD4C7C552867" >10.1-2</a> <br />code class="func" >GreensLClassOfElementNC</code > <a href="chap10_mj.html#X7B44317786571F8B" >10.1-3</a> <br />code class="func" >GreensRClasses</code > <a href="chap10_mj.html#X7D51218A80234DE5" >10.1-4</a> <br />code class="func" >GreensRClassOfElement</code > <a href="chap10_mj.html#X81B7AD4C7C552867" >10.1-2</a> <br />code class="func" >GreensRClassOfElementNC</code > <a href="chap10_mj.html#X7B44317786571F8B" >10.1-3</a> <br />code class="func" >GroupHClass</code > <a href="chap10_mj.html#X8723756387DD4C0F" >10.4-1</a> <br code class="func" >GroupOfUnits</code > <a href="chap11_mj.html#X811AEDD88280C277" >11.9-1</a> <br />code class="func" >HallMonoid</code > <a href="chap7_mj.html#X79EF0EA68782CFCA" >7.6-4</a> <br />code class="func" >HClass</code > <a href="chap10_mj.html#X81B7AD4C7C552867" >10.1-2</a> <br />"chap10_mj.html#X81B7AD4C7C552867" >10.1-2</a> <br />code class="func" >HClasses</code > <a href="chap10_mj.html#X7D51218A80234DE5" >10.1-4</a> <br />code class="func" >HClassNC</code > <a href="chap10_mj.html#X7B44317786571F8B" >10.1-3</a> <br />code class="func" >HClassReps</code > <a href="chap10_mj.html#X865387A87FAAC395" >10.1-5</a> <br />code class="func" >HomomorphismsOfStrongSemilatticeOfSemigroups</code > <a href="chap8_mj.html#X806655138370ECFF" >8.3-7</a> <br />code class="func" >Ideals</code >, for a semigroup <a href="chap9_mj.html#X7AF9B33881D185C6" >9.1-2</a> <br />code class="func" >IdempotentGeneratedSubsemigroup</code > <a href="chap11_mj.html#X83970D028143B79B" >11.10-3</a> <br />code class="func" >Idempotents</code > <a href="chap11_mj.html#X7C651C9C78398FFF" >11.10-1</a> <br />code class="func" >IdentityBipartition</code > <a href="chap3_mj.html#X8379B0538101FBC8" >3.2-3</a> <br />code class="func" >IdentityPBR</code > <a href="chap4_mj.html#X80D20EA3816DC862" >4.2-4</a> <br />code class="func" >ImagesElm</code >, for IsRMSIsoByTriple <a href="chap14_mj.html#X7F159C1179C93C11" >14.3-5</a> <br />code class="func" >ImageSetOfTranslation</code >, for IsSemigroupTranslation <a href="chap18_mj.html#X7E81252986BB72BB" >18.1-16</a> <br />code class="func" >ImagesRepresentative</code >, for IsRMSIsoByTriple <a href="chap14_mj.html#X7F159C1179C93C11" >14.3-5</a> <br />code class="func" >IndecomposableElements</code > <a href="chap11_mj.html#X7B4CD8937858A895" >11.7-6</a> <br />code class="func" >IndexOfVertexOfGraphInverseSemigroup</code > <a href="chap7_mj.html#X87500BC782212D4A" >7.10-9</a> <br />code class="func" >IndexPeriodOfSemigroupElement</code > <a href="chap11_mj.html#X869AC4247E2BA4A2" >11.4-1</a> <br />code class="func" >InfoSemigroups</code > <a href="chap2_mj.html#X85CD4E6C82BECAF3" >2.5-1</a> <br />code class="func" >InjectionNormalizedPrincipalFactor</code > <a href="chap10_mj.html#X7EBB4F1981CC2AE9" >10.4-7</a> <br />code class="func" >InjectionPrincipalFactor</code > <a href="chap10_mj.html#X7EBB4F1981CC2AE9" >10.4-7</a> <br />code class="func" >InnerLeftTranslations</code >, for IsSemigroup and CanUseFroidurePin and IsFinite <a href="chap18_mj.html#X7E9306DF79587A33" >18.1-13</a> <br />code class="func" >InnerRightTranslations</code >, for IsSemigroup and CanUseFroidurePin and IsFinite <a href="chap18_mj.html#X7E9306DF79587A33" >18.1-13</a> <br />code class="func" >InnerTranslationalHull</code >, for IsSemigroup and CanUseFroidurePin and IsFinite <a href="chap18_mj.html#X7C109DF080E72F68" >18.1-14</a> <br />code class="func" >Integers</code > <a href="chap5_mj.html#X782480C686F1A663" >5.1-8</a> <br />code class="func" >IntRepOfBipartition</code > <a href="chap3_mj.html#X7ECD393A854C073B" >3.5-4</a> <br />code class="func" >InverseMonoidByGenerators</code > <a href="chap6_mj.html#X79A15C7C83BBA60B" >6.2-1</a> <br />code class="func" >InverseOp</code > <a href="chap5_mj.html#X82EC4F49877D6EB1" >5.6-1</a> <br />"chap5_mj.html#X7BC66ECE8378068E" >5.5-1</a> <br />code class="func" >InverseSemigroupByGenerators</code > <a href="chap6_mj.html#X79A15C7C83BBA60B" >6.2-1</a> <br />code class="func" >InverseSemigroupCongruenceByKernelTrace</code > <a href="chap13_mj.html#X7A588B737CEEB104" >13.7-2</a> <br />code class="func" >InverseSubsemigroupByProperty</code > <a href="chap6_mj.html#X832AEDCC7BA9E5F5" >6.4-3</a> <br />code class="func" >IrredundantGeneratingSubset</code > <a href="chap11_mj.html#X7F88DA9487720D2B" >11.7-3</a> <br />code class="func" >IsActingSemigroup</code > <a href="chap6_mj.html#X7F69D8FC7D578A0C" >6.1-2</a> <br />code class="func" >IsAntiSymmetricBooleanMat</code > <a href="chap5_mj.html#X8570C8A08549383D" >5.3-13</a> <br />code class="func" >IsAperiodicSemigroup</code > <a href="chap12_mj.html#X8752642C7F7E512B" >12.1-19</a> <br />code class="func" >IsBand</code > <a href="chap12_mj.html#X7C8DB14587D1B55A" >12.1-1</a> <br />code class="func" >IsBipartition</code > <a href="chap3_mj.html#X80F11BEF856E7902" >3.1-1</a> <br code class="func" >IsBipartitionCollColl</code > <a href="chap3_mj.html#X82F5D10C85489832" >3.1-2</a> <br />code class="func" >IsBipartitionCollection</code > <a href="chap3_mj.html#X82F5D10C85489832" >3.1-2</a> <br />code class="func" >IsBipartitionMonoid</code > <a href="chap3_mj.html#X810BFF647C4E191E" >3.8-1</a> <br />code class="func" >IsBipartitionPBR</code > <a href="chap4_mj.html#X81EC86397E098BC8" >4.5-8</a> <br />code class="func" >IsBipartitionSemigroup</code > <a href="chap3_mj.html#X810BFF647C4E191E" >3.8-1</a> <br />code class="func" >IsBitranslation</code >, for IsAssociativeElement and IsMultiplicativeElementWithOne <a href="chap18_mj.html#X7F6689E885982816" >18.1-2</a> <br />code class="func" >IsBitranslationCollection</code > <a href="chap18_mj.html#X7F536B1B85978B63" >18.1-3</a> <br />code class="func" >IsBlockBijection</code > <a href="chap3_mj.html#X829494DF7FD6CFEC" >3.5-16</a> <br />code class="func" >IsBlockBijectionMonoid</code > <a href="chap3_mj.html#X80C37124794636F3" >3.8-2</a> <br />code class="func" >IsBlockBijectionPBR</code > <a href="chap4_mj.html#X81EC86397E098BC8" >4.5-8</a> <br />code class="func" >IsBlockBijectionSemigroup</code > <a href="chap3_mj.html#X80C37124794636F3" >3.8-2</a> <br />code class="func" >IsBlockGroup</code > <a href="chap12_mj.html#X79659C467C8A7EBD" >12.1-2</a> <br />code class="func" >IsBlocks</code > <a href="chap3_mj.html#X7D77092078EC860C" >3.6-1</a> <br />code class="func" >IsBooleanMat</code > <a href="chap5_mj.html#X782480C686F1A663" >5.1-8</a> <br />code class="func" >IsBooleanMatCollColl</code > <a href="chap5_mj.html#X86233A3E86512493" >5.1-9</a> <br />code class="func" >IsBooleanMatCollection</code > <a href="chap5_mj.html#X86233A3E86512493" >5.1-9</a> <br />code class="func" >IsBooleanMatMonoid</code > <a href="chap5_mj.html#X8616225581BC7414" >5.7-2</a> <br />code class="func" >IsBooleanMatSemigroup</code > <a href="chap5_mj.html#X7DC6EB0680B3E4DD" >5.7-1</a> <br />code class="func" >IsBrandtSemigroup</code > <a href="chap12_mj.html#X7EFDBA687DCDA6FA" >12.2-2</a> <br />code class="func" >IsCayleyDigraphOfCongruences</code > <a href="chap13_mj.html#X8195D6F47EE52806" >13.4-4</a> <br />code class="func" >IsCliffordSemigroup</code > <a href="chap12_mj.html#X81DE11987BB81017" >12.2-1</a> <br />code class="func" >IsColTrimBooleanMat</code > <a href="chap5_mj.html#X794C91597CC9F784" >5.3-9</a> <br />code class="func" >IsCombinatorialSemigroup</code > <a href="chap12_mj.html#X8752642C7F7E512B" >12.1-19</a> <br />code class="func" >IsCommutativeSemigroup</code > <a href="chap12_mj.html#X843EFDA4807FDC31" >12.1-3</a> <br />code class="func" >IsCompletelyRegularSemigroup</code > <a href="chap12_mj.html#X7AFA23AF819FBF3D" >12.1-4</a> <br />code class="func" >IsCompletelySimpleSemigroup</code > <a href="chap12_mj.html#X836F4692839F4874" >12.1-22</a> <br />code class="func" >IsCongruenceByWangPair</code > <a href="chap13_mj.html#X7AEB7DA27E76145B" >13.8-1</a> <br />code class="func" >IsCongruenceClass</code > <a href="chap13_mj.html#X7B1F67A97E23E6A4" >13.3-1</a> <br />code class="func" >IsCongruenceFreeSemigroup</code > <a href="chap12_mj.html#X855088F378D8F5E1" >12.1-5</a> <br />code class="func" >IsCongruencePoset</code > <a href="chap13_mj.html#X8195D6F47EE52806" >13.4-4</a> <br />code class="func" >IsConnectedTransformationSemigroup</code >, for a transformation semigroup <a href="chap11_mj.html#X82ABE03F80B8CA2B" >11.12-10</a> <br />code class="func" >IsDTrivial</code > <a href="chap12_mj.html#X8752642C7F7E512B" >12.1-19</a> <br code class="func" >IsDualSemigroupElement</code > <a href="chap8_mj.html#X79BAAA397FC1FA2E" >8.2-3</a> <br />code class="func" >IsDualSemigroupRep</code > <a href="chap8_mj.html#X83403224821CD079" >8.2-2</a> <br />code class="func" >IsDualTransBipartition</code > <a href="chap3_mj.html#X7F0B8ACC7C9A937F" >3.5-13</a> <br />code class="func" >IsDualTransformationPBR</code > <a href="chap4_mj.html#X7962D03186B1AFDF" >4.5-10</a> <br />code class="func" >IsEmptyPBR</code > <a href="chap4_mj.html#X82FD0AB179ED4AFD" >4.5-5</a> <br />code class="func" >IsEnumerated</code > <a href="chap11_mj.html#X877FAAA67F834897" >11.1-4</a> <br />code class="func" >IsEquivalenceBooleanMat</code > <a href="chap5_mj.html#X82EA957982B79827" >5.3-16</a> <br />code class="func" >IsEUnitaryInverseSemigroup</code > <a href="chap12_mj.html#X843EA0E37C968BBF" >12.2-3</a> <br />code class="func" >IsFactorisableInverseMonoid</code > <a href="chap12_mj.html#X8440E22681BD1EE6" >12.2-6</a> <br />code class="func" >IsFinite</code > <a href="chap5_mj.html#X808A4061809A6E67" >5.7-3</a> <br />code class="func" >IsFInverseMonoid</code > <a href="chap12_mj.html#X864F1906858BB8CF" >12.2-5</a> <br />code class="func" >IsFInverseSemigroup</code > <a href="chap12_mj.html#X86F942F48158DAC3" >12.2-4</a> <br />code class="func" >IsFreeBand</code >, for a given semigroup <a href="chap7_mj.html#X7B1CD5FC7E034B88" >7.9-3</a> <br />code class="func" >IsFreeBandCategory</code > <a href="chap7_mj.html#X7F5658DC7E56C4A6" >7.9-2</a> <br />code class="func" >IsFreeBandElement</code > <a href="chap7_mj.html#X7DECF69087BB3B16" >7.9-4</a> <br />code class="func" >IsFreeBandElementCollection</code > <a href="chap7_mj.html#X842839C87DAAA43C" >7.9-5</a> <br />code class="func" >IsFreeBandSubsemigroup</code > <a href="chap7_mj.html#X7AEF4CD1857E7DCC" >7.9-6</a> <br />code class="func" >IsFreeInverseSemigroup</code > <a href="chap7_mj.html#X7B91643B827DA6DB" >7.11-3</a> <br />code class="func" >IsFreeInverseSemigroupCategory</code > <a href="chap7_mj.html#X7CE4CFD886220179" >7.11-2</a> <br />code class="func" >IsFreeInverseSemigroupElement</code > <a href="chap7_mj.html#X7999FE0286283CC2" >7.11-4</a> <br />code class="func" >IsFreeInverseSemigroupElementCollection</code > <a href="chap7_mj.html#X813A291779726739" >7.11-5</a> <br />code class="func" >IsFullMatrixMonoid</code > <a href="chap7_mj.html#X860B2A4382CA8F87" >7.5-3</a> <br />code class="func" >IsGeneralLinearMonoid</code > <a href="chap7_mj.html#X860B2A4382CA8F87" >7.5-3</a> <br />code class="func" >IsGraphInverseSemigroup</code > <a href="chap7_mj.html#X7BFDF88B799B05A0" >7.10-4</a> <br />code class="func" >IsGraphInverseSemigroupElement</code > <a href="chap7_mj.html#X7BFDF88B799B05A0" >7.10-4</a> <br />code class="func" >IsGraphInverseSemigroupElementCollection</code > <a href="chap7_mj.html#X870128E4845D6ABD" >7.10-6</a> <br />code class="func" >IsGraphInverseSubsemigroup</code > <a href="chap7_mj.html#X7BC6D5107ED09DBA" >7.10-7</a> <br />code class="func" >IsGreensClassNC</code > <a href="chap10_mj.html#X7E9BD34B8021045A" >10.3-3</a> <br />code class="func" >IsGreensDGreaterThanFunc</code > <a href="chap10_mj.html#X7E872C5381D0DD8A" >10.1-12</a> <br />code class="func" >IsGroupAsSemigroup</code > <a href="chap12_mj.html#X852F29E8795FA489" >12.1-7</a> <br />code class="func" >IsHTrivial</code > <a href="chap12_mj.html#X8752642C7F7E512B" >12.1-19</a> <br code class="func" >IsIdempotentGenerated</code > <a href="chap12_mj.html#X835484C481CF3DDD" >12.1-8</a> <br />code class="func" >IsIdentityPBR</code > <a href="chap4_mj.html#X7E263B2F7B838D6E" >4.5-6</a> <br code class="func" >IsIntegerMatrixMonoid</code > <a href="chap5_mj.html#X8616225581BC7414" >5.7-2</a> <br />code class="func" >IsIntegerMatrixSemigroup</code > <a href="chap5_mj.html#X7DC6EB0680B3E4DD" >5.7-1</a> <br />code class="func" >IsInverseSemigroupCongruenceByKernelTrace</code > <a href="chap13_mj.html#X8546E48E85A2A7E8" >13.7-1</a> <br />code class="func" >IsInverseSemigroupCongruenceClassByKernelTrace</code > <a href="chap13_mj.html#X8049A0E780A7A8D9" >13.7-6</a> <br />code class="func" >IsIsomorphicSemigroup</code > <a href="chap14_mj.html#X7A6D59247F15935E" >14.2-1</a> <br />code class="func" >IsJoinIrreducible</code > <a href="chap12_mj.html#X817F9F3984FC842C" >12.2-7</a> <br />code class="func" >IsLeftCongruenceClass</code > <a href="chap13_mj.html#X7C803E8C84E81A0B" >13.3-2</a> <br />code class="func" >IsLeftSemigroupCongruence</code > <a href="chap13_mj.html#X7E909A78830D42A6" >13.1-2</a> <br />code class="func" >IsLeftSimple</code > <a href="chap12_mj.html#X8206D2B0809952EF" >12.1-9</a> <br />code class="func" >IsLeftTranslation</code >, for IsSemigroupTranslation <a href="chap18_mj.html#X849F15607B774B90" >18.1-1</a> <br />code class="func" >IsLeftTranslationCollection</code > <a href="chap18_mj.html#X7F536B1B85978B63" >18.1-3</a> <br />code class="func" >IsLeftZeroSemigroup</code > <a href="chap12_mj.html#X7E9261367C8C52C0" >12.1-10</a> <br />code class="func" >IsLinkedTriple</code > <a href="chap13_mj.html#X7B19CACF7A37ADBC" >13.6-5</a> <br />code class="func" >IsLTrivial</code > <a href="chap12_mj.html#X8752642C7F7E512B" >12.1-19</a> <br code class="func" >IsMajorantlyClosed</code > <a href="chap12_mj.html#X81E6D24F852A7937" >12.2-8</a> <br />code class="func" >IsMatrixOverFiniteField</code > <a href="chap5_mj.html#X782480C686F1A663" >5.1-8</a> <br />code class="func" >IsMatrixOverFiniteFieldCollColl</code > <a href="chap5_mj.html#X86233A3E86512493" >5.1-9</a> <br />code class="func" >IsMatrixOverFiniteFieldCollection</code > <a href="chap5_mj.html#X86233A3E86512493" >5.1-9</a> <br />code class="func" >IsMatrixOverFiniteFieldMonoid</code > <a href="chap5_mj.html#X8616225581BC7414" >5.7-2</a> <br />code class="func" >IsMatrixOverFiniteFieldSemigroup</code > <a href="chap5_mj.html#X7DC6EB0680B3E4DD" >5.7-1</a> <br />code class="func" >IsMatrixOverSemiring</code > <a href="chap5_mj.html#X8711618C7A8A1B60" >5.1-1</a> <br />code class="func" >IsMatrixOverSemiringCollColl</code > <a href="chap5_mj.html#X86F696B883677D6B" >5.1-2</a> <br />code class="func" >IsMatrixOverSemiringCollection</code > <a href="chap5_mj.html#X86F696B883677D6B" >5.1-2</a> <br />code class="func" >IsMatrixOverSemiringMonoid</code > <a href="chap5_mj.html#X8616225581BC7414" >5.7-2</a> <br />code class="func" >IsMatrixOverSemiringSemigroup</code > <a href="chap5_mj.html#X7DC6EB0680B3E4DD" >5.7-1</a> <br />code class="func" >IsMaximalSubsemigroup</code > <a href="chap11_mj.html#X82D74C2478A49FD5" >11.11-3</a> <br />code class="func" >IsMaxPlusMatrix</code > <a href="chap5_mj.html#X782480C686F1A663" >5.1-8</a> <br />code class="func" >IsMaxPlusMatrixCollColl</code > <a href="chap5_mj.html#X86233A3E86512493" >5.1-9</a> <br />code class="func" >IsMaxPlusMatrixCollection</code > <a href="chap5_mj.html#X86233A3E86512493" >5.1-9</a> <br />code class="func" >IsMaxPlusMatrixMonoid</code > <a href="chap5_mj.html#X8616225581BC7414" >5.7-2</a> <br />code class="func" >IsMaxPlusMatrixSemigroup</code > <a href="chap5_mj.html#X7DC6EB0680B3E4DD" >5.7-1</a> <br />code class="func" >IsMcAlisterTripleSemigroup</code > <a href="chap8_mj.html#X85C00EB085774624" >8.4-1</a> <br />code class="func" >IsMcAlisterTripleSemigroupElement</code > <a href="chap8_mj.html#X7B4EC9FC82249A83" >8.4-7</a> <br />code class="func" >IsMinPlusMatrix</code > <a href="chap5_mj.html#X782480C686F1A663" >5.1-8</a> <br />code class="func" >IsMinPlusMatrixCollColl</code > <a href="chap5_mj.html#X86233A3E86512493" >5.1-9</a> <br />code class="func" >IsMinPlusMatrixCollection</code > <a href="chap5_mj.html#X86233A3E86512493" >5.1-9</a> <br />code class="func" >IsMinPlusMatrixMonoid</code > <a href="chap5_mj.html#X8616225581BC7414" >5.7-2</a> <br />code class="func" >IsMinPlusMatrixSemigroup</code > <a href="chap5_mj.html#X7DC6EB0680B3E4DD" >5.7-1</a> <br />code class="func" >IsMonogenicInverseMonoid</code > <a href="chap12_mj.html#X7EDFA6CA86645DBE" >12.2-10</a> <br />code class="func" >IsMonogenicInverseSemigroup</code > <a href="chap12_mj.html#X7D2641AD830DEC1C" >12.2-9</a> <br />code class="func" >IsMonogenicMonoid</code > <a href="chap12_mj.html#X790DC9F4798DBB09" >12.1-12</a> <br />code class="func" >IsMonogenicSemigroup</code > <a href="chap12_mj.html#X79D46BAB7E327AD1" >12.1-11</a> <br />code class="func" >IsMonoidAsSemigroup</code > <a href="chap12_mj.html#X7E4DEECD7CD9886D" >12.1-13</a> <br />code class="func" >IsMTSE</code > <a href="chap8_mj.html#X7B4EC9FC82249A83" >8.4-7</a> <br />code class="func" >IsNTPMatrix</code > <a href="chap5_mj.html#X782480C686F1A663" >5.1-8</a> <br />code class="func" >IsNTPMatrixCollColl</code > <a href="chap5_mj.html#X86233A3E86512493" >5.1-9</a> <br />code class="func" >IsNTPMatrixCollection</code > <a href="chap5_mj.html#X86233A3E86512493" >5.1-9</a> <br />code class="func" >IsNTPMatrixMonoid</code > <a href="chap5_mj.html#X8616225581BC7414" >5.7-2</a> <br />code class="func" >IsNTPMatrixSemigroup</code > <a href="chap5_mj.html#X7DC6EB0680B3E4DD" >5.7-1</a> <br />code class="func" >IsomorphismMonoid</code > <a href="chap6_mj.html#X83D03BE678C9974F" >6.5-2</a> <br />code class="func" >IsomorphismPermGroup</code > <a href="chap6_mj.html#X80B7B1C783AA1567" >6.5-5</a> <br />code class="func" >IsomorphismReesMatrixSemigroup</code >, for a D-class <a href="chap10_mj.html#X7EBB4F1981CC2AE9" >10.4-7</a> <br />"chap6_mj.html#X7E2ECC577A1CF7CA" >6.5-8</a> <br />code class="func" >IsomorphismReesMatrixSemigroupOverPermGroup</code > <a href="chap6_mj.html#X7E2ECC577A1CF7CA" >6.5-8</a> <br />code class="func" >IsomorphismReesZeroMatrixSemigroup</code > <a href="chap6_mj.html#X7E2ECC577A1CF7CA" >6.5-8</a> <br />code class="func" >IsomorphismReesZeroMatrixSemigroupOverPermGroup</code > <a href="chap6_mj.html#X7E2ECC577A1CF7CA" >6.5-8</a> <br />code class="func" >IsomorphismSemigroup</code > <a href="chap6_mj.html#X838F18E87F765697" >6.5-1</a> <br />code class="func" >IsomorphismSemigroups</code > <a href="chap14_mj.html#X8248C522825E2684" >14.2-6</a> <br />code class="func" >IsOntoBooleanMat</code > <a href="chap5_mj.html#X7A68D87982A07C6F" >5.3-14</a> <br />code class="func" >IsOrthodoxSemigroup</code > <a href="chap12_mj.html#X7935C476808C8773" >12.1-14</a> <br />code class="func" >IsPartialOrderBooleanMat</code > <a href="chap5_mj.html#X7D9BECEA7E9B72A7" >5.3-15</a> <br />code class="func" >IsPartialPermBipartition</code > <a href="chap3_mj.html#X87C771D37B1FE95C" >3.5-15</a> <br />code class="func" >IsPartialPermBipartitionMonoid</code > <a href="chap3_mj.html#X79A706A582ABE558" >3.8-3</a> <br />code class="func" >IsPartialPermBipartitionSemigroup</code > <a href="chap3_mj.html#X79A706A582ABE558" >3.8-3</a> <br />code class="func" >IsPartialPermPBR</code > <a href="chap4_mj.html#X7883CD5D824CC236" >4.5-11</a> <br />code class="func" >IsPBR</code > <a href="chap4_mj.html#X82CCBADC80AE2D15" >4.1-1</a> <br />code class="func" >IsPBRCollColl</code > <a href="chap4_mj.html#X854A9CEA7AC14C0A" >4.1-2</a> <br code class="func" >IsPBRCollection</code > <a href="chap4_mj.html#X854A9CEA7AC14C0A" >4.1-2</a> <br />code class="func" >IsPBRMonoid</code > <a href="chap4_mj.html#X8554A3F878A4DC73" >4.6-1</a> <br />code class="func" >IsPBRSemigroup</code > <a href="chap4_mj.html#X8554A3F878A4DC73" >4.6-1</a> <br />code class="func" >IsPermBipartition</code > <a href="chap3_mj.html#X8031B53E7D0ECCFA" >3.5-14</a> <br />code class="func" >IsPermBipartitionGroup</code > <a href="chap3_mj.html#X7DEE07577D7379AC" >3.8-4</a> <br />code class="func" >IsPermPBR</code > <a href="chap4_mj.html#X85B21BB0835FE166" >4.5-12</a> <br />code class="func" >IsRectangularBand</code > <a href="chap12_mj.html#X7E9B674D781B072C" >12.1-15</a> <br />code class="func" >IsRectangularGroup</code > <a href="chap12_mj.html#X80E682BB78547F41" >12.1-16</a> <br />code class="func" >IsReesCongruenceClass</code > <a href="chap13_mj.html#X7E15F66A8029C64A" >13.9-2</a> <br />code class="func" >IsReflexiveBooleanMat</code > <a href="chap5_mj.html#X7C373B7D87044050" >5.3-11</a> <br />code class="func" >IsRegularGreensClass</code > <a href="chap10_mj.html#X859DD1C079C80DCC" >10.3-2</a> <br />code class="func" >IsRegularSemigroup</code > <a href="chap12_mj.html#X7C4663827C5ACEF1" >12.1-17</a> <br />code class="func" >IsRightCongruenceClass</code > <a href="chap13_mj.html#X7D2F11C28470BC5A" >13.3-3</a> <br />code class="func" >IsRightSemigroupCongruence</code > <a href="chap13_mj.html#X839EEA797B1CCB67" >13.1-3</a> <br />code class="func" >IsRightSimple</code > <a href="chap12_mj.html#X8206D2B0809952EF" >12.1-9</a> <br />code class="func" >IsRightTranslation</code >, for IsSemigroupTranslation <a href="chap18_mj.html#X849F15607B774B90" >18.1-1</a> <br />code class="func" >IsRightTranslationCollection</code > <a href="chap18_mj.html#X7F536B1B85978B63" >18.1-3</a> <br />code class="func" >IsRightZeroSemigroup</code > <a href="chap12_mj.html#X7CB099958658F979" >12.1-18</a> <br />code class="func" >IsRMSCongruenceByLinkedTriple</code > <a href="chap13_mj.html#X7F4AFD7F7E163022" >13.6-1</a> <br />code class="func" >IsRMSCongruenceClassByLinkedTriple</code > <a href="chap13_mj.html#X79E4CF7B79B25AE3" >13.6-3</a> <br />code class="func" >IsRMSIsoByTriple</code > <a href="chap14_mj.html#X82FCB1E585429FEA" >14.3-1</a> <br />code class="func" >IsRowTrimBooleanMat</code > <a href="chap5_mj.html#X794C91597CC9F784" >5.3-9</a> <br />code class="func" >IsRTrivial</code > <a href="chap12_mj.html#X8752642C7F7E512B" >12.1-19</a> <br code class="func" >IsRZMSCongruenceByLinkedTriple</code > <a href="chap13_mj.html#X7F4AFD7F7E163022" >13.6-1</a> <br />code class="func" >IsRZMSCongruenceClassByLinkedTriple</code > <a href="chap13_mj.html#X79E4CF7B79B25AE3" >13.6-3</a> <br />code class="func" >IsRZMSIsoByTriple</code > <a href="chap14_mj.html#X82FCB1E585429FEA" >14.3-1</a> <br />code class="func" >IsSelfDualSemigroup</code > <a href="chap12_mj.html#X846FC6247EE31607" >12.1-29</a> <br />code class="func" >IsSemiband</code > <a href="chap12_mj.html#X835484C481CF3DDD" >12.1-8</a> <br />code class="func" >IsSemigroupCongruence</code > <a href="chap13_mj.html#X78E34B737F0E009F" >13.1-1</a> <br />code class="func" >IsSemigroupHomomorphismByFunction</code > <a href="chap14_mj.html#X7F9CF9457E84BAE2" >14.1-4</a> <br />code class="func" >IsSemigroupHomomorphismByImages</code > <a href="chap14_mj.html#X7C76C6E5780D4A57" >14.1-3</a> <br />code class="func" >IsSemigroupIsomorphismByFunction</code > <a href="chap14_mj.html#X7EFDBD2C7A4FB6AF" >14.2-10</a> <br />code class="func" >IsSemigroupTranslation</code >, for IsAssociativeElement and IsMultiplicativeElementWithOne <a href="chap18_mj.html#X849F15607B774B90" >18.1-1</a> <br />code class="func" >IsSemigroupTranslationCollection</code > <a href="chap18_mj.html#X7F536B1B85978B63" >18.1-3</a> <br />code class="func" >IsSemigroupWithAdjoinedZero</code > <a href="chap12_mj.html#X7826DDF8808EC4D9" >12.1-20</a> <br />code class="func" >IsSemilattice</code > <a href="chap12_mj.html#X833D24AE7C900B85" >12.1-21</a> <br />code class="func" >IsSimpleSemigroup</code > <a href="chap12_mj.html#X836F4692839F4874" >12.1-22</a> <br />code class="func" >IsSSSE</code > <a href="chap8_mj.html#X7B7B70F37C9C3836" >8.3-3</a> <br />code class="func" >IsStrongSemilatticeOfSemigroups</code > <a href="chap8_mj.html#X838F24247D4DBE18" >8.3-4</a> <br />code class="func" >IsStzPresentation</code > <a href="chap15_mj.html#X7B86C70F84BCF8BD" >15.3-2</a> <br />code class="func" >IsSubrelation</code > <a href="chap13_mj.html#X85075F1D878512F5" >13.5-1</a> <br />code class="func" >IsSubsemigroupOfFpMonoid</code > <a href="chap15_mj.html#X7FF4A1CF79799314" >15.2-5</a> <br />code class="func" >IsSuperrelation</code > <a href="chap13_mj.html#X83878AED7A8E75BE" >13.5-2</a> <br />code class="func" >IsSurjectiveSemigroup</code > <a href="chap12_mj.html#X7C9560A18348AEE3" >12.1-6</a> <br />code class="func" >IsSymmetricBooleanMat</code > <a href="chap5_mj.html#X7D22BA78790EFBC6" >5.3-10</a> <br />code class="func" >IsSynchronizingSemigroup</code >, for a transformation semigroup <a href="chap12_mj.html#X7EEC85187D315398" >12.1-23</a> <br />code class="func" >IsTorsion</code > <a href="chap5_mj.html#X80C6B26284721409" >5.7-4</a> <br />"chap5_mj.html#X7CA636F080777C36" >5.5-2</a> <br />code class="func" >IsTotalBooleanMat</code > <a href="chap5_mj.html#X7A68D87982A07C6F" >5.3-14</a> <br />code class="func" >IsTransBipartition</code > <a href="chap3_mj.html#X79C556827A578509" >3.5-12</a> <br />code class="func" >IsTransformationBooleanMat</code > <a href="chap5_mj.html#X7E6B588887D34A0A" >5.3-17</a> <br />code class="func" >IsTransformationPBR</code > <a href="chap4_mj.html#X7AF425D17BBE9023" >4.5-9</a> <br />code class="func" >IsTransitive</code >, for a transformation semigroup and a pos int <a href="chap11_mj.html#X83DA161F875F63B1" >11.12-7</a> <br />"chap11_mj.html#X83DA161F875F63B1" >11.12-7</a> <br />code class="func" >IsTransitiveBooleanMat</code > <a href="chap5_mj.html#X7CDAD39B856AC3E5" >5.3-12</a> <br />code class="func" >IsTrimBooleanMat</code > <a href="chap5_mj.html#X794C91597CC9F784" >5.3-9</a> <br />code class="func" >IsTropicalMatrix</code > <a href="chap5_mj.html#X782480C686F1A663" >5.1-8</a> <br />code class="func" >IsTropicalMatrixCollection</code > <a href="chap5_mj.html#X86233A3E86512493" >5.1-9</a> <br />code class="func" >IsTropicalMatrixMonoid</code > <a href="chap5_mj.html#X8616225581BC7414" >5.7-2</a> <br />code class="func" >IsTropicalMatrixSemigroup</code > <a href="chap5_mj.html#X7DC6EB0680B3E4DD" >5.7-1</a> <br />code class="func" >IsTropicalMaxPlusMatrix</code > <a href="chap5_mj.html#X782480C686F1A663" >5.1-8</a> <br />code class="func" >IsTropicalMaxPlusMatrixCollColl</code > <a href="chap5_mj.html#X86233A3E86512493" >5.1-9</a> <br />code class="func" >IsTropicalMaxPlusMatrixCollection</code > <a href="chap5_mj.html#X86233A3E86512493" >5.1-9</a> <br />code class="func" >IsTropicalMaxPlusMatrixMonoid</code > <a href="chap5_mj.html#X8616225581BC7414" >5.7-2</a> <br />code class="func" >IsTropicalMaxPlusMatrixSemigroup</code > <a href="chap5_mj.html#X7DC6EB0680B3E4DD" >5.7-1</a> <br />code class="func" >IsTropicalMinPlusMatrix</code > <a href="chap5_mj.html#X782480C686F1A663" >5.1-8</a> <br />code class="func" >IsTropicalMinPlusMatrixCollColl</code > <a href="chap5_mj.html#X86233A3E86512493" >5.1-9</a> <br />code class="func" >IsTropicalMinPlusMatrixCollection</code > <a href="chap5_mj.html#X86233A3E86512493" >5.1-9</a> <br />code class="func" >IsTropicalMinPlusMatrixMonoid</code > <a href="chap5_mj.html#X8616225581BC7414" >5.7-2</a> <br />code class="func" >IsTropicalMinPlusMatrixSemigroup</code > <a href="chap5_mj.html#X7DC6EB0680B3E4DD" >5.7-1</a> <br />code class="func" >IsUniformBlockBijection</code > <a href="chap3_mj.html#X79D54AD8833B9551" >3.5-17</a> <br />code class="func" >IsUnitRegularMonoid</code > <a href="chap12_mj.html#X80F9A4B87997839F" >12.1-24</a> <br />code class="func" >IsUniversalPBR</code > <a href="chap4_mj.html#X7A280FC27BAD0EF0" >4.5-7</a> <br />code class="func" >IsUniversalSemigroupCongruence</code > <a href="chap13_mj.html#X8751EF557A81A2B1" >13.10-1</a> <br />code class="func" >IsUniversalSemigroupCongruenceClass</code > <a href="chap13_mj.html#X8646253C86AFFA29" >13.10-2</a> <br />code class="func" >IsVertex</code >, for a graph inverse semigroup element <a href="chap7_mj.html#X7DEE927C83D4DFDD" >7.10-3</a> <br />code class="func" >IsZeroGroup</code > <a href="chap12_mj.html#X85F7E5CD86F0643B" >12.1-25</a> <br />code class="func" >IsZeroRectangularBand</code > <a href="chap12_mj.html#X7C6787D07B95B450" >12.1-26</a> <br />code class="func" >IsZeroSemigroup</code > <a href="chap12_mj.html#X81A1882181B75CC9" >12.1-27</a> <br />code class="func" >IsZeroSimpleSemigroup</code > <a href="chap12_mj.html#X8193A60F839C064E" >12.1-28</a> <br />code class="func" >IteratorCanonical</code > <a href="chap11_mj.html#X7AC3FAA5826516AD" >11.1-1</a> <br />code class="func" >IteratorFromGeneratorsFile</code > <a href="chap17_mj.html#X8711D6E280F87E67" >17.1-3</a> <br />code class="func" >IteratorFromMultiplicationTableFile</code > <a href="chap17_mj.html#X85708F5B7FBE3549" >17.2-3</a> <br />code class="func" >IteratorOfDClasses</code > <a href="chap10_mj.html#X867D7B8982915960" >10.2-2</a> <br />code class="func" >IteratorOfDClassReps</code > <a href="chap10_mj.html#X8566F84A7F6D4193" >10.2-1</a> <br />code class="func" >IteratorOfHClassReps</code > <a href="chap10_mj.html#X8566F84A7F6D4193" >10.2-1</a> <br />code class="func" >IteratorOfLClassReps</code > <a href="chap10_mj.html#X8566F84A7F6D4193" >10.2-1</a> <br />code class="func" >IteratorOfLeftCongruences</code >, for a semigroup <a href="chap13_mj.html#X807A5FCC87661FA4" >13.4-15</a> <br />"chap13_mj.html#X807A5FCC87661FA4" >13.4-15</a> <br />"chap13_mj.html#X807A5FCC87661FA4" >13.4-15</a> <br />code class="func" >IteratorOfRClasses</code > <a href="chap10_mj.html#X867D7B8982915960" >10.2-2</a> <br />code class="func" >IteratorOfRightCongruences</code >, for a semigroup <a href="chap13_mj.html#X807A5FCC87661FA4" >13.4-15</a> <br />"chap13_mj.html#X807A5FCC87661FA4" >13.4-15</a> <br />"chap13_mj.html#X807A5FCC87661FA4" >13.4-15</a> <br />code class="func" >JClasses</code > <a href="chap10_mj.html#X7D51218A80234DE5" >10.1-4</a> <br />code class="func" >JoinIrreducibleDClasses</code > <a href="chap11_mj.html#X85CDF93C805AF82A" >11.15-2</a> <br />code class="func" >JoinLeftSemigroupCongruences</code > <a href="chap13_mj.html#X8262D5207DBF3C5B" >13.5-4</a> <br />code class="func" >JoinRightSemigroupCongruences</code > <a href="chap13_mj.html#X8262D5207DBF3C5B" >13.5-4</a> <br />code class="func" >JoinSemigroupCongruences</code > <a href="chap13_mj.html#X8262D5207DBF3C5B" >13.5-4</a> <br />code class="func" >JoinSemilatticeOfCongruences</code > <a href="chap13_mj.html#X87CF25A178B7F1AF" >13.4-11</a> <br />code class="func" >JonesMonoid</code > <a href="chap7_mj.html#X8378FC8B840B9706" >7.3-3</a> <br />code class="func" >KernelOfSemigroupCongruence</code > <a href="chap13_mj.html#X7D521AFF7876CBC7" >13.7-4</a> <br />code class="func" >KernelOfSemigroupHomomorphism</code > <a href="chap14_mj.html#X86BCE2207E55FC9F" >14.1-7</a> <br />code class="func" >LargestElementSemigroup</code > <a href="chap11_mj.html#X7C65202187A9C9F5" >11.12-8</a> <br />code class="func" >LatticeOfCongruences</code >, for a semigroup <a href="chap13_mj.html#X86C9C5BA7FE93F4C" >13.4-5</a> <br />"chap13_mj.html#X86C9C5BA7FE93F4C" >13.4-5</a> <br />code class="func" >LatticeOfLeftCongruences</code >, for a semigroup <a href="chap13_mj.html#X86C9C5BA7FE93F4C" >13.4-5</a> <br />"chap13_mj.html#X86C9C5BA7FE93F4C" >13.4-5</a> <br />code class="func" >LatticeOfRightCongruences</code >, for a semigroup <a href="chap13_mj.html#X86C9C5BA7FE93F4C" >13.4-5</a> <br />"chap13_mj.html#X86C9C5BA7FE93F4C" >13.4-5</a> <br />code class="func" >LClass</code > <a href="chap10_mj.html#X81B7AD4C7C552867" >10.1-2</a> <br />code class="func" >LClasses</code > <a href="chap10_mj.html#X7D51218A80234DE5" >10.1-4</a> <br />code class="func" >LClassNC</code > <a href="chap10_mj.html#X7B44317786571F8B" >10.1-3</a> <br />code class="func" >LClassOfHClass</code > <a href="chap10_mj.html#X87558FEF805D24E1" >10.1-1</a> <br />code class="func" >LClassReps</code > <a href="chap10_mj.html#X865387A87FAAC395" >10.1-5</a> <br />code class="func" >LeftBlocks</code > <a href="chap3_mj.html#X7B9B364379D8F4E8" >3.5-6</a> <br />code class="func" >LeftCayleyDigraph</code > <a href="chap11_mj.html#X7EA002E27B10CCE0" >11.2-1</a> <br />code class="func" >LeftCongruencesOfSemigroup</code >, for a semigroup <a href="chap13_mj.html#X7E8D5BA27CB5A4DA" >13.4-1</a> <br />"chap13_mj.html#X7E8D5BA27CB5A4DA" >13.4-1</a> <br />code class="func" >LeftGreensMultiplier</code > <a href="chap10_mj.html#X7EDE3F03879B2B12" >10.5-1</a> <br />code class="func" >LeftInverse</code >, for a matrix over finite field <a href="chap5_mj.html#X8733B04781B682E5" >5.4-2</a> <br />code class="func" >LeftOne</code >, for a bipartition <a href="chap3_mj.html#X824EDD4582AAA8C7" >3.2-4</a> <br />code class="func" >LeftPartOfBitranslation</code > <a href="chap18_mj.html#X7D52D17E7A28CE0E" >18.1-4</a> <br />code class="func" >LeftProjection</code > <a href="chap3_mj.html#X824EDD4582AAA8C7" >3.2-4</a> <br />code class="func" >LeftSemigroupCongruence</code > <a href="chap13_mj.html#X8757DB087BE7E55A" >13.2-2</a> <br />code class="func" >LeftTranslation</code >, for IsLeftTranslationsSemigroup, IsGeneralMapping <a href="chap18_mj.html#X7ACCBAB57E910910" >18.1-5</a> <br />code class="func" >LeftTranslations</code >, for IsSemigroup and CanUseFroidurePin and IsFinite <a href="chap18_mj.html#X7D5CC8A48371410D" >18.1-10</a> <br />code class="func" >LeftTranslationsSemigroupOfFamily</code >, for IsFamily <a href="chap18_mj.html#X857C28C8790A35F6" >18.1-8</a> <br />code class="func" >LeftZeroSemigroup</code > <a href="chap7_mj.html#X8672CFA47CA620B2" >7.8-6</a> <br />code class="func" >Length</code > <a href="chap15_mj.html#X780769238600AFD1" >15.3-6</a> <br />code class="func" >LengthOfLongestDClassChain</code > <a href="chap10_mj.html#X83B0EDA57F1D2F97" >10.1-11</a> <br />code class="func" >MajorantClosure</code > <a href="chap11_mj.html#X801CC67E80898608" >11.15-3</a> <br />code class="func" >Matrix</code >, for a filter and a matrix <a href="chap5_mj.html#X7DCA234C86ED8BD3" >5.1-5</a> <br />"chap5_mj.html#X7DCA234C86ED8BD3" >5.1-5</a> <br />code class="func" >MaximalDClasses</code > <a href="chap10_mj.html#X834172F4787A565B" >10.1-7</a> <br />code class="func" >MaximalLClasses</code > <a href="chap10_mj.html#X834172F4787A565B" >10.1-7</a> <br />code class="func" >MaximalRClasses</code > <a href="chap10_mj.html#X834172F4787A565B" >10.1-7</a> <br />code class="func" >MaximalSubsemigroups</code >, for a finite semigroup <a href="chap11_mj.html#X860A10E387C19150" >11.11-1</a> <br />"chap11_mj.html#X860A10E387C19150" >11.11-1</a> <br />code class="func" >McAlisterTripleSemigroup</code > <a href="chap8_mj.html#X7B5FF3A27BB057F2" >8.4-2</a> <br />code class="func" >McAlisterTripleSemigroupAction</code > <a href="chap8_mj.html#X86D6442E85881DEA" >8.4-6</a> <br />code class="func" >McAlisterTripleSemigroupElement</code > <a href="chap8_mj.html#X854BFB1C7BA57985" >8.4-8</a> <br />code class="func" >McAlisterTripleSemigroupGroup</code > <a href="chap8_mj.html#X7A54FDB186CD2E94" >8.4-3</a> <br />code class="func" >McAlisterTripleSemigroupPartialOrder</code > <a href="chap8_mj.html#X8046966B7F9A1ED5" >8.4-4</a> <br />code class="func" >McAlisterTripleSemigroupSemilattice</code > <a href="chap8_mj.html#X86C0C3EF84517DAB" >8.4-5</a> <br />code class="func" >MeetLeftSemigroupCongruences</code > <a href="chap13_mj.html#X7952A5A5789C6F60" >13.5-3</a> <br />code class="func" >MeetRightSemigroupCongruences</code > <a href="chap13_mj.html#X7952A5A5789C6F60" >13.5-3</a> <br />code class="func" >MeetSemigroupCongruences</code > <a href="chap13_mj.html#X7952A5A5789C6F60" >13.5-3</a> <br />code class="func" >MinimalCongruences</code >, for a congruence poset <a href="chap13_mj.html#X780E2B3F8509CE32" >13.4-13</a> <br />"chap13_mj.html#X780E2B3F8509CE32" >13.4-13</a> <br />code class="func" >MinimalCongruencesOfSemigroup</code >, for a semigroup <a href="chap13_mj.html#X7838738987B2DB41" >13.4-2</a> <br />"chap13_mj.html#X7838738987B2DB41" >13.4-2</a> <br />code class="func" >MinimalDClass</code > <a href="chap10_mj.html#X81E5A04F7DA3A1E1" >10.1-6</a> <br />code class="func" >MinimalFactorization</code > <a href="chap11_mj.html#X83A4D71382C5B6C3" >11.6-3</a> <br />code class="func" >MinimalFaithfulTransformationDegree</code > <a href="chap14_mj.html#X867264587CFD0013" >14.2-13</a> <br />code class="func" >MinimalIdeal</code > <a href="chap11_mj.html#X7BC68589879C3BE9" >11.8-1</a> <br />code class="func" >MinimalIdealGeneratingSet</code > <a href="chap9_mj.html#X8777E71A82C2BAF9" >9.2-2</a> <br />code class="func" >MinimalInverseMonoidGeneratingSet</code > <a href="chap11_mj.html#X8409DBED7996D495" >11.7-4</a> <br />code class="func" >MinimalInverseSemigroupGeneratingSet</code > <a href="chap11_mj.html#X8409DBED7996D495" >11.7-4</a> <br />code class="func" >MinimalLeftCongruencesOfSemigroup</code >, for a semigroup <a href="chap13_mj.html#X7838738987B2DB41" >13.4-2</a> <br />"chap13_mj.html#X7838738987B2DB41" >13.4-2</a> <br />code class="func" >MinimalMonoidGeneratingSet</code > <a href="chap11_mj.html#X8409DBED7996D495" >11.7-4</a> <br />code class="func" >MinimalRightCongruencesOfSemigroup</code >, for a semigroup <a href="chap13_mj.html#X7838738987B2DB41" >13.4-2</a> <br />"chap13_mj.html#X7838738987B2DB41" >13.4-2</a> <br />code class="func" >MinimalSemigroupGeneratingSet</code > <a href="chap11_mj.html#X8409DBED7996D495" >11.7-4</a> <br />code class="func" >MinimalWord</code >, for free inverse semigroup element <a href="chap7_mj.html#X87BB5D047EB7C2BF" >7.11-7</a> <br />code class="func" >MinimumGroupCongruence</code > <a href="chap13_mj.html#X857495647F9A9579" >13.7-7</a> <br />code class="func" >Minorants</code > <a href="chap11_mj.html#X84A3DB79816374DB" >11.15-4</a> <br />code class="func" >ModularPartitionMonoid</code > <a href="chap7_mj.html#X7F208DC584C0B9D1" >7.3-10</a> <br />code class="func" >MonogenicSemigroup</code > <a href="chap7_mj.html#X8411EBD97A220921" >7.8-2</a> <br />code class="func" >MotzkinMonoid</code > <a href="chap7_mj.html#X8375152F7AB52B7B" >7.3-6</a> <br code class="func" >MTSE</code > <a href="chap8_mj.html#X854BFB1C7BA57985" >8.4-8</a> <br />code class="func" >MultiplicativeNeutralElement</code >, for an H-class <a href="chap10_mj.html#X8459E4067C5773AD" >10.4-5</a> <br />code class="func" >MultiplicativeZero</code > <a href="chap11_mj.html#X7B39F93C8136D642" >11.8-3</a> <br />code class="func" >MunnSemigroup</code > <a href="chap7_mj.html#X78FBE6DD7BCA30C1" >7.2-1</a> <br code class="func" >NambooripadLeqRegularSemigroup</code > <a href="chap11_mj.html#X7A7EB0DA8398886E" >11.16-1</a> <br />code class="func" >NambooripadPartialOrder</code > <a href="chap11_mj.html#X7928C7D37A9BCBD5" >11.16-2</a> <br />code class="func" >NaturalLeqBlockBijection</code > <a href="chap3_mj.html#X79E8FA077E24C1F4" >3.4-3</a> <br />code class="func" >NaturalLeqInverseSemigroup</code > <a href="chap11_mj.html#X7A75A6C486F1DC71" >11.15-1</a> <br />code class="func" >NaturalLeqPartialPermBipartition</code > <a href="chap3_mj.html#X8608D78F83D55108" >3.4-2</a> <br />code class="func" >NonTrivialEquivalenceClasses</code > <a href="chap13_mj.html#X86C05F31797C1D6D" >13.3-4</a> <br />code class="func" >NonTrivialFactorization</code > <a href="chap11_mj.html#X86261F4682DC9842" >11.6-4</a> <br />code class="func" >NormalizedPrincipalFactor</code > <a href="chap10_mj.html#X86C6D777847AAEC7" >10.4-8</a> <br />code class="func" >NormalizeSemigroup</code > <a href="chap5_mj.html#X873DE466868DA849" >5.7-5</a> <br />code class="func" >NrBitranslations</code >, for IsSemigroup and CanUseFroidurePin and IsFinite <a href="chap18_mj.html#X7C826FBA78739FA4" >18.1-12</a> <br />code class="func" >NrBlocks</code >, for a bipartition <a href="chap3_mj.html#X8110B6557A98FB5C" >3.5-9</a> <br />"chap3_mj.html#X8110B6557A98FB5C" >3.5-9</a> <br />code class="func" >NrDClasses</code > <a href="chap10_mj.html#X7E45FD9F7BADDFBD" >10.1-9</a> <br />code class="func" >NrHClasses</code > <a href="chap10_mj.html#X7E45FD9F7BADDFBD" >10.1-9</a> <br />code class="func" >NrIdempotents</code > <a href="chap11_mj.html#X7CFC4DB387452320" >11.10-2</a> <br />code class="func" >NrLClasses</code > <a href="chap10_mj.html#X7E45FD9F7BADDFBD" >10.1-9</a> <br />code class="func" >NrLeftBlocks</code > <a href="chap3_mj.html#X79AEDB5382FD25CF" >3.5-7</a> <br />code class="func" >NrLeftTranslations</code >, for IsSemigroup and CanUseFroidurePin and IsFinite <a href="chap18_mj.html#X7C826FBA78739FA4" >18.1-12</a> <br />quality 100%
[ Original von:0.32Diese Quellcodebibliothek enthält Beispiele in vielen Programmiersprachen.
Man kann per Verzeichnistruktur darin navigieren.
Der Code wird farblich markiert angezeigt.
Datei übertragen
]
2026-03-28
