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

Impressum sims1.gd   Sprache: unbekannt

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

# This file contains declarations for the interface with
# libsemigroups::Sims1 and related.

DeclareCategory("IsWordGraph", IsImmutableDigraph);

DeclareOperation("NumberOfRightCongruences",
                 [IsSemigroup, IsPosInt, IsListOrCollection]);
DeclareOperation("NumberOfLeftCongruences",
                 [IsSemigroup, IsPosInt, IsListOrCollection]);
DeclareOperation("NumberOfLeftCongruences", [IsSemigroup, IsPosInt]);
DeclareOperation("NumberOfRightCongruences", [IsSemigroup, IsPosInt]);
DeclareAttribute("NumberOfRightCongruences", IsSemigroup);
DeclareAttribute("NumberOfLeftCongruences", IsSemigroup);

DeclareOperation("IteratorOfRightCongruences",
                 [IsSemigroup, IsPosInt, IsListOrCollection]);
DeclareOperation("IteratorOfLeftCongruences",
                 [IsSemigroup, IsPosInt, IsListOrCollection]);

DeclareOperation("IteratorOfRightCongruences",
                 [IsSemigroup, IsPosInt]);
DeclareOperation("IteratorOfLeftCongruences",
                 [IsSemigroup, IsPosInt]);

DeclareOperation("IteratorOfRightCongruences",
                 [IsSemigroup]);
DeclareOperation("IteratorOfLeftCongruences",
                 [IsSemigroup]);

[ Seitenstruktur0.18Drucken  etwas mehr zur Ethik  ]