Spracherkennung für: .gd vermutete Sprache: Unknown {[0] [0] [0]} [Methode: Schwerpunktbildung, einfache Gewichte, sechs Dimensionen]
#############################################################################
##
## semigroups/semifp.gd
## Copyright (C) 2020-2022 Luke Elliott
##
## Licensing information can be found in the README file of this package.
##
#############################################################################
##
DeclareOperation("ElementOfFpSemigroup", [IsFpSemigroup, IsAssocWord]);
DeclareOperation("ElementOfFpMonoid", [IsFpMonoid, IsAssocWord]);
DeclareOperation("ParseRelations", [IsDenseList, IsString]);
DeclareAttribute("UnderlyingCongruence", IsFpSemigroup);
DeclareAttribute("UnderlyingCongruence", IsFpMonoid);
DeclareAttribute("Length", IsFpSemigroup);
DeclareAttribute("Length", IsFpMonoid);
DeclareSynonym("IsSubsemigroupOfFpMonoid",
IsSemigroup and IsElementOfFpMonoidCollection);
DeclareAttribute("EmbeddingFpMonoid", IsFpSemigroup);
DeclareOperation("ReversedOp", [IsElementOfFpSemigroup]);
DeclareOperation("ReversedOp", [IsElementOfFpMonoid]);
DeclareGlobalFunction("FreeMonoidAndAssignGeneratorVars");
DeclareGlobalFunction("FreeSemigroupAndAssignGeneratorVars");
[Dauer der Verarbeitung: 0.10 Sekunden, vorverarbeitet 2026-06-17]
