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

Quelle  semigraph.gd   Sprache: unbekannt

 
Untersuchungsergebnis.gd Download desUnknown {[0] [0] [0]}zum Wurzelverzeichnis wechseln

#############################################################################
##
##  semigroups/semigraph.gd
##  Copyright (C) 2014-2022               Zak Mesyan and James D. Mitchell
##
##  Licensing information can be found in the README file of this package.
##
#############################################################################
##

DeclareOperation("GraphInverseSemigroup", [IsDigraph]);

DeclareCategory("IsGraphInverseSemigroupElement", IsAssociativeElement);
DeclareCategoryCollections("IsGraphInverseSemigroupElement");

DeclareSynonymAttr("IsGraphInverseSubsemigroup",
                   IsSemigroup and
                   IsGraphInverseSemigroupElementCollection);

DeclareSynonymAttr("IsGraphInverseSemigroup",
                   IsGraphInverseSubsemigroup and IsWholeFamily);

DeclareAttribute("GraphOfGraphInverseSemigroup", IsGraphInverseSemigroup);
DeclareAttribute("Range", IsGraphInverseSemigroupElement);
DeclareAttribute("Source", IsGraphInverseSemigroupElement);

DeclareOperation("IsVertex", [IsGraphInverseSemigroupElement]);

InstallTrueMethod(IsGeneratorsOfInverseSemigroup,
                  IsGraphInverseSemigroupElementCollection);

# The following are required because we use Zero in an unintended way (it's
# supposed to be an additive zero).
DeclareOperation("ZeroOp", [IsGraphInverseSemigroupElement]);
DeclareProperty("IsZero", IsGraphInverseSemigroupElement);

DeclareOperation("IndexOfVertexOfGraphInverseSemigroup",
                 [IsGraphInverseSemigroupElement]);
DeclareAttribute("VerticesOfGraphInverseSemigroup",
                 IsGraphInverseSemigroup);

[ zur Elbe Produktseite wechseln0.87Quellennavigators  ]