|
#############################################################################
##
## greens/froidure-pin.gd
## Copyright (C) 2015-2022 James D. Mitchell
##
## Licensing information can be found in the README file of this package.
##
#############################################################################
## This file contains methods for Green's classes/relations for semigroups
## with CanUseFroidurePin.
# Green's classes in this representation have a single component which contains
# the strongly connected components of the appropriate Cayley graph, it
# contains two subcomponents consisting of the actual components and a lookup
# table <t> such that the value of <t[i]> is the index of the class containing
# EnumeratorCanonical(S)[i], where S is the semigroup.
DeclareRepresentation("IsGreensClassOfSemigroupThatCanUseFroidurePinRep",
IsComponentObjectRep and IsGreensClass,
["data"]);
DeclareRepresentation("IsGreensRelationOfSemigroupThatCanUseFroidurePinRep",
IsComponentObjectRep and IsGreensRelation,
["data"]);
[ Verzeichnis aufwärts0.19unsichere Verbindung
Übersetzung europäischer Sprachen durch Browser
]
|
