Spracherkennung für: .gd vermutete Sprache: Unknown {[0] [0] [0]} [Methode: Schwerpunktbildung, einfache Gewichte, sechs Dimensionen]
###############################################################################
##
## fp/freeinverse.gd
## Copyright (C) 2013-2022 Julius Jonusas
##
## Licensing information can be found in the README file of this package.
##
###############################################################################
DeclareUserPreference(rec(
name := "FreeInverseSemigroupElementDisplay",
description := ["options for the display of free inverse semigroup elements"],
default := "minimal",
values := ["minimal", "canonical"],
multi := false,
package := "semigroups"));
DeclareCategory("IsFreeInverseSemigroupElement", IsAssociativeElement);
DeclareCategoryCollections("IsFreeInverseSemigroupElement");
DeclareCategory("IsFreeInverseSemigroupCategory",
IsInverseSemigroup
and IsGeneratorsOfInverseSemigroup
and IsFreeInverseSemigroupElementCollection);
DeclareProperty("IsFreeInverseSemigroup", IsSemigroup);
DeclareGlobalFunction("FreeInverseSemigroup");
DeclareAttribute("MinimalWord", IsFreeInverseSemigroupElement);
DeclareAttribute("CanonicalForm", IsFreeInverseSemigroupElement);
[Dauer der Verarbeitung: 0.13 Sekunden, vorverarbeitet 2026-06-17]
