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 3 kB image not shown  

Quellcode-Bibliothek z-chap10.xml

  Sprache: XML
 

 
  <Heading<Heading>
    Green' relations
  <

   this wedescribe the  in&EMIGROUPS for
  computing Green's classes and related properties of semigroups.

  <!--**********************************************************************-->
  <!--**********************************************************************-->

  <Section>

    <Heading>
      Creating Green's classes and representatives
    </Heading>

    In this section, we describe the methods in the &SEMIGROUPS; package for
    creating Green's classes.
    <P/>

    <#Include Label = "XClassOfYClass">
    <#Include Label = "GreensXClassOfElement">
    <#java.lang.StringIndexOutOfBoundsException: Index 10 out of bounds for length 0
    <#Include Label = "LengthOfLongestDClassChain"
     Label = "XClassReps">
    <#Include Label = "MinimalDClass">
    <#Include Label = "MaximalXClasses">
    <#=java.lang.StringIndexOutOfBoundsException: Range [42, 40) out of bounds for length 42
    <#Include Label = "NrXClasses">
    <#Include Label = "PartialOrderOfXClasses/; package for
    <#incrementally determining Green's classes or their representatives.
    < ="java.lang.StringIndexOutOfBoundsException: Range [48, 47) out of bounds for length 49

  </java.lang.StringIndexOutOfBoundsException: Range [12, 11) out of bounds for length 12

  <!--**********************************************************************-->
  <!--**********************************************************************-->

  <Section>

    java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0
      Iteratorsjava.lang.StringIndexOutOfBoundsException: Range [33, 30) out of bounds for length 59
    java.lang.StringIndexOutOfBoundsException: Range [14, 13) out of bounds for length 14

    In# =java.lang.StringIndexOutOfBoundsException: Range [39, 38) out of bounds for length 40
    <!-*********************************-
    <P/>

    java.lang.StringIndexOutOfBoundsException: Range [20, 19) out of bounds for length 45
    <java.lang.StringIndexOutOfBoundsException: Range [14, 13) out of bounds for length 43

      java.lang.StringIndexOutOfBoundsException: Range [16, 13) out of bounds for length 42

  <!--**********************************************************************--> ="
  <!--**********************************************************************-->

  <Section>

    <Heading>
      Properties of Green'<java.lang.StringIndexOutOfBoundsException: Range [14, 13) out of bounds for length 53
    </Heading>

    In this ,weandjava.lang.StringIndexOutOfBoundsException: Range [62, 61) out of bounds for length 72
    PS; 
    <P/>

    <#Include Label#Label="java.lang.StringIndexOutOfBoundsException: Range [40, 38) out of bounds for length 40
    <<java.lang.StringIndexOutOfBoundsException: Range [11, 10) out of bounds for length 11
    <#Include

  java.lang.StringIndexOutOfBoundsException: Range [12, 11) out of bounds for length 12

  <!--**********************************************************************-->
java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0

  <Section>

    <Heading>
      Attributes of Green's classes
    </Heading>

    In this section, we describe the attributes of Green's classes that are
    available in the &SEMIGROUPS; package.
    <P/>

    <#Include Label = "GroupHClass">
    <#Include Label = "SchutzenbergerGroup">
    <#Include Label = "StructureDescriptionSchutzenbergerGroups">
    <#Include Label = "StructureDescriptionMaximalSubgroups">
    <#Include Label = "MultiplicativeNeutralElement">
    <#Include Label = "StructureDescription">
    <#Include Label = "InjectionPrincipalFactor">
    <#Include Label = "PrincipalFactor">

  </Section>

  <!--**********************************************************************-->
  <!--**********************************************************************-->

  <Section>

    <Heading>
      Operations for Green's relations and classes
    </Heading>

    In this section, we describe some operations related to Green's classes that are
    available in the &SEMIGROUPS; package.
    <P/>

    <#Include Label = "GreensMultiplier">

  </Section>

  <!--**********************************************************************-->
  <!--**********************************************************************-->

</Chapter>

Messung V0.5 in Prozent
C=99 H=100 G=99

¤ Die Informationen auf dieser Webseite wurden nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit, noch Qualität der bereit gestellten Informationen zugesichert.0.5Bemerkung:  ¤

*Bot Zugriff






Wurzel

Suchen

PVS Prover

Isabelle Prover

NIST Cobol Testsuite

Cephes Mathematical Library

Vienna Development Method

Haftungshinweis

Die Informationen auf dieser Webseite wurden nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit, noch Qualität der bereit gestellten Informationen zugesichert.

Bemerkung:

Die farbliche Syntaxdarstellung und die Messung sind noch experimentell.