rahmenlose Ansicht.gd DruckansichtUnknown {[0] [0] [0]} [Methode: Schwerpunktbildung, einfache Gewichte, sechs Dimensionen]
############################################################################
##
## semigroups/semibipart.gd
## Copyright (C) 2013-2022 James D. Mitchell
##
## Licensing information can be found in the README file of this package.
##
#############################################################################
##
DeclareSynonym("IsBipartitionSemigroup",
IsSemigroup and IsBipartitionCollection);
DeclareSynonym("IsBipartitionMonoid",
IsMonoid and IsBipartitionCollection);
InstallTrueMethod(IsFinite, IsBipartitionSemigroup);
DeclareAttribute("DegreeOfBipartitionSemigroup", IsBipartitionSemigroup);
DeclareProperty("IsBlockBijectionSemigroup", IsBipartitionSemigroup);
DeclareProperty("IsPartialPermBipartitionSemigroup", IsBipartitionSemigroup);
DeclareProperty("IsPermBipartitionGroup", IsBipartitionSemigroup);
InstallTrueMethod(IsGroupAsSemigroup, IsPermBipartitionGroup);
DeclareSynonymAttr("IsBlockBijectionMonoid",
IsBlockBijectionSemigroup and IsMonoid);
DeclareSynonymAttr("IsPartialPermBipartitionMonoid",
IsPartialPermBipartitionSemigroup and IsMonoid);
[ Verzeichnis aufwärts0.52unsichere Verbindung
]
