Untersuchungsergebnis.gd Download desUnknown {[0] [0] [0]}zum Wurzelverzeichnis wechseln
############################################################################
##
## libsemigroups/cong.gd
## Copyright (C) 2022 James D. Mitchell
##
## Licensing information can be found in the README file of this package.
##
############################################################################
# A congruence satisfies CanUseLibsemigroupsCongruence if it should use a
# libsemigroups Congruence object to compute things about itself.
DeclareProperty("CanUseLibsemigroupsCongruence",
CanComputeEquivalenceRelationPartition);
InstallTrueMethod(CanComputeEquivalenceRelationPartition,
CanUseLibsemigroupsCongruence);
# The next operation is the only one supplied by libsemigroups/cong.gd/i that
# is exported.
DeclareOperation("CongruenceLessNC",
[CanUseLibsemigroupsCongruence,
IsMultiplicativeElement,
IsMultiplicativeElement]);
[ zur Elbe Produktseite wechseln0.97Quellennavigators
]
