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

Quelle  congsimple.gd   Sprache: unbekannt

 
############################################################################
##
##  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.17 Sekunden  (vorverarbeitet)  ]