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

Quelle  factor.gd   Sprache: unbekannt

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

DeclareOperation("MinimalFactorization",
                 [IsSemigroup, IsMultiplicativeElement]);
DeclareOperation("NonTrivialFactorization",
                 [IsSemigroup, IsMultiplicativeElement]);
DeclareOperation("Factorization", [IsLambdaOrb, IsPosInt, IsPerm]);
DeclareOperation("Factorization", [IsSemigroup, IsMultiplicativeElement]);
DeclareOperation("TraceSchreierTreeForward", [IsSemigroupData, IsPosInt]);

[ Dauer der Verarbeitung: 0.12 Sekunden  (vorverarbeitet)  ]