|
############################################################################
##
## congsemigraph.gd
## Copyright (C) 2022 Marina Anagnostopoulou-Merkouri
## James Mitchell
##
## Licensing information can be found in the README file of this package.
##
############################################################################
DeclareCategory("IsCongruenceByWangPair",
IsSemigroupCongruence
and CanComputeEquivalenceRelationPartition
and IsMagmaCongruence
and IsAttributeStoringRep
and IsFinite);
DeclareOperation("CongruenceByWangPair",
[IsGraphInverseSemigroup,
IsHomogeneousList,
IsHomogeneousList]);
DeclareOperation("AsCongruenceByWangPair", [IsSemigroupCongruence]);
DeclareOperation("MinimalHereditarySubsetsVertex",
[IsGraphInverseSemigroup, IsPosInt]);
DeclareAttribute("GeneratingCongruencesOfLattice", IsGraphInverseSemigroup);
[ Dauer der Verarbeitung: 0.16 Sekunden
(vorverarbeitet)
]
|
