Spracherkennung für: .gd vermutete Sprache: Unknown {[0] [0] [0]} [Methode: Schwerpunktbildung, einfache Gewichte, sechs Dimensionen]
############################################################################
##
## congruences/congwordgraph.gd
## Copyright (C) 2022 James D. Mitchell
##
## Licensing information can be found in the README file of this package.
##
############################################################################
##
## This file contains declarations for left, right, and two-sided
## congruences that are defined in terms of a IsWordGraph.
DeclareCategory("IsCongruenceByWordGraph",
IsLeftRightOrTwoSidedCongruence
and CanComputeEquivalenceRelationPartition
and IsAttributeStoringRep
and IsFinite);
DeclareOperation("RightCongruenceByWordGraphNC", [IsSemigroup, IsWordGraph]);
DeclareOperation("LeftCongruenceByWordGraphNC", [IsSemigroup, IsWordGraph]);
DeclareAttribute("WordGraph", IsCongruenceByWordGraph);
[ Dauer der Verarbeitung: 0.32 Sekunden
]
