Quellcodebibliothek Statistik Leitseite products/sources/formale Sprachen/GAP/pkg/semigroups/doc/   (Algebra von RWTH Aachen Version 4.15.1©)  Datei vom 29.7.2025 mit Größe 93 kB image not shown  

Quelle  chapInd_mj.html   Sprache: HTML

 
 products/sources/formale Sprachen/GAP/pkg/semigroups/doc/chapInd_mj.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_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">Ind</a>  </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>

<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.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 />
    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-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 />
    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#X7C684CD38405DBEF">3.3-5</a>  <br />
    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#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 />
    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#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 />
    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.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 />
    for a semigroup and a list or collection  <a href="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 />
    for a semigroup and a list or collection  <a href="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 />
    for a semigroup and a list or collection  <a href="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 />
    for IsRZMSIsoByTriple  <a href="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 />
    for a semigroup and a multiplicative element collection  <a href="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 />
    for a transformation semigroup and an integer  <a href="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 />
    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>  <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 />
    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#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 />
    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#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 />
    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#X7F3F9DED8003CBD0">7.11-1</a>  <br />
    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#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 />
    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#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 />
    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#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 />
    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>  <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 />
    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#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 />
    for a semigroup  <a href="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 />
    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-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 />
    for a transformation semigroup and a set  <a href="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 />
    for a semigroup, and a positive integer  <a href="chap13_mj.html#X807A5FCC87661FA4">13.4-15</a>  <br />
    for a semigroup, positive integer, and list or collection  <a href="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 />
    for a semigroup, and a positive integer  <a href="chap13_mj.html#X807A5FCC87661FA4">13.4-15</a>  <br />
    for a semigroup, positive integer, and list or collection  <a href="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 />
    for a semigroup and a list or collection  <a href="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 />
    for a semigroup and a list or collection  <a href="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 />
    for a semigroup and a list or collection  <a href="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 />
    for a semigroup and a multiplicative element collection  <a href="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 />
    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-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 />
    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#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 />
    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.html#X7838738987B2DB41">13.4-2</a>  <br />
    for a semigroup and a multiplicative element collection  <a href="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 />
    for a semigroup and a multiplicative element collection  <a href="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 />
    for a semigroup and a multiplicative element collection  <a href="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 />
    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>  <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 />
--> --------------------

--> maximum size reached

--> --------------------

100%


¤ Dauer der Verarbeitung: 0.24 Sekunden  (vorverarbeitet)  ¤

*© Formatika GbR, Deutschland




Entwurf

Ziele

Beweissystem der NASA

Beweissystem Isabelle

NIST Cobol Testsuite

Cephes Mathematical Library

Wiener Entwicklungsmethode

Ergonomie der
Schnittstellen

Diese beiden folgenden Angebotsgruppen bietet das Unternehmen

Angebot

Hier finden Sie eine Liste der Produkte des Unternehmens