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

Quelle  semipbr.gd   Sprache: unbekannt

 
Untersuchungsergebnis.gd Download desUnknown {[0] [0] [0]}zum Wurzelverzeichnis wechseln

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

# This file contains declarations for semigroups of PBRs.

DeclareSynonym("IsPBRSemigroup",
               IsSemigroup and IsPBRCollection);
DeclareSynonym("IsPBRMonoid",
               IsMonoid and IsPBRCollection);

InstallTrueMethod(IsFinite, IsPBRSemigroup);
DeclareAttribute("DegreeOfPBRSemigroup",
                 IsPBRSemigroup);

[ zur Elbe Produktseite wechseln0.75Quellennavigators  ]