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 764 B image not shown  

Quelle  congrees.gd   Sprache: unbekannt

 
############################################################################
##
##  congruences/congrees.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 Rees congruences; i.e. semigroup congruences
## defined by a two-sided ideal.  See Howie 1.7
##

DeclareAttribute("SemigroupIdealOfReesCongruence", IsReesCongruence);

DeclareCategory("IsReesCongruenceClass",
                IsCongruenceClass and IsAttributeStoringRep and
                IsMultiplicativeElement);

DeclareProperty("IsReesCongruence", IsLeftRightOrTwoSidedCongruence);

[ Dauer der Verarbeitung: 0.19 Sekunden  (vorverarbeitet)  ]