| Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/GAP/pkg/semigroups/doc/ (GAP Algebra Version 4.15.1©) Datei vom 29.7.2025 mit Größe 93 kB |
|
Quelle chapInd_mj.htmlSprache: HTML |
|||||||||||||||||
<?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" src="https://cdn.jsdelivr.net/npm/mathjax@2/MathJax.js?config=TeX-AMS-MML_HTMLor </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< <div class="chlinkprevnexttop"> <a href="chap0_mj.html">[Top of Book]</a> <a href="chap0_mj.ht <p id="mathjaxlink" class="pcenter"><a href="chapInd.html">[MathJax off]</a></p> <p><a id="X83A0356F839C696F" name="X83A0356F839C696F"></a></p> <div class="index"> <h3>Index</h3> <code class="code">*</code> (for bipartitions) <a href="chap3_mj.html#X83F2C3C97E8FFA49">3. <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#X807E402687 <code class="code"> * </code> (for Rees (0-)matrix semigroup isomorphisms by triples) <a href="ch <code class="code"><</code> (for bipartitions) <a href="chap3_mj.html#X83F2C3C97E8FFA49">3.4< <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#X807E4026877 <code class="code"><</code> (for Rees (0-)matrix semigroup isomorphisms by triples) <a href="cha <code class="code">=</code> (for bipartitions) <a href="chap3_mj.html#X83F2C3C97E8FFA49">3. <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#X807E402687 <code class="code"> = </code> (for Rees (0-)matrix semigroup isomorphisms by triples) <a href="ch <code class="func">\<</code>, for Green's classes <a href="chap10_mj.html#X85F30ACF86C3A733"> <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="ch <code class="func">AnnularJonesMonoid</code> <a href="chap7_mj.html#X7DB8CB067CBE1254">7. <code class="func">AntiIsomorphismDualFpMonoid</code> <a href="chap6_mj.html#X820BB66381 <code class="func">AntiIsomorphismDualFpSemigroup</code> <a href="chap6_mj.html#X820BB66 <code class="func">AntiIsomorphismDualSemigroup</code> <a href="chap8_mj.html#X7CB64FA37 <code class="func">ApsisMonoid</code> <a href="chap7_mj.html#X7C82B25F8441928E">7.3-11</a> <b <code class="func">AsBipartition</code> <a href="chap3_mj.html#X855126D98583C181">3.3-1</a> < <code class="func">AsBlockBijection</code> <a href="chap3_mj.html#X85A5AD2B7F3B776F">3.3- <code class="func">AsBooleanMat</code> <a href="chap5_mj.html#X7DA524567E0E7E16">5.3-2</a> <b <code class="func">AsCongruenceByWangPair</code> <a href="chap13_mj.html#X817F4FC27E9BAC <code class="func">AsInverseSemigroupCongruenceByKernelTrace</code> <a href="chap13_mj.h <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 <code class="func">AsMatrix</code>, for a filter and a matrix <a href="chap5_mj.html#X85426D88 for a filter, matrix, and threshold <a href="chap5_mj.html#X85426D8885431ECE">5.1-6</a> <br /> for a filter, matrix, threshold, and period <a href="chap5_mj.html#X85426D8885431ECE">5.1- <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</ <code class="func">AsPartialPerm</code>, for a bipartition <a href="chap3_mj.html#X7C5212EF for a PBR <a href="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#X7C684CD3 for a PBR <a href="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 <code class="func">AsSemigroupHomomorphismByFunction</code>, for a semigroup homomorphism <code class="func">AsSemigroupHomomorphismByImages</code>, for a semigroup homomorphism by <code class="func">AsSemigroupIsomorphismByFunction</code>, for a semigroup homomorphism b <code class="func">AsTransformation</code>, for a bipartition <a href="chap3_mj.html#X7CE91 for a PBR <a href="chap4_mj.html#X8407F516825A514A">4.3-2</a> <br /> <code class="func">AutomorphismGroup</code>, for a semigroup <a href="chap14_mj.html#X79BFF <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 <code class="func">Bitranslation</code>, for IsBitranslationsSemigroup, IsLeftTranslatio <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- <code class="func">BrandtSemigroup</code> <a href="chap7_mj.html#X7E2B20C77D47F7FB">7.8-7< <code class="func">BrauerMonoid</code> <a href="chap7_mj.html#X79D33B2E7BA3073A">7.3-2</a> <b <code class="func">CanonicalBlocks</code> <a href="chap3_mj.html#X7B87B9B081FF88BB">3.5-1 <code class="func">CanonicalBooleanMat</code> <a href="chap5_mj.html#X7EEA5011862E6298">5 for a perm group and boolean matrix <a href="chap5_mj.html#X7EEA5011862E6298">5.3-8</a> <br /> for a perm group, perm group and boolean matrix <a href="chap5_mj.html#X7EEA5011862E6298">5. <code class="func">CanonicalForm</code>, for a free inverse semigroup element <a href="chap7_m <code class="func">CanonicalMultiplicationTable</code> <a href="chap14_mj.html#X7FFEEFF4 <code class="func">CanonicalMultiplicationTablePerm</code> <a href="chap14_mj.html#X8695 <code class="func">CanonicalReesMatrixSemigroup</code> <a href="chap14_mj.html#X8765885F <code class="func">CanonicalReesZeroMatrixSemigroup</code> <a href="chap14_mj.html#X8765 <code class="func">CanonicalTransformation</code> <a href="chap11_mj.html#X84792D3D80441 <code class="func">CanUseFroidurePin</code> <a href="chap6_mj.html#X7FEE8CFA87E7B872">6.1 <code class="func">CanUseGapFroidurePin</code> <a href="chap6_mj.html#X7FEE8CFA87E7B872"> <code class="func">CanUseLibsemigroupsFroidurePin</code> <a href="chap6_mj.html#X7FEE8CF <code class="func">CatalanMonoid</code> <a href="chap7_mj.html#X84C4C81380B0239D">7.1-1</a> < <code class="func">CayleyDigraphOfCongruences</code>, for a semigroup <a href="chap13_mj.ht for a semigroup and a list or collection <a href="chap13_mj.html#X784CFDE37A0B4F84">13.4-6</ <code class="func">CayleyDigraphOfLeftCongruences</code>, for a semigroup <a href="chap13_m for a semigroup and a list or collection <a href="chap13_mj.html#X784CFDE37A0B4F84">13.4-6</ <code class="func">CayleyDigraphOfRightCongruences</code>, for a semigroup <a href="chap13_ for a semigroup and a list or collection <a href="chap13_mj.html#X784CFDE37A0B4F84">13.4-6</ <code class="func">CharacterTableOfInverseSemigroup</code> <a href="chap11_mj.html#X7C83 <code class="func">ClosureInverseMonoid</code> <a href="chap6_mj.html#X7BE36790862AE26F"> <code class="func">ClosureInverseSemigroup</code> <a href="chap6_mj.html#X7BE36790862AE2 <code class="func">ClosureMonoid</code> <a href="chap6_mj.html#X7BE36790862AE26F">6.4-1</a> < <code class="func">ClosureSemigroup</code> <a href="chap6_mj.html#X7BE36790862AE26F">6.4- <code class="func">CodomainOfBipartition</code> <a href="chap3_mj.html#X84569A187A211332 <code class="func">ComponentRepsOfPartialPermSemigroup</code> <a href="chap11_mj.html#X7 <code class="func">ComponentRepsOfTransformationSemigroup</code> <a href="chap11_mj.html <code class="func">ComponentsOfPartialPermSemigroup</code> <a href="chap11_mj.html#X8464 <code class="func">ComponentsOfTransformationSemigroup</code> <a href="chap11_mj.html#X8 <code class="func">CompositionMapping2</code>, for IsRMSIsoByTriple <a href="chap14_mj.htm for IsRZMSIsoByTriple <a href="chap14_mj.html#X7A02528F8721F378">14.3-4</a> <br /> <code class="func">CongruenceByWangPair</code> <a href="chap13_mj.html#X7F30D10F7BEEEBB9 <code class="func">CongruencesOfPoset</code> <a href="chap13_mj.html#X7B2E2CEE8626FBC3">1 <code class="func">CongruencesOfSemigroup</code>, for a semigroup <a href="chap13_mj.html#X for a semigroup and a multiplicative element collection <a href="chap13_mj.html#X7E8D5BA27 <code class="func">ContentOfFreeBandElement</code> <a href="chap7_mj.html#X808CAEC17BF27 <code class="func">ContentOfFreeBandElementCollection</code> <a href="chap7_mj.html#X808 <code class="func">CrossedApsisMonoid</code> <a href="chap7_mj.html#X7C82B25F8441928E">7. <code class="func">CyclesOfPartialPerm</code> <a href="chap11_mj.html#X832937BB87EB4349"> <code class="func">CyclesOfPartialPermSemigroup</code> <a href="chap11_mj.html#X7F7A5E5E <code class="func">CyclesOfTransformationSemigroup</code> <a href="chap11_mj.html#X7AA69 <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- <code class="func">DClassOfLClass</code> <a href="chap10_mj.html#X87558FEF805D24E1">10.1- <code class="func">DClassOfRClass</code> <a href="chap10_mj.html#X87558FEF805D24E1">10.1- <code class="func">DClassReps</code> <a href="chap10_mj.html#X865387A87FAAC395">10.1-5</a> <b <code class="func">DegreeOfBipartition</code> <a href="chap3_mj.html#X780F5E00784FE58C">3 <code class="func">DegreeOfBipartitionCollection</code> <a href="chap3_mj.html#X780F5E00 <code class="func">DegreeOfBipartitionSemigroup</code> <a href="chap3_mj.html#X8162E2BB7 <code class="func">DegreeOfBlocks</code> <a href="chap3_mj.html#X8527DC6A8771C2BE">3.6-5</ <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 <code class="func">DegreeOfPBRSemigroup</code> <a href="chap4_mj.html#X80FC004C7B65B4C0"> <code class="func">DigraphOfAction</code>, for a transformation semigroup, list, and action <a <code class="func">DigraphOfActionOnPoints</code>, for a transformation semigroup <a href="c for a transformation semigroup and an integer <a href="chap11_mj.html#X7B5ACD5C7E7612A2">1 <code class="func">DimensionOfMatrixOverSemiring</code> <a href="chap5_mj.html#X7C1CDA81 <code class="func">DimensionOfMatrixOverSemiringCollection</code> <a href="chap5_mj.html <code class="func">DirectProduct</code> <a href="chap8_mj.html#X861BA02C7902A4F4">8.1-1</a> < <code class="func">DirectProductOp</code> <a href="chap8_mj.html#X861BA02C7902A4F4">8.1-1< <code class="func">DomainOfBipartition</code> <a href="chap3_mj.html#X8657EE2B79E1DD02">3 <code class="func">DotLeftCayleyDigraph</code> <a href="chap16_mj.html#X7E38369D7E8BEA4C <code class="func">DotRightCayleyDigraph</code> <a href="chap16_mj.html#X7E38369D7E8BEA4 <code class="func">DotSemilatticeOfIdempotents</code> <a href="chap16_mj.html#X7C22E8D17 <code class="func">DotString</code> <a href="chap16_mj.html#X7F51F3CD7E13D199">16.1-1</a> <br for a Cayley digraph <a href="chap16_mj.html#X853B81B385E2CF36">16.1-2</a> <br /> <code class="func">DualSemigroup</code> <a href="chap8_mj.html#X79F2643C8642A3B0">8.2-1</a> < <code class="func">DualSymmetricInverseMonoid</code> <a href="chap7_mj.html#X83C7587C81B <code class="func">DualSymmetricInverseSemigroup</code> <a href="chap7_mj.html#X83C7587C <code class="func">ElementOfFpMonoid</code> <a href="chap15_mj.html#X82B7A51B7FE90486">15 <code class="func">ElementOfFpSemigroup</code> <a href="chap15_mj.html#X847012347856C55E <code class="code">ELM_LIST</code> (for Rees (0-)matrix semigroup isomorphisms by triples) <a h <code class="func">ELM_LIST</code>, for IsRMSIsoByTriple <a href="chap14_mj.html#X81C4DE42 <code class="func">EmbeddingFpMonoid</code> <a href="chap6_mj.html#X7873016586653A44">6.5 <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#X8689552 for a digraph and vertex coloring <a href="chap7_mj.html#X868955247F2AFAA5">7.1-6</a> <br /> <code class="func">EndomorphismsPartition</code> <a href="chap7_mj.html#X85C1D4307D0F5FF <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"> <code class="func">EqualInFreeBand</code> <a href="chap7_mj.html#X7CD9426180587CA4">7.9-8< <code class="func">EquivalenceRelationCanonicalLookup</code>, for an equivalence relation <code class="func">EquivalenceRelationCanonicalPartition</code> <a href="chap13_mj.html# <code class="func">EquivalenceRelationLookup</code>, for an equivalence relation over a fini <code class="func">EUnitaryInverseCover</code> <a href="chap11_mj.html#X8383E6747D02D975 <code class="func">EvaluateWord</code> <a href="chap11_mj.html#X799D2F3C866B9AED">11.6-1</ <code class="func">ExtRepOfObj</code>, for a bipartition <a href="chap3_mj.html#X86F6506C78 for a blocks <a href="chap3_mj.html#X7D2CB12279623CE2">3.6-3</a> <br /> for a PBR <a href="chap4_mj.html#X78302D7E81BB1E54">4.5-3</a> <br /> <code class="func">FactorisableDualSymmetricInverseMonoid</code> <a href="chap7_mj.html# <code class="func">Factorization</code> <a href="chap11_mj.html#X8357294D7B164106">11.6-2< <code class="func">FixedPointsOfTransformationSemigroup</code>, for a transformation semi <code class="func">FpTietzeIsomorphism</code> <a href="chap15_mj.html#X80C4E1757D4F3CE5"> <code class="func">FreeBand</code>, for a given rank <a href="chap7_mj.html#X7B2A65F382DB36E for a list of names <a href="chap7_mj.html#X7B2A65F382DB36EC">7.9-1</a> <br /> for various names <a href="chap7_mj.html#X7B2A65F382DB36EC">7.9-1</a> <br /> <code class="func">FreeInverseSemigroup</code>, for a given rank <a href="chap7_mj.html#X7F3 for a list of names <a href="chap7_mj.html#X7F3F9DED8003CBD0">7.11-1</a> <br /> for various names <a href="chap7_mj.html#X7F3F9DED8003CBD0">7.11-1</a> <br /> <code class="func">FreeMonoidAndAssignGeneratorVars</code> <a href="chap15_mj.html#X7C38 <code class="func">FreeSemigroupAndAssignGeneratorVars</code> <a href="chap15_mj.html#X7 <code class="func">FreeSemilattice</code> <a href="chap7_mj.html#X7982E0667ECEB265">7.8-4< <code class="func">FullBooleanMatMonoid</code> <a href="chap7_mj.html#X7B20103D84E010EF"> <code class="func">FullMatrixMonoid</code> <a href="chap7_mj.html#X7D4B473A7D7735E3">7.5- <code class="func">FullPBRMonoid</code> <a href="chap7_mj.html#X7DBB30AA83663CE8">7.4-1</a> < <code class="func">FullTropicalMaxPlusMonoid</code> <a href="chap7_mj.html#X81E937B6852A <code class="func">FullTropicalMinPlusMonoid</code> <a href="chap7_mj.html#X85EDC0318076 <code class="func">GeneralLinearMonoid</code> <a href="chap7_mj.html#X7D4B473A7D7735E3">7 <code class="func">GeneratingCongruencesOfJoinSemilattice</code> <a href="chap13_mj.html <code class="func">GeneratingCongruencesOfLattice</code> <a href="chap13_mj.html#X858AE1 <code class="func">Generators</code> <a href="chap11_mj.html#X7BD5B55C802805B4">11.7-1</a> <b <code class="func">GeneratorsOfSemigroupIdeal</code> <a href="chap9_mj.html#X87BB45DB844 <code class="func">GeneratorsOfStzPresentation</code> <a href="chap15_mj.html#X7F399C598 <code class="func">GeneratorsSmallest</code>, for a semigroup <a href="chap11_mj.html#X82B0 <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> <b <code class="func">GraphInverseSemigroup</code> <a href="chap7_mj.html#X7A9EEFD386D6F630 <code class="func">GraphOfGraphInverseSemigroup</code> <a href="chap7_mj.html#X7BE287A38 <code class="func">GreensDClasses</code> <a href="chap10_mj.html#X7D51218A80234DE5">10.1- <code class="func">GreensDClassOfElement</code> <a href="chap10_mj.html#X81B7AD4C7C55286 for a free band and element <a href="chap7_mj.html#X85DC5D50875E55D6">7.9-9</a> <br /> <code class="func">GreensDClassOfElementNC</code> <a href="chap10_mj.html#X7B44317786571 <code class="func">GreensHClasses</code> <a href="chap10_mj.html#X7D51218A80234DE5">10.1- <code class="func">GreensHClassOfElement</code> <a href="chap10_mj.html#X81B7AD4C7C55286 for a Rees matrix semigroup <a href="chap10_mj.html#X81B7AD4C7C552867">10.1-2</a> <br /> <code class="func">GreensHClassOfElementNC</code> <a href="chap10_mj.html#X7B44317786571 <code class="func">GreensJClasses</code> <a href="chap10_mj.html#X7D51218A80234DE5">10.1- <code class="func">GreensLClasses</code> <a href="chap10_mj.html#X7D51218A80234DE5">10.1- <code class="func">GreensLClassOfElement</code> <a href="chap10_mj.html#X81B7AD4C7C55286 <code class="func">GreensLClassOfElementNC</code> <a href="chap10_mj.html#X7B44317786571 <code class="func">GreensRClasses</code> <a href="chap10_mj.html#X7D51218A80234DE5">10.1- <code class="func">GreensRClassOfElement</code> <a href="chap10_mj.html#X81B7AD4C7C55286 <code class="func">GreensRClassOfElementNC</code> <a href="chap10_mj.html#X7B44317786571 <code class="func">GroupHClass</code> <a href="chap10_mj.html#X8723756387DD4C0F">10.4-1</a> < <code class="func">GroupOfUnits</code> <a href="chap11_mj.html#X811AEDD88280C277">11.9-1</ <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 /> for a Rees matrix semigroup <a href="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> <b <code class="func">HomomorphismsOfStrongSemilatticeOfSemigroups</code> <a href="chap8_mj <code class="func">Ideals</code>, for a semigroup <a href="chap9_mj.html#X7AF9B33881D185C6"> <code class="func">IdempotentGeneratedSubsemigroup</code> <a href="chap11_mj.html#X83970 <code class="func">Idempotents</code> <a href="chap11_mj.html#X7C651C9C78398FFF">11.10-1</ <code class="func">IdentityBipartition</code> <a href="chap3_mj.html#X8379B0538101FBC8">3 <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#X7F159C1 <code class="func">ImageSetOfTranslation</code>, for IsSemigroupTranslation <a href="chap1 <code class="func">ImagesRepresentative</code>, for IsRMSIsoByTriple <a href="chap14_mj.ht <code class="func">IndecomposableElements</code> <a href="chap11_mj.html#X7B4CD8937858A8 <code class="func">IndexOfVertexOfGraphInverseSemigroup</code> <a href="chap7_mj.html#X8 <code class="func">IndexPeriodOfSemigroupElement</code> <a href="chap11_mj.html#X869AC42 <code class="func">InfoSemigroups</code> <a href="chap2_mj.html#X85CD4E6C82BECAF3">2.5-1</ <code class="func">InjectionNormalizedPrincipalFactor</code> <a href="chap10_mj.html#X7E <code class="func">InjectionPrincipalFactor</code> <a href="chap10_mj.html#X7EBB4F1981CC <code class="func">InnerLeftTranslations</code>, for IsSemigroup and CanUseFroidurePin and <code class="func">InnerRightTranslations</code>, for IsSemigroup and CanUseFroidurePin an <code class="func">InnerTranslationalHull</code>, for IsSemigroup and CanUseFroidurePin an <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 <code class="func">InverseMonoidByGenerators</code> <a href="chap6_mj.html#X79A15C7C83BB <code class="func">InverseOp</code> <a href="chap5_mj.html#X82EC4F49877D6EB1">5.6-1</a> <br /> for an integer matrix <a href="chap5_mj.html#X7BC66ECE8378068E">5.5-1</a> <br /> <code class="func">InverseSemigroupByGenerators</code> <a href="chap6_mj.html#X79A15C7C8 <code class="func">InverseSemigroupCongruenceByKernelTrace</code> <a href="chap13_mj.htm <code class="func">InverseSubsemigroupByProperty</code> <a href="chap6_mj.html#X832AEDCC <code class="func">IrredundantGeneratingSubset</code> <a href="chap11_mj.html#X7F88DA948 <code class="func">IsActingSemigroup</code> <a href="chap6_mj.html#X7F69D8FC7D578A0C">6.1 <code class="func">IsAntiSymmetricBooleanMat</code> <a href="chap5_mj.html#X8570C8A08549 <code class="func">IsAperiodicSemigroup</code> <a href="chap12_mj.html#X8752642C7F7E512B <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> < <code class="func">IsBipartitionCollColl</code> <a href="chap3_mj.html#X82F5D10C85489832 <code class="func">IsBipartitionCollection</code> <a href="chap3_mj.html#X82F5D10C854898 <code class="func">IsBipartitionMonoid</code> <a href="chap3_mj.html#X810BFF647C4E191E">3 <code class="func">IsBipartitionPBR</code> <a href="chap4_mj.html#X81EC86397E098BC8">4.5- <code class="func">IsBipartitionSemigroup</code> <a href="chap3_mj.html#X810BFF647C4E191 <code class="func">IsBitranslation</code>, for IsAssociativeElement and IsMultiplicativeE <code class="func">IsBitranslationCollection</code> <a href="chap18_mj.html#X7F536B1B859 <code class="func">IsBlockBijection</code> <a href="chap3_mj.html#X829494DF7FD6CFEC">3.5- <code class="func">IsBlockBijectionMonoid</code> <a href="chap3_mj.html#X80C37124794636F <code class="func">IsBlockBijectionPBR</code> <a href="chap4_mj.html#X81EC86397E098BC8">4 <code class="func">IsBlockBijectionSemigroup</code> <a href="chap3_mj.html#X80C371247946 <code class="func">IsBlockGroup</code> <a href="chap12_mj.html#X79659C467C8A7EBD">12.1-2</ <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> <b <code class="func">IsBooleanMatCollColl</code> <a href="chap5_mj.html#X86233A3E86512493"> <code class="func">IsBooleanMatCollection</code> <a href="chap5_mj.html#X86233A3E8651249 <code class="func">IsBooleanMatMonoid</code> <a href="chap5_mj.html#X8616225581BC7414">5. <code class="func">IsBooleanMatSemigroup</code> <a href="chap5_mj.html#X7DC6EB0680B3E4DD <code class="func">IsBrandtSemigroup</code> <a href="chap12_mj.html#X7EFDBA687DCDA6FA">12 <code class="func">IsCayleyDigraphOfCongruences</code> <a href="chap13_mj.html#X8195D6F4 <code class="func">IsCliffordSemigroup</code> <a href="chap12_mj.html#X81DE11987BB81017"> <code class="func">IsColTrimBooleanMat</code> <a href="chap5_mj.html#X794C91597CC9F784">5 <code class="func">IsCombinatorialSemigroup</code> <a href="chap12_mj.html#X8752642C7F7E <code class="func">IsCommutativeSemigroup</code> <a href="chap12_mj.html#X843EFDA4807FDC <code class="func">IsCompletelyRegularSemigroup</code> <a href="chap12_mj.html#X7AFA23AF <code class="func">IsCompletelySimpleSemigroup</code> <a href="chap12_mj.html#X836F46928 <code class="func">IsCongruenceByWangPair</code> <a href="chap13_mj.html#X7AEB7DA27E7614 <code class="func">IsCongruenceClass</code> <a href="chap13_mj.html#X7B1F67A97E23E6A4">13 <code class="func">IsCongruenceFreeSemigroup</code> <a href="chap12_mj.html#X855088F378D <code class="func">IsCongruencePoset</code> <a href="chap13_mj.html#X8195D6F47EE52806">13 <code class="func">IsConnectedTransformationSemigroup</code>, for a transformation semigr <code class="func">IsDTrivial</code> <a href="chap12_mj.html#X8752642C7F7E512B">12.1-19</a> < <code class="func">IsDualSemigroupElement</code> <a href="chap8_mj.html#X79BAAA397FC1FA2 <code class="func">IsDualSemigroupRep</code> <a href="chap8_mj.html#X83403224821CD079">8. <code class="func">IsDualTransBipartition</code> <a href="chap3_mj.html#X7F0B8ACC7C9A937 <code class="func">IsDualTransformationPBR</code> <a href="chap4_mj.html#X7962D03186B1AF <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</ <code class="func">IsEquivalenceBooleanMat</code> <a href="chap5_mj.html#X82EA957982B798 <code class="func">IsEUnitaryInverseSemigroup</code> <a href="chap12_mj.html#X843EA0E37C <code class="func">IsFactorisableInverseMonoid</code> <a href="chap12_mj.html#X8440E2268 <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. <code class="func">IsFInverseSemigroup</code> <a href="chap12_mj.html#X86F942F48158DAC3"> <code class="func">IsFreeBand</code>, for a given semigroup <a href="chap7_mj.html#X7B1CD5FC <code class="func">IsFreeBandCategory</code> <a href="chap7_mj.html#X7F5658DC7E56C4A6">7. <code class="func">IsFreeBandElement</code> <a href="chap7_mj.html#X7DECF69087BB3B16">7.9 <code class="func">IsFreeBandElementCollection</code> <a href="chap7_mj.html#X842839C87D <code class="func">IsFreeBandSubsemigroup</code> <a href="chap7_mj.html#X7AEF4CD1857E7DC <code class="func">IsFreeInverseSemigroup</code> <a href="chap7_mj.html#X7B91643B827DA6D <code class="func">IsFreeInverseSemigroupCategory</code> <a href="chap7_mj.html#X7CE4CFD <code class="func">IsFreeInverseSemigroupElement</code> <a href="chap7_mj.html#X7999FE02 <code class="func">IsFreeInverseSemigroupElementCollection</code> <a href="chap7_mj.html <code class="func">IsFullMatrixMonoid</code> <a href="chap7_mj.html#X860B2A4382CA8F87">7. <code class="func">IsGeneralLinearMonoid</code> <a href="chap7_mj.html#X860B2A4382CA8F87 <code class="func">IsGraphInverseSemigroup</code> <a href="chap7_mj.html#X7BFDF88B799B05 <code class="func">IsGraphInverseSemigroupElement</code> <a href="chap7_mj.html#X7BFDF88 <code class="func">IsGraphInverseSemigroupElementCollection</code> <a href="chap7_mj.htm <code class="func">IsGraphInverseSubsemigroup</code> <a href="chap7_mj.html#X7BC6D5107ED <code class="func">IsGreensClassNC</code> <a href="chap10_mj.html#X7E9BD34B8021045A">10.3 <code class="func">IsGreensDGreaterThanFunc</code> <a href="chap10_mj.html#X7E872C5381D0 <code class="func">IsGroupAsSemigroup</code> <a href="chap12_mj.html#X852F29E8795FA489">1 <code class="func">IsHTrivial</code> <a href="chap12_mj.html#X8752642C7F7E512B">12.1-19</a> < <code class="func">IsIdempotentGenerated</code> <a href="chap12_mj.html#X835484C481CF3DD <code class="func">IsIdentityPBR</code> <a href="chap4_mj.html#X7E263B2F7B838D6E">4.5-6</a> < <code class="func">IsIntegerMatrixMonoid</code> <a href="chap5_mj.html#X8616225581BC7414 <code class="func">IsIntegerMatrixSemigroup</code> <a href="chap5_mj.html#X7DC6EB0680B3E <code class="func">IsInverseSemigroupCongruenceByKernelTrace</code> <a href="chap13_mj.h <code class="func">IsInverseSemigroupCongruenceClassByKernelTrace</code> <a href="chap13 <code class="func">IsIsomorphicSemigroup</code> <a href="chap14_mj.html#X7A6D59247F15935 <code class="func">IsJoinIrreducible</code> <a href="chap12_mj.html#X817F9F3984FC842C">12 <code class="func">IsLeftCongruenceClass</code> <a href="chap13_mj.html#X7C803E8C84E81A0 <code class="func">IsLeftSemigroupCongruence</code> <a href="chap13_mj.html#X7E909A78830 <code class="func">IsLeftSimple</code> <a href="chap12_mj.html#X8206D2B0809952EF">12.1-9</ <code class="func">IsLeftTranslation</code>, for IsSemigroupTranslation <a href="chap18_mj <code class="func">IsLeftTranslationCollection</code> <a href="chap18_mj.html#X7F536B1B8 <code class="func">IsLeftZeroSemigroup</code> <a href="chap12_mj.html#X7E9261367C8C52C0"> <code class="func">IsLinkedTriple</code> <a href="chap13_mj.html#X7B19CACF7A37ADBC">13.6- <code class="func">IsLTrivial</code> <a href="chap12_mj.html#X8752642C7F7E512B">12.1-19</a> < <code class="func">IsMajorantlyClosed</code> <a href="chap12_mj.html#X81E6D24F852A7937">1 <code class="func">IsMatrixOverFiniteField</code> <a href="chap5_mj.html#X782480C686F1A6 <code class="func">IsMatrixOverFiniteFieldCollColl</code> <a href="chap5_mj.html#X86233A <code class="func">IsMatrixOverFiniteFieldCollection</code> <a href="chap5_mj.html#X8623 <code class="func">IsMatrixOverFiniteFieldMonoid</code> <a href="chap5_mj.html#X86162255 <code class="func">IsMatrixOverFiniteFieldSemigroup</code> <a href="chap5_mj.html#X7DC6E <code class="func">IsMatrixOverSemiring</code> <a href="chap5_mj.html#X8711618C7A8A1B60"> <code class="func">IsMatrixOverSemiringCollColl</code> <a href="chap5_mj.html#X86F696B88 <code class="func">IsMatrixOverSemiringCollection</code> <a href="chap5_mj.html#X86F696B <code class="func">IsMatrixOverSemiringMonoid</code> <a href="chap5_mj.html#X8616225581B <code class="func">IsMatrixOverSemiringSemigroup</code> <a href="chap5_mj.html#X7DC6EB06 <code class="func">IsMaximalSubsemigroup</code> <a href="chap11_mj.html#X82D74C2478A49FD <code class="func">IsMaxPlusMatrix</code> <a href="chap5_mj.html#X782480C686F1A663">5.1-8< <code class="func">IsMaxPlusMatrixCollColl</code> <a href="chap5_mj.html#X86233A3E865124 <code class="func">IsMaxPlusMatrixCollection</code> <a href="chap5_mj.html#X86233A3E8651 <code class="func">IsMaxPlusMatrixMonoid</code> <a href="chap5_mj.html#X8616225581BC7414 <code class="func">IsMaxPlusMatrixSemigroup</code> <a href="chap5_mj.html#X7DC6EB0680B3E <code class="func">IsMcAlisterTripleSemigroup</code> <a href="chap8_mj.html#X85C00EB0857 <code class="func">IsMcAlisterTripleSemigroupElement</code> <a href="chap8_mj.html#X7B4E <code class="func">IsMinPlusMatrix</code> <a href="chap5_mj.html#X782480C686F1A663">5.1-8< <code class="func">IsMinPlusMatrixCollColl</code> <a href="chap5_mj.html#X86233A3E865124 <code class="func">IsMinPlusMatrixCollection</code> <a href="chap5_mj.html#X86233A3E8651 <code class="func">IsMinPlusMatrixMonoid</code> <a href="chap5_mj.html#X8616225581BC7414 <code class="func">IsMinPlusMatrixSemigroup</code> <a href="chap5_mj.html#X7DC6EB0680B3E <code class="func">IsMonogenicInverseMonoid</code> <a href="chap12_mj.html#X7EDFA6CA8664 <code class="func">IsMonogenicInverseSemigroup</code> <a href="chap12_mj.html#X7D2641AD8 <code class="func">IsMonogenicMonoid</code> <a href="chap12_mj.html#X790DC9F4798DBB09">12 <code class="func">IsMonogenicSemigroup</code> <a href="chap12_mj.html#X79D46BAB7E327AD1 <code class="func">IsMonoidAsSemigroup</code> <a href="chap12_mj.html#X7E4DEECD7CD9886D"> <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 <code class="func">IsNTPMatrixCollection</code> <a href="chap5_mj.html#X86233A3E86512493 <code class="func">IsNTPMatrixMonoid</code> <a href="chap5_mj.html#X8616225581BC7414">5.7 <code class="func">IsNTPMatrixSemigroup</code> <a href="chap5_mj.html#X7DC6EB0680B3E4DD"> <code class="func">IsomorphismMonoid</code> <a href="chap6_mj.html#X83D03BE678C9974F">6.5 <code class="func">IsomorphismPermGroup</code> <a href="chap6_mj.html#X80B7B1C783AA1567"> <code class="func">IsomorphismReesMatrixSemigroup</code>, for a D-class <a href="chap10_mj. for a semigroup <a href="chap6_mj.html#X7E2ECC577A1CF7CA">6.5-8</a> <br /> <code class="func">IsomorphismReesMatrixSemigroupOverPermGroup</code> <a href="chap6_mj. <code class="func">IsomorphismReesZeroMatrixSemigroup</code> <a href="chap6_mj.html#X7E2 <code class="func">IsomorphismReesZeroMatrixSemigroupOverPermGroup</code> <a href="chap6 <code class="func">IsomorphismSemigroup</code> <a href="chap6_mj.html#X838F18E87F765697"> <code class="func">IsomorphismSemigroups</code> <a href="chap14_mj.html#X8248C522825E268 <code class="func">IsOntoBooleanMat</code> <a href="chap5_mj.html#X7A68D87982A07C6F">5.3- <code class="func">IsOrthodoxSemigroup</code> <a href="chap12_mj.html#X7935C476808C8773"> <code class="func">IsPartialOrderBooleanMat</code> <a href="chap5_mj.html#X7D9BECEA7E9B7 <code class="func">IsPartialPermBipartition</code> <a href="chap3_mj.html#X87C771D37B1FE <code class="func">IsPartialPermBipartitionMonoid</code> <a href="chap3_mj.html#X79A706A <code class="func">IsPartialPermBipartitionSemigroup</code> <a href="chap3_mj.html#X79A7 <code class="func">IsPartialPermPBR</code> <a href="chap4_mj.html#X7883CD5D824CC236">4.5- <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> < <code class="func">IsPBRCollection</code> <a href="chap4_mj.html#X854A9CEA7AC14C0A">4.1-2< <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</ <code class="func">IsPermBipartition</code> <a href="chap3_mj.html#X8031B53E7D0ECCFA">3.5 <code class="func">IsPermBipartitionGroup</code> <a href="chap3_mj.html#X7DEE07577D7379A <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 <code class="func">IsRectangularGroup</code> <a href="chap12_mj.html#X80E682BB78547F41">1 <code class="func">IsReesCongruenceClass</code> <a href="chap13_mj.html#X7E15F66A8029C64 <code class="func">IsReflexiveBooleanMat</code> <a href="chap5_mj.html#X7C373B7D87044050 <code class="func">IsRegularGreensClass</code> <a href="chap10_mj.html#X859DD1C079C80DCC <code class="func">IsRegularSemigroup</code> <a href="chap12_mj.html#X7C4663827C5ACEF1">1 <code class="func">IsRightCongruenceClass</code> <a href="chap13_mj.html#X7D2F11C28470BC <code class="func">IsRightSemigroupCongruence</code> <a href="chap13_mj.html#X839EEA797B <code class="func">IsRightSimple</code> <a href="chap12_mj.html#X8206D2B0809952EF">12.1-9< <code class="func">IsRightTranslation</code>, for IsSemigroupTranslation <a href="chap18_m <code class="func">IsRightTranslationCollection</code> <a href="chap18_mj.html#X7F536B1B <code class="func">IsRightZeroSemigroup</code> <a href="chap12_mj.html#X7CB099958658F979 <code class="func">IsRMSCongruenceByLinkedTriple</code> <a href="chap13_mj.html#X7F4AFD7 <code class="func">IsRMSCongruenceClassByLinkedTriple</code> <a href="chap13_mj.html#X79 <code class="func">IsRMSIsoByTriple</code> <a href="chap14_mj.html#X82FCB1E585429FEA">14. <code class="func">IsRowTrimBooleanMat</code> <a href="chap5_mj.html#X794C91597CC9F784">5 <code class="func">IsRTrivial</code> <a href="chap12_mj.html#X8752642C7F7E512B">12.1-19</a> < <code class="func">IsRZMSCongruenceByLinkedTriple</code> <a href="chap13_mj.html#X7F4AFD <code class="func">IsRZMSCongruenceClassByLinkedTriple</code> <a href="chap13_mj.html#X7 <code class="func">IsRZMSIsoByTriple</code> <a href="chap14_mj.html#X82FCB1E585429FEA">14 <code class="func">IsSelfDualSemigroup</code> <a href="chap12_mj.html#X846FC6247EE31607"> <code class="func">IsSemiband</code> <a href="chap12_mj.html#X835484C481CF3DDD">12.1-8</a> <b <code class="func">IsSemigroupCongruence</code> <a href="chap13_mj.html#X78E34B737F0E009 <code class="func">IsSemigroupHomomorphismByFunction</code> <a href="chap14_mj.html#X7F9 <code class="func">IsSemigroupHomomorphismByImages</code> <a href="chap14_mj.html#X7C76C <code class="func">IsSemigroupIsomorphismByFunction</code> <a href="chap14_mj.html#X7EFD <code class="func">IsSemigroupTranslation</code>, for IsAssociativeElement and IsMultipli <code class="func">IsSemigroupTranslationCollection</code> <a href="chap18_mj.html#X7F53 <code class="func">IsSemigroupWithAdjoinedZero</code> <a href="chap12_mj.html#X7826DDF88 <code class="func">IsSemilattice</code> <a href="chap12_mj.html#X833D24AE7C900B85">12.1-2 <code class="func">IsSimpleSemigroup</code> <a href="chap12_mj.html#X836F4692839F4874">12 <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#X838F24 <code class="func">IsStzPresentation</code> <a href="chap15_mj.html#X7B86C70F84BCF8BD">15 <code class="func">IsSubrelation</code> <a href="chap13_mj.html#X85075F1D878512F5">13.5-1< <code class="func">IsSubsemigroupOfFpMonoid</code> <a href="chap15_mj.html#X7FF4A1CF7979 <code class="func">IsSuperrelation</code> <a href="chap13_mj.html#X83878AED7A8E75BE">13.5 <code class="func">IsSurjectiveSemigroup</code> <a href="chap12_mj.html#X7C9560A18348AEE <code class="func">IsSymmetricBooleanMat</code> <a href="chap5_mj.html#X7D22BA78790EFBC6 <code class="func">IsSynchronizingSemigroup</code>, for a transformation semigroup <a href=" <code class="func">IsTorsion</code> <a href="chap5_mj.html#X80C6B26284721409">5.7-4</a> <br /> for an integer matrix <a href="chap5_mj.html#X7CA636F080777C36">5.5-2</a> <br /> <code class="func">IsTotalBooleanMat</code> <a href="chap5_mj.html#X7A68D87982A07C6F">5.3 <code class="func">IsTransBipartition</code> <a href="chap3_mj.html#X79C556827A578509">3. <code class="func">IsTransformationBooleanMat</code> <a href="chap5_mj.html#X7E6B588887D <code class="func">IsTransformationPBR</code> <a href="chap4_mj.html#X7AF425D17BBE9023">4 <code class="func">IsTransitive</code>, for a transformation semigroup and a pos int <a href="ch for a transformation semigroup and a set <a href="chap11_mj.html#X83DA161F875F63B1">11.12- <code class="func">IsTransitiveBooleanMat</code> <a href="chap5_mj.html#X7CDAD39B856AC3E <code class="func">IsTrimBooleanMat</code> <a href="chap5_mj.html#X794C91597CC9F784">5.3- <code class="func">IsTropicalMatrix</code> <a href="chap5_mj.html#X782480C686F1A663">5.1- <code class="func">IsTropicalMatrixCollection</code> <a href="chap5_mj.html#X86233A3E865 <code class="func">IsTropicalMatrixMonoid</code> <a href="chap5_mj.html#X8616225581BC741 <code class="func">IsTropicalMatrixSemigroup</code> <a href="chap5_mj.html#X7DC6EB0680B3 <code class="func">IsTropicalMaxPlusMatrix</code> <a href="chap5_mj.html#X782480C686F1A6 <code class="func">IsTropicalMaxPlusMatrixCollColl</code> <a href="chap5_mj.html#X86233A <code class="func">IsTropicalMaxPlusMatrixCollection</code> <a href="chap5_mj.html#X8623 <code class="func">IsTropicalMaxPlusMatrixMonoid</code> <a href="chap5_mj.html#X86162255 <code class="func">IsTropicalMaxPlusMatrixSemigroup</code> <a href="chap5_mj.html#X7DC6E <code class="func">IsTropicalMinPlusMatrix</code> <a href="chap5_mj.html#X782480C686F1A6 <code class="func">IsTropicalMinPlusMatrixCollColl</code> <a href="chap5_mj.html#X86233A <code class="func">IsTropicalMinPlusMatrixCollection</code> <a href="chap5_mj.html#X8623 <code class="func">IsTropicalMinPlusMatrixMonoid</code> <a href="chap5_mj.html#X86162255 <code class="func">IsTropicalMinPlusMatrixSemigroup</code> <a href="chap5_mj.html#X7DC6E <code class="func">IsUniformBlockBijection</code> <a href="chap3_mj.html#X79D54AD8833B95 <code class="func">IsUnitRegularMonoid</code> <a href="chap12_mj.html#X80F9A4B87997839F"> <code class="func">IsUniversalPBR</code> <a href="chap4_mj.html#X7A280FC27BAD0EF0">4.5-7</ <code class="func">IsUniversalSemigroupCongruence</code> <a href="chap13_mj.html#X8751EF <code class="func">IsUniversalSemigroupCongruenceClass</code> <a href="chap13_mj.html#X8 <code class="func">IsVertex</code>, for a graph inverse semigroup element <a href="chap7_mj.ht <code class="func">IsZeroGroup</code> <a href="chap12_mj.html#X85F7E5CD86F0643B">12.1-25</ <code class="func">IsZeroRectangularBand</code> <a href="chap12_mj.html#X7C6787D07B95B45 <code class="func">IsZeroSemigroup</code> <a href="chap12_mj.html#X81A1882181B75CC9">12.1 <code class="func">IsZeroSimpleSemigroup</code> <a href="chap12_mj.html#X8193A60F839C064 <code class="func">IteratorCanonical</code> <a href="chap11_mj.html#X7AC3FAA5826516AD">11 <code class="func">IteratorFromGeneratorsFile</code> <a href="chap17_mj.html#X8711D6E280 <code class="func">IteratorFromMultiplicationTableFile</code> <a href="chap17_mj.html#X8 <code class="func">IteratorOfDClasses</code> <a href="chap10_mj.html#X867D7B8982915960">1 <code class="func">IteratorOfDClassReps</code> <a href="chap10_mj.html#X8566F84A7F6D4193 <code class="func">IteratorOfHClassReps</code> <a href="chap10_mj.html#X8566F84A7F6D4193 <code class="func">IteratorOfLClassReps</code> <a href="chap10_mj.html#X8566F84A7F6D4193 <code class="func">IteratorOfLeftCongruences</code>, for a semigroup <a href="chap13_mj.htm for a semigroup, and a positive integer <a href="chap13_mj.html#X807A5FCC87661FA4">13.4-15< for a semigroup, positive integer, and list or collection <a href="chap13_mj.html#X807A5FCC <code class="func">IteratorOfRClasses</code> <a href="chap10_mj.html#X867D7B8982915960">1 <code class="func">IteratorOfRightCongruences</code>, for a semigroup <a href="chap13_mj.ht for a semigroup, and a positive integer <a href="chap13_mj.html#X807A5FCC87661FA4">13.4-15< for a semigroup, positive integer, and list or collection <a href="chap13_mj.html#X807A5FCC <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#X85CDF93C805AF <code class="func">JoinLeftSemigroupCongruences</code> <a href="chap13_mj.html#X8262D520 <code class="func">JoinRightSemigroupCongruences</code> <a href="chap13_mj.html#X8262D52 <code class="func">JoinSemigroupCongruences</code> <a href="chap13_mj.html#X8262D5207DBF <code class="func">JoinSemilatticeOfCongruences</code> <a href="chap13_mj.html#X87CF25A1 <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#X7D521AFF7 <code class="func">KernelOfSemigroupHomomorphism</code> <a href="chap14_mj.html#X86BCE22 <code class="func">LargestElementSemigroup</code> <a href="chap11_mj.html#X7C65202187A9C <code class="func">LatticeOfCongruences</code>, for a semigroup <a href="chap13_mj.html#X86 for a semigroup and a list or collection <a href="chap13_mj.html#X86C9C5BA7FE93F4C">13.4-5</ <code class="func">LatticeOfLeftCongruences</code>, for a semigroup <a href="chap13_mj.html for a semigroup and a list or collection <a href="chap13_mj.html#X86C9C5BA7FE93F4C">13.4-5</ <code class="func">LatticeOfRightCongruences</code>, for a semigroup <a href="chap13_mj.htm for a semigroup and a list or collection <a href="chap13_mj.html#X86C9C5BA7FE93F4C">13.4-5</ <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- <code class="func">LClassReps</code> <a href="chap10_mj.html#X865387A87FAAC395">10.1-5</a> <b <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 <code class="func">LeftCongruencesOfSemigroup</code>, for a semigroup <a href="chap13_mj.ht for a semigroup and a multiplicative element collection <a href="chap13_mj.html#X7E8D5BA27 <code class="func">LeftGreensMultiplier</code> <a href="chap10_mj.html#X7EDE3F03879B2B12 <code class="func">LeftInverse</code>, for a matrix over finite field <a href="chap5_mj.html#X <code class="func">LeftOne</code>, for a bipartition <a href="chap3_mj.html#X824EDD4582AAA8 <code class="func">LeftPartOfBitranslation</code> <a href="chap18_mj.html#X7D52D17E7A28C <code class="func">LeftProjection</code> <a href="chap3_mj.html#X824EDD4582AAA8C7">3.2-4</ <code class="func">LeftSemigroupCongruence</code> <a href="chap13_mj.html#X8757DB087BE7E <code class="func">LeftTranslation</code>, for IsLeftTranslationsSemigroup, IsGeneralMap <code class="func">LeftTranslations</code>, for IsSemigroup and CanUseFroidurePin and IsFin <code class="func">LeftTranslationsSemigroupOfFamily</code>, for IsFamily <a href="chap18_ <code class="func">LeftZeroSemigroup</code> <a href="chap7_mj.html#X8672CFA47CA620B2">7.8 <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#X83B0EDA57F <code class="func">MajorantClosure</code> <a href="chap11_mj.html#X801CC67E80898608">11.1 <code class="func">Matrix</code>, for a filter and a matrix <a href="chap5_mj.html#X7DCA234C86 for a semiring and a matrix <a href="chap5_mj.html#X7DCA234C86ED8BD3">5.1-5</a> <br /> <code class="func">MaximalDClasses</code> <a href="chap10_mj.html#X834172F4787A565B">10.1 <code class="func">MaximalLClasses</code> <a href="chap10_mj.html#X834172F4787A565B">10.1 <code class="func">MaximalRClasses</code> <a href="chap10_mj.html#X834172F4787A565B">10.1 <code class="func">MaximalSubsemigroups</code>, for a finite semigroup <a href="chap11_mj.ht for a finite semigroup and a record <a href="chap11_mj.html#X860A10E387C19150">11.11-1</a> <br <code class="func">McAlisterTripleSemigroup</code> <a href="chap8_mj.html#X7B5FF3A27BB05 <code class="func">McAlisterTripleSemigroupAction</code> <a href="chap8_mj.html#X86D6442 <code class="func">McAlisterTripleSemigroupElement</code> <a href="chap8_mj.html#X854BFB <code class="func">McAlisterTripleSemigroupGroup</code> <a href="chap8_mj.html#X7A54FDB1 <code class="func">McAlisterTripleSemigroupPartialOrder</code> <a href="chap8_mj.html#X8 <code class="func">McAlisterTripleSemigroupSemilattice</code> <a href="chap8_mj.html#X86 <code class="func">MeetLeftSemigroupCongruences</code> <a href="chap13_mj.html#X7952A5A5 <code class="func">MeetRightSemigroupCongruences</code> <a href="chap13_mj.html#X7952A5A <code class="func">MeetSemigroupCongruences</code> <a href="chap13_mj.html#X7952A5A5789C <code class="func">MinimalCongruences</code>, for a congruence poset <a href="chap13_mj.html for a list or collection <a href="chap13_mj.html#X780E2B3F8509CE32">13.4-13</a> <br /> <code class="func">MinimalCongruencesOfSemigroup</code>, for a semigroup <a href="chap13_mj for a semigroup and a multiplicative element collection <a href="chap13_mj.html#X783873898 <code class="func">MinimalDClass</code> <a href="chap10_mj.html#X81E5A04F7DA3A1E1">10.1-6< <code class="func">MinimalFactorization</code> <a href="chap11_mj.html#X83A4D71382C5B6C3 <code class="func">MinimalFaithfulTransformationDegree</code> <a href="chap14_mj.html#X8 <code class="func">MinimalIdeal</code> <a href="chap11_mj.html#X7BC68589879C3BE9">11.8-1</ <code class="func">MinimalIdealGeneratingSet</code> <a href="chap9_mj.html#X8777E71A82C2 <code class="func">MinimalInverseMonoidGeneratingSet</code> <a href="chap11_mj.html#X840 <code class="func">MinimalInverseSemigroupGeneratingSet</code> <a href="chap11_mj.html#X <code class="func">MinimalLeftCongruencesOfSemigroup</code>, for a semigroup <a href="chap1 for a semigroup and a multiplicative element collection <a href="chap13_mj.html#X783873898 <code class="func">MinimalMonoidGeneratingSet</code> <a href="chap11_mj.html#X8409DBED79 <code class="func">MinimalRightCongruencesOfSemigroup</code>, for a semigroup <a href="chap for a semigroup and a multiplicative element collection <a href="chap13_mj.html#X783873898 <code class="func">MinimalSemigroupGeneratingSet</code> <a href="chap11_mj.html#X8409DBE <code class="func">MinimalWord</code>, for free inverse semigroup element <a href="chap7_mj.h <code class="func">MinimumGroupCongruence</code> <a href="chap13_mj.html#X857495647F9A95 <code class="func">Minorants</code> <a href="chap11_mj.html#X84A3DB79816374DB">11.15-4</a> <b <code class="func">ModularPartitionMonoid</code> <a href="chap7_mj.html#X7F208DC584C0B9D <code class="func">MonogenicSemigroup</code> <a href="chap7_mj.html#X8411EBD97A220921">7. <code class="func">MotzkinMonoid</code> <a href="chap7_mj.html#X8375152F7AB52B7B">7.3-6</a> < <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.h <code class="func">MultiplicativeZero</code> <a href="chap11_mj.html#X7B39F93C8136D642">1 <code class="func">MunnSemigroup</code> <a href="chap7_mj.html#X78FBE6DD7BCA30C1">7.2-1</a> < <code class="func">NambooripadLeqRegularSemigroup</code> <a href="chap11_mj.html#X7A7EB0 <code class="func">NambooripadPartialOrder</code> <a href="chap11_mj.html#X7928C7D37A9BC <code class="func">NaturalLeqBlockBijection</code> <a href="chap3_mj.html#X79E8FA077E24C <code class="func">NaturalLeqInverseSemigroup</code> <a href="chap11_mj.html#X7A75A6C486 <code class="func">NaturalLeqPartialPermBipartition</code> <a href="chap3_mj.html#X8608D <code class="func">NonTrivialEquivalenceClasses</code> <a href="chap13_mj.html#X86C05F31 <code class="func">NonTrivialFactorization</code> <a href="chap11_mj.html#X86261F4682DC9 <code class="func">NormalizedPrincipalFactor</code> <a href="chap10_mj.html#X86C6D777847 <code class="func">NormalizeSemigroup</code> <a href="chap5_mj.html#X873DE466868DA849">5. <code class="func">NrBitranslations</code>, for IsSemigroup and CanUseFroidurePin and IsFin <code class="func">NrBlocks</code>, for a bipartition <a href="chap3_mj.html#X8110B6557A98F for blocks <a href="chap3_mj.html#X8110B6557A98FB5C">3.5-9</a> <br /> <code class="func">NrDClasses</code> <a href="chap10_mj.html#X7E45FD9F7BADDFBD">10.1-9</a> <b <code class="func">NrHClasses</code> <a href="chap10_mj.html#X7E45FD9F7BADDFBD">10.1-9</a> <b <code class="func">NrIdempotents</code> <a href="chap11_mj.html#X7CFC4DB387452320">11.10- <code class="func">NrLClasses</code> <a href="chap10_mj.html#X7E45FD9F7BADDFBD">10.1-9</a> <b <code class="func">NrLeftBlocks</code> <a href="chap3_mj.html#X79AEDB5382FD25CF">3.5-7</a> <b <code class="func">NrLeftTranslations</code>, for IsSemigroup and CanUseFroidurePin and IsF <code class="func">NrMaximalSubsemigroups</code> <a href="chap11_mj.html#X7A52B4117BCEF3 <code class="func">NrRClasses</code> <a href="chap10_mj.html#X7E45FD9F7BADDFBD">10.1-9</a> <b <code class="func">NrRegularDClasses</code> <a href="chap10_mj.html#X7AA3F0A77D0043FB">10 <code class="func">NrRightBlocks</code> <a href="chap3_mj.html#X86385A3C8662E1A7">3.5-8</a> < <code class="func">NrRightTranslations</code>, for IsSemigroup and CanUseFroidurePin and Is <code class="func">NrTransverseBlocks</code>, for a bipartition <a href="chap3_mj.html#X820 for blocks <a href="chap3_mj.html#X787D22AE7FA69239">3.6-4</a> <br /> <code class="func">NumberBlist</code> <a href="chap5_mj.html#X793A1C277C1D7D6D">5.3-7</a> <br <code class="func">NumberBooleanMat</code> <a href="chap5_mj.html#X7E0FD5878106AB66">5.3- <code class="func">NumberOfLeftCongruences</code>, for a semigroup <a href="chap13_mj.html# for a semigroup, and a positive integer <a href="chap13_mj.html#X7AE16F237E862934">13.4-14< for a semigroup, positive integer, and list or collection <a href="chap13_mj.html#X7AE16F23 <code class="func">NumberOfRightCongruences</code>, for a semigroup <a href="chap13_mj.html for a semigroup, and a positive integer <a href="chap13_mj.html#X7AE16F237E862934">13.4-14< for a semigroup, positive integer, and list or collection <a href="chap13_mj.html#X7AE16F23 <code class="func">NumberPBR</code> <a href="chap4_mj.html#X7F4C8A2B79E6D963">4.5-4</a> <br /> <code class="func">OnBlist</code> <a href="chap5_mj.html#X8629FA5F7B682078">5.3-4</a> <br /> <code class="func">OneInverseOfSemigroupElement</code> <a href="chap11_mj.html#X7BDAC0B5 <code class="func">OnLeftBlocks</code> <a href="chap3_mj.html#X7A5A4AF57BEA2313">3.7-2</a> <b <code class="func">OnLeftCongruenceClasses</code> <a href="chap13_mj.html#X85400841879E4 <code class="func">OnMultiplicationTable</code> <a href="chap14_mj.html#X83BC6B998479BD2 <code class="func">OnRightBlocks</code> <a href="chap3_mj.html#X7B701DA37F75E77B">3.7-1</a> < <code class="func">OnRightCongruenceClasses</code> <a href="chap13_mj.html#X7D66F8607B4F <code class="func">Order</code> <a href="chap5_mj.html#X84F59A2687C62763">5.5-3</a> <br /> <code class="func">OrderAntiEndomorphisms</code> <a href="chap7_mj.html#X80E80A0A83B5748 <code class="func">OrderEndomorphisms</code>, monoid of order preserving transformations <a h <code class="func">ParseRelations</code> <a href="chap15_mj.html#X7C2FCCA487DFC84C">15.2- <code class="func">PartialBrauerMonoid</code> <a href="chap7_mj.html#X79D33B2E7BA3073A">7 <code class="func">PartialDualSymmetricInverseMonoid</code> <a href="chap7_mj.html#X83C7 <code class="func">PartialJonesMonoid</code> <a href="chap7_mj.html#X8458B0F7874484CE">7. <code class="func">PartialOrderAntiEndomorphisms</code> <a href="chap7_mj.html#X80E80A0A <code class="func">PartialOrderEndomorphisms</code> <a href="chap7_mj.html#X80E80A0A83B5 <code class="func">PartialOrderOfDClasses</code> <a href="chap10_mj.html#X81408140847481 <code class="func">PartialOrderOfLClasses</code> <a href="chap10_mj.html#X81408140847481 <code class="func">PartialOrderOfRClasses</code> <a href="chap10_mj.html#X81408140847481 <code class="func">PartialPermLeqBipartition</code> <a href="chap3_mj.html#X7A39D3608664 <code class="func">PartialTransformationMonoid</code> <a href="chap7_mj.html#X808A27F87E <code class="func">PartialUniformBlockBijectionMonoid</code> <a href="chap7_mj.html#X830 <code class="func">PartitionMonoid</code> <a href="chap7_mj.html#X7E4B61FF7CCFD74A">7.3-1< <code class="func">PBR</code> <a href="chap4_mj.html#X82A8646F7C70CF3B">4.2-1</a> <br /> <code class="func">PBRNumber</code> <a href="chap4_mj.html#X7F4C8A2B79E6D963">4.5-4</a> <br /> <code class="func">PeriodNTPMatrix</code> <a href="chap5_mj.html#X7874559881FE8779">5.1-1 <code class="func">PermLeftQuoBipartition</code> <a href="chap3_mj.html#X7D9F5A248028FF5 <code class="func">PlanarModularPartitionMonoid</code> <a href="chap7_mj.html#X7F208DC58 <code class="func">PlanarPartitionMonoid</code> <a href="chap7_mj.html#X8444092A7967A029 <code class="func">PlanarUniformBlockBijectionMonoid</code> <a href="chap7_mj.html#X8301 <code class="func">PODI</code>, monoid of order preserving or reversing partial perms <a href="c <code class="func">POI</code>, monoid of order preserving partial perms <a href="chap7_mj.html <code class="func">POPI</code>, monoid of orientation preserving partial perms <a href="chap7_ <code class="func">PORI</code>, monoid of orientation preserving or reversing partial perms <a h <code class="func">PosetOfCongruences</code> <a href="chap13_mj.html#X78A91138818A4FAE">1 <code class="func">PosetOfPrincipalCongruences</code>, for a semigroup <a href="chap13_mj.h for a semigroup and a multiplicative element collection <a href="chap13_mj.html#X83ACF2C07 <code class="func">PosetOfPrincipalLeftCongruences</code>, for a semigroup <a href="chap13_ for a semigroup and a multiplicative element collection <a href="chap13_mj.html#X83ACF2C07 <code class="func">PosetOfPrincipalRightCongruences</code>, for a semigroup <a href="chap13 for a semigroup and a multiplicative element collection <a href="chap13_mj.html#X83ACF2C07 <code class="func">PositionCanonical</code> <a href="chap11_mj.html#X7B4B10AE81602D4E">11 <code class="func">PrimitiveIdempotents</code> <a href="chap11_mj.html#X80C0C6C37C4A2ABD <code class="func">PrincipalCongruencesOfSemigroup</code>, for a semigroup <a href="chap13_ for a semigroup and a multiplicative element collection <a href="chap13_mj.html#X7986F3597 <code class="func">PrincipalFactor</code> <a href="chap10_mj.html#X86C6D777847AAEC7">10.4 <code class="func">PrincipalLeftCongruencesOfSemigroup</code>, for a semigroup <a href="cha for a semigroup and a multiplicative element collection <a href="chap13_mj.html#X7986F3597 <code class="func">PrincipalRightCongruencesOfSemigroup</code>, for a semigroup <a href="ch for a semigroup and a multiplicative element collection <a href="chap13_mj.html#X7986F3597 <code class="func">ProjectionFromBlocks</code> <a href="chap3_mj.html#X815D99A983B2355F"> <code class="func">RadialEigenvector</code> <a href="chap5_mj.html#X83663A5387042B69">5.6 <code class="func">Random</code>, for a semigroup <a href="chap11_mj.html#X7BB7FDFE7AFFD672 <code class="func">RandomBipartition</code> <a href="chap3_mj.html#X8077265981409CCB">3.2 <code class="func">RandomBlockBijection</code> <a href="chap3_mj.html#X8077265981409CCB"> <code class="func">RandomInverseMonoid</code> <a href="chap6_mj.html#X789DE9AB79FCFEB5">6 <code class="func">RandomInverseSemigroup</code> <a href="chap6_mj.html#X789DE9AB79FCFEB <code class="func">RandomMatrix</code>, for a filter and a matrix <a href="chap5_mj.html#X8217 for a semiring and a matrix <a href="chap5_mj.html#X82172D747D66C8CC">5.1-7</a> <br /> <code class="func">RandomMonoid</code> <a href="chap6_mj.html#X789DE9AB79FCFEB5">6.6-1</a> <b <code class="func">RandomPBR</code> <a href="chap4_mj.html#X82FE736F7F11B157">4.2-2</a> <br /> <code class="func">RandomSemigroup</code> <a href="chap6_mj.html#X789DE9AB79FCFEB5">6.6-1< <code class="func">RandomWord</code>, for two integers <a href="chap15_mj.html#X7C81FB0F7BF <code class="func">Range</code>, for a graph inverse semigroup element <a href="chap7_mj.html# <code class="func">RankOfBipartition</code> <a href="chap3_mj.html#X82074756826AD2C2">3.5 <code class="func">RankOfBlocks</code> <a href="chap3_mj.html#X787D22AE7FA69239">3.6-4</a> <b <code class="func">RClass</code> <a href="chap10_mj.html#X81B7AD4C7C552867">10.1-2</a> <br /> <code class="func">RClasses</code> <a href="chap10_mj.html#X7D51218A80234DE5">10.1-4</a> <br /> <code class="func">RClassNC</code> <a href="chap10_mj.html#X7B44317786571F8B">10.1-3</a> <br /> <code class="func">RClassOfHClass</code> <a href="chap10_mj.html#X87558FEF805D24E1">10.1- <code class="func">RClassReps</code> <a href="chap10_mj.html#X865387A87FAAC395">10.1-5</a> <b <code class="func">ReadGenerators</code> <a href="chap17_mj.html#X8728096E8427EDE8">17.1- <code class="func">ReadMultiplicationTable</code> <a href="chap17_mj.html#X805058C07F937 <code class="func">RectangularBand</code> <a href="chap7_mj.html#X7E4DFDE27BF8B8F7">7.8-3< <code class="func">ReflexiveBooleanMatMonoid</code> <a href="chap7_mj.html#X78DF50747A28 <code class="func">RegularBooleanMatMonoid</code> <a href="chap7_mj.html#X7A43263981F2F2 <code class="func">RegularDClasses</code> <a href="chap10_mj.html#X7AA3F0A77D0043FB">10.1 <code class="func">RelationsOfStzPresentation</code> <a href="chap15_mj.html#X7DCFA5D883 <code class="func">RepresentativeOfMinimalDClass</code> <a href="chap11_mj.html#X7CA6744 <code class="func">RepresentativeOfMinimalIdeal</code> <a href="chap11_mj.html#X7CA67441 <code class="func">RightBlocks</code> <a href="chap3_mj.html#X86A10B138230C2A4">3.5-5</a> <br <code class="func">RightCayleyDigraph</code> <a href="chap11_mj.html#X7EA002E27B10CCE0">1 <code class="func">RightCongruencesOfSemigroup</code>, for a semigroup <a href="chap13_mj.h for a semigroup and a multiplicative element collection <a href="chap13_mj.html#X7E8D5BA27 <code class="func">RightCosetsOfInverseSemigroup</code> <a href="chap11_mj.html#X7B5D89A <code class="func">RightGreensMultiplier</code> <a href="chap10_mj.html#X7EDE3F03879B2B1 <code class="func">RightInverse</code>, for a matrix over finite field <a href="chap5_mj.html# <code class="func">RightOne</code>, for a bipartition <a href="chap3_mj.html#X790B71108070F <code class="func">RightPartOfBitranslation</code> <a href="chap18_mj.html#X7D52D17E7A28 <code class="func">RightProjection</code> <a href="chap3_mj.html#X790B71108070FAC2">3.2-5< <code class="func">RightSemigroupCongruence</code> <a href="chap13_mj.html#X7D01176B788F <code class="func">RightTranslation</code>, for IsRightTranslationsSemigroup, IsGeneralM <code class="func">RightTranslations</code>, for IsSemigroup and CanUseFroidurePin and IsFi <code class="func">RightTranslationsSemigroupOfFamily</code>, for IsFamily <a href="chap18 <code class="func">RightZeroSemigroup</code> <a href="chap7_mj.html#X8672CFA47CA620B2">7. <code class="func">RMSCongruenceByLinkedTriple</code> <a href="chap13_mj.html#X87A475E48 <code class="func">RMSCongruenceClassByLinkedTriple</code> <a href="chap13_mj.html#X7E9A <code class="func">RMSIsoByTriple</code> <a href="chap14_mj.html#X82B0BDCD7CBDCC2E">14.3- <code class="func">RMSNormalization</code> <a href="chap6_mj.html#X80DE617E841E5BA0">6.5- <code class="func">RookMonoid</code> <a href="chap7_mj.html#X82D9619B7845CAEB">7.2-2</a> <br /> <code class="func">RookPartitionMonoid</code> <a href="chap7_mj.html#X7E4B61FF7CCFD74A">7 <code class="func">RowSpaceBasis</code>, for a matrix over finite field <a href="chap5_mj.html <code class="func">RowSpaceTransformation</code>, for a matrix over finite field <a href="chap <code class="func">RowSpaceTransformationInv</code>, for a matrix over finite field <a href="c <code class="func">RZMSCongruenceByLinkedTriple</code> <a href="chap13_mj.html#X87A475E4 <code class="func">RZMSCongruenceClassByLinkedTriple</code> <a href="chap13_mj.html#X7E9 <code class="func">RZMSConnectedComponents</code> <a href="chap11_mj.html#X79B062917AB34 <code class="func">RZMSDigraph</code> <a href="chap11_mj.html#X7EA1B28785B9D38C">11.14-1</ <code class="func">RZMSIsoByTriple</code> <a href="chap14_mj.html#X82B0BDCD7CBDCC2E">14.3 <code class="func">RZMSNormalization</code> <a href="chap6_mj.html#X870210EA7912B52A">6.5 <code class="func">SameMinorantsSubgroup</code> <a href="chap11_mj.html#X83298E9E86A343F <code class="func">SchutzenbergerGroup</code> <a href="chap10_mj.html#X84F1321E8217D2A8"> <code class="func">SemigroupCongruence</code> <a href="chap13_mj.html#X85CE56AC84FA5D33"> <code class="func">SemigroupHomomorphismByFunction</code> <a href="chap14_mj.html#X7DAA6 <code class="func">SemigroupHomomorphismByFunctionNC</code> <a href="chap14_mj.html#X7DA <code class="func">SemigroupHomomorphismByImages</code>, for a semigroup and two lists <a href for two semigroups <a href="chap14_mj.html#X817596438369885B">14.1-1</a> <br /> for two semigroups and a list <a href="chap14_mj.html#X817596438369885B">14.1-1</a> <br /> for two semigroups and two lists <a href="chap14_mj.html#X817596438369885B">14.1-1</a> <br /> <code class="func">SemigroupIdeal</code> <a href="chap9_mj.html#X78E15B0184A1DC14">9.1-1</ <code class="func">SemigroupIdealOfReesCongruence</code> <a href="chap13_mj.html#X7BC02E <code class="func">SemigroupIsomorphismByFunction</code> <a href="chap14_mj.html#X7B4440 <code class="func">SemigroupIsomorphismByFunctionNC</code> <a href="chap14_mj.html#X7B44 <code class="func">SemigroupIsomorphismByImages</code>, for a semigroup and two list <a href=" for two semigroups <a href="chap14_mj.html#X80FE565183A9410D">14.2-8</a> <br /> for two semigroups and a list <a href="chap14_mj.html#X80FE565183A9410D">14.2-8</a> <br /> for two semigroups and two lists <a href="chap14_mj.html#X80FE565183A9410D">14.2-8</a> <br /> <strong class="pkg">Semigroups</strong> package overview <a href="chap1_mj.html#X7D8D6DB37 <code class="func">SEMIGROUPS.DefaultOptionsRec</code> <a href="chap6_mj.html#X78CF5DCC7 <code class="func">SemigroupsOfStrongSemilatticeOfSemigroups</code> <a href="chap8_mj.ht <code class="func">SemigroupsTestAll</code> <a href="chap2_mj.html#X8544F4BD79F0BF3C">2.4 <code class="func">SemigroupsTestExtreme</code> <a href="chap2_mj.html#X7ED2F9C784B554D8 <code class="func">SemigroupsTestInstall</code> <a href="chap2_mj.html#X80F85B577A3DFCF9 <code class="func">SemigroupsTestStandard</code> <a href="chap2_mj.html#X7C2D57708006AB6 <code class="func">SemilatticeOfStrongSemilatticeOfSemigroups</code> <a href="chap8_mj.h <code class="func">SimplifiedFpSemigroup</code> <a href="chap15_mj.html#X7B32AC2B7D5C74D <code class="func">SimplifyFpSemigroup</code> <a href="chap15_mj.html#X7F9ED6117BA94F01"> <code class="func">SingularApsisMonoid</code> <a href="chap7_mj.html#X7C82B25F8441928E">7 <code class="func">SingularBrauerMonoid</code> <a href="chap7_mj.html#X79D33B2E7BA3073A"> <code class="func">SingularCrossedApsisMonoid</code> <a href="chap7_mj.html#X7C82B25F844 <code class="func">SingularDualSymmetricInverseMonoid</code> <a href="chap7_mj.html#X83C <code class="func">SingularFactorisableDualSymmetricInverseMonoid</code> <a href="chap7_ <code class="func">SingularJonesMonoid</code> <a href="chap7_mj.html#X8378FC8B840B9706">7 <code class="func">SingularModularPartitionMonoid</code> <a href="chap7_mj.html#X7F208DC <code class="func">SingularOrderEndomorphisms</code> <a href="chap7_mj.html#X80E80A0A83B <code class="func">SingularPartitionMonoid</code> <a href="chap7_mj.html#X7E4B61FF7CCFD7 <code class="func">SingularPlanarModularPartitionMonoid</code> <a href="chap7_mj.html#X7 <code class="func">SingularPlanarPartitionMonoid</code> <a href="chap7_mj.html#X8444092A <code class="func">SingularPlanarUniformBlockBijectionMonoid</code> <a href="chap7_mj.ht <code class="func">SingularTransformationMonoid</code> <a href="chap7_mj.html#X7894EE357 <code class="func">SingularTransformationSemigroup</code> <a href="chap7_mj.html#X7894EE <code class="func">SingularUniformBlockBijectionMonoid</code> <a href="chap7_mj.html#X83 <code class="func">SLM</code> <a href="chap7_mj.html#X785924807B60F187">7.5-2</a> <br /> <code class="func">SmallerDegreePartialPermRepresentation</code> <a href="chap11_mj.html <code class="func">SmallerDegreeTransformationRepresentation</code> <a href="chap14_mj.h <code class="func">SmallestElementSemigroup</code> <a href="chap11_mj.html#X7C65202187A9 <code class="func">SmallestIdempotentPower</code> <a href="chap11_mj.html#X84E1A41F84B70 <code class="func">SmallestMultiplicationTable</code> <a href="chap14_mj.html#X7DE212DF7 <code class="func">SmallGeneratingSet</code> <a href="chap11_mj.html#X814DBABC878D5232">1 <code class="func">SmallInverseMonoidGeneratingSet</code> <a href="chap11_mj.html#X814DB <code class="func">SmallInverseSemigroupGeneratingSet</code> <a href="chap11_mj.html#X81 <code class="func">SmallMonoidGeneratingSet</code> <a href="chap11_mj.html#X814DBABC878D <code class="func">SmallSemigroupGeneratingSet</code> <a href="chap11_mj.html#X814DBABC8 <code class="func">Source</code>, for a graph inverse semigroup element <a href="chap7_mj.html <code class="func">SpecialLinearMonoid</code> <a href="chap7_mj.html#X785924807B60F187">7 <code class="func">SpectralRadius</code> <a href="chap5_mj.html#X83FCFB368743E4BA">5.6-3</ <code class="func">SSSE</code> <a href="chap8_mj.html#X798DE3E581978834">8.3-2</a> <br /> <code class="func">StandardiseWord</code> <a href="chap15_mj.html#X7B338B917D72FBED">15.1 <code class="func">StandardizeWord</code> <a href="chap15_mj.html#X7B338B917D72FBED">15.1 <code class="func">Star</code>, for a bipartition <a href="chap3_mj.html#X7CE00E0C79F62745"> for a PBR <a href="chap4_mj.html#X7DFC277E80A50C2F">4.5-1</a> <br /> <code class="func">StarOp</code>, for a bipartition <a href="chap3_mj.html#X7CE00E0C79F6274 for a PBR <a href="chap4_mj.html#X7DFC277E80A50C2F">4.5-1</a> <br /> <code class="func">StringToWord</code>, for a string <a href="chap15_mj.html#X7B07470F86FDC <code class="func">StrongSemilatticeOfSemigroups</code> <a href="chap8_mj.html#X82C3F9C9 <code class="func">StructureDescription</code>, for an H-class <a href="chap10_mj.html#X85B <code class="func">StructureDescriptionMaximalSubgroups</code> <a href="chap10_mj.html#X <code class="func">StructureDescriptionSchutzenbergerGroups</code> <a href="chap10_mj.ht <code class="func">StzAddGenerator</code> <a href="chap15_mj.html#X7F2E7FAF7F899DB9">15.5 <code class="func">StzAddRelation</code> <a href="chap15_mj.html#X7FCA079C7C4D398F">15.5- <code class="func">StzIsomorphism</code> <a href="chap15_mj.html#X80142D917E368E46">15.6- <code class="func">StzPresentation</code> <a href="chap15_mj.html#X7B505DA083E2EC0C">15.3 <code class="func">StzPrintGenerators</code> <a href="chap15_mj.html#X846B86477CBA3A2F">1 <code class="func">StzPrintPresentation</code> <a href="chap15_mj.html#X7D5096807EC939E1 <code class="func">StzPrintRelation</code> <a href="chap15_mj.html#X81837E037DE5ACBF">15. <code class="func">StzPrintRelations</code> <a href="chap15_mj.html#X80F18CED8572886B">15 <code class="func">StzRemoveGenerator</code> <a href="chap15_mj.html#X85D1304A8461AB59">1 <code class="func">StzRemoveRelation</code> <a href="chap15_mj.html#X802456968490EE7C">15 <code class="func">StzSimplifyOnce</code> <a href="chap15_mj.html#X818403DA85EA82B8">15.7 <code class="func">StzSimplifyPresentation</code> <a href="chap15_mj.html#X87B27F5A87103 <code class="func">StzSubstituteRelation</code> <a href="chap15_mj.html#X85A89C227B8B1A9 <code class="func">SubsemigroupByProperty</code>, for a semigroup and function <a href="chap6 for a semigroup, function, and limit on the size of the subsemigroup <a href="chap6_mj.html#X7 <code class="func">Successors</code> <a href="chap5_mj.html#X85E2FD8B82652876">5.3-5</a> <br /> <code class="func">SupersemigroupOfIdeal</code> <a href="chap9_mj.html#X7DB8699784FA4114 <code class="func">TemperleyLiebMonoid</code> <a href="chap7_mj.html#X8378FC8B840B9706">7 <code class="func">TexString</code> <a href="chap16_mj.html#X80FBF08180F7F181">16.2-1</a> <br <code class="func">ThresholdNTPMatrix</code> <a href="chap5_mj.html#X7874559881FE8779">5. <code class="func">ThresholdTropicalMatrix</code> <a href="chap5_mj.html#X7D21408E845E46 <code class="func">TietzeBackwardMap</code> <a href="chap15_mj.html#X7F6E26348503DD53">15 <code class="func">TietzeForwardMap</code> <a href="chap15_mj.html#X7C46AF3A867F273A">15. <code class="func">TikzLeftCayleyDigraph</code> <a href="chap16_mj.html#X81EF7F777EEF69C <code class="func">TikzRightCayleyDigraph</code> <a href="chap16_mj.html#X81EF7F777EEF69 <code class="func">TikzString</code> <a href="chap16_mj.html#X7F0971F678B4FC66">16.3-1</a> <b <code class="func">TraceOfSemigroupCongruence</code> <a href="chap13_mj.html#X80972A5B82 <code class="func">TranslationalHull</code>, for IsSemigroup and CanUseFroidurePin and IsFi <code class="func">TranslationalHullOfFamily</code>, for IsFamily <a href="chap18_mj.html# <code class="func">TriangularBooleanMatMonoid</code> <a href="chap7_mj.html#X81BBCF2E842 <code class="func">TrivialCongruence</code> <a href="chap13_mj.html#X7A9B483B7B4E0E27">13 <code class="func">TrivialSemigroup</code> <a href="chap7_mj.html#X82B07E907B3A55F0">7.8- <code class="func">TypeBitranslations</code>, for IsBitranslationsSemigroup <a href="chap1 <code class="func">TypeLeftTranslationsSemigroupElements</code>, for IsLeftTranslations <code class="func">TypeRightTranslationsSemigroupElements</code>, for IsRightTranslatio <code class="func">UnderlyingRepresentatives</code>, for IsTranslationsSemigroup <a href=" <code class="func">UnderlyingSemigroup</code>, for IsBitranslationsSemigroup <a href="chap for IsTranslationsSemigroup <a href="chap18_mj.html#X7B5BB0BA8683A021">18.1-7</a> <br /> <code class="func">UnderlyingSemigroupOfCongruencePoset</code> <a href="chap13_mj.html#X <code class="func">UnderlyingSemigroupOfSemigroupWithAdjoinedZero</code> <a href="chap11 <code class="func">UniformBlockBijectionMonoid</code> <a href="chap7_mj.html#X8301C61384 <code class="func">UnitriangularBooleanMatMonoid</code> <a href="chap7_mj.html#X81BBCF2E <code class="func">UniversalPBR</code> <a href="chap4_mj.html#X847BA0177D90E9D7">4.2-5</a> <b <code class="func">UniversalSemigroupCongruence</code> <a href="chap13_mj.html#X7B99C6A4 <code class="func">UnreducedFpSemigroup</code>, for a presentation <a href="chap15_mj.html# for a semigroup <a href="chap15_mj.html#X876620BC7BD37EF6">15.8-3</a> <br /> <code class="func">UnweightedPrecedenceDigraph</code> <a href="chap5_mj.html#X869F60527C <code class="func">VagnerPrestonRepresentation</code> <a href="chap11_mj.html#X7BC49C348 <code class="func">VerticesOfGraphInverseSemigroup</code> <a href="chap7_mj.html#X7DF1AC <code class="func">WordToString</code>, for a string and a list <a href="chap15_mj.html#X7CACE <code class="func">WreathProduct</code> <a href="chap8_mj.html#X8786EFBC78D7D6ED">8.1-2</a> < <code class="func">WriteGenerators</code> <a href="chap17_mj.html#X78041E8F87EFDE62">17.1 <code class="func">WriteMultiplicationTable</code> <a href="chap17_mj.html#X868B824B7E24 <code class="func">ZeroSemigroup</code> <a href="chap7_mj.html#X801FC1D97D832A6F">7.8-5</a> < <p> </p> </div> <div class="chlinkprevnextbot"> <a href="chap0_mj.html">[Top of Book]</a> <a href="chap0_mj.ht <div class="chlinkbot"><span class="chlink1">Goto Chapter: </span><a href="chap0_mj.html">Top< <hr /> <p class="foot">generated by <a href="https://www.math.rwth-aachen.de/~Frank.Luebeck/GA </body> </html>
¤ Dauer der Verarbeitung: 0.45 Sekunden (vorverarbeitet am 2026-06-17) ¤*© Formatika GbR, Deutschland |
|
||||||||||||||||
2026-07-27