Fixup

semigroups · Nov 14, 2022 · 1344588 · 1344588
1 parent 0ff0d86
commit 1344588
Show file tree

Hide file tree

Showing 4 changed files with 195 additions and 188 deletions.
diff --git a/gap/congruences/conglatt.gd b/gap/congruences/conglatt.gd
@@ -28,6 +28,7 @@ DeclareAttribute("CongruencesOfPoset", IsCongruencePoset);
 # Constructs the poset object consisting of the congruences given in the
 # argument.
 DeclareOperation("PosetOfCongruences", [IsListOrCollection]);
+DeclareAttribute("JoinSemilatticeOfCongruences", IsListOrCollection);
 
 DeclareAttribute("GeneratingPairsOfPrincipalCongruences", IsSemigroup);
 DeclareAttribute("GeneratingPairsOfPrincipalLeftCongruences", IsSemigroup);