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

Quelle  semiact.gd   Sprache: unbekannt

 
#############################################################################
##
##  main/semiact.gd
##  Copyright (C) 2016-2022                              James D. Mitchell
##
##  Licensing information can be found in the README file of this package.
##
#############################################################################

# The rank of IsActingSemigroup is incremented by 10 so that it is greater than
# IsSemigroup and IsFinite and HasGeneratorsOfSemigroup, and IsSemigroupIdeal
# and IsFinite and HasGeneratorsOfSemigroupIdeal
DeclareCategory("IsActingSemigroup", IsSemigroup and IsFinite, 10);

DeclareCategory("IsRegularActingSemigroupRep",
                IsRegularSemigroup and IsActingSemigroup);

DeclareCategory("IsInverseActingSemigroupRep",
                IsInverseSemigroup and IsGeneratorsOfInverseSemigroup
                and IsRegularActingSemigroupRep);

[ Dauer der Verarbeitung: 0.21 Sekunden  (vorverarbeitet)  ]