Spracherkennung für: .gd vermutete Sprache: Unknown {[0] [0] [0]} [Methode: Schwerpunktbildung, einfache Gewichte, sechs Dimensionen]
############################################################################
##
## congruences/congsimple.gd
## Copyright (C) 2015-2022 Michael C. Young
##
## Licensing information can be found in the README file of this package.
##
#############################################################################
##
## This file contains methods for congruences on finite (0-)simple semigroups,
## using isomorphisms to Rees (0-)matrix semigroups and methods in
## congruences/reesmat.gd/gi.
DeclareCategory("IsSimpleSemigroupCongruence",
IsSemigroupCongruence
and IsMagmaCongruence
and CanComputeEquivalenceRelationPartition
and IsAttributeStoringRep
and IsFinite);
DeclareCategory("IsSimpleSemigroupCongruenceClass",
IsCongruenceClass
and IsAttributeStoringRep
and IsAssociativeElement);
DeclareOperation("CongruenceByIsomorphism",
[IsGeneralMapping, IsSemigroupCongruence]);
[ Dauer der Verarbeitung: 0.40 Sekunden
]
