Generalize IsSelfDualSemigroup declaration

semigroups · Nov 2, 2024 · 317dd11 · 317dd11
1 parent 265de04
commit 317dd11
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/gap/attributes/properties.gd b/gap/attributes/properties.gd
@@ -44,7 +44,7 @@ DeclareOperation("IsNormalInverseSubsemigroup",
                  [IsInverseSemigroup, IsInverseSemigroup]);
 
 if not IsBoundGlobal("IsSelfDualSemigroup") then
-  DeclareProperty("IsSelfDualSemigroup", IsSemigroup and CanUseFroidurePin);
+  DeclareProperty("IsSelfDualSemigroup", IsSemigroup);
 fi;
 
 DeclareSynonymAttr("IsRectangularGroup",