From 133d7f7b53068a8a02d8d6b13cc99668b6e15600 Mon Sep 17 00:00:00 2001 From: "James D. Mitchell" Date: Sat, 3 Jun 2023 11:47:53 +0100 Subject: [PATCH] cong: fix typo in ImagesElm --- gap/libsemigroups/cong.gi | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/gap/libsemigroups/cong.gi b/gap/libsemigroups/cong.gi index 4f0f4e478..68c338e66 100644 --- a/gap/libsemigroups/cong.gi +++ b/gap/libsemigroups/cong.gi @@ -417,7 +417,7 @@ function(cong, elm) elif IsFpSemigroup(Range(cong)) or (HasIsFreeSemigroup(Range(cong)) and IsFreeSemigroup(Range(cong))) or IsFpMonoid(Range(cong)) - or (HasIsFreeSemigroup(Range(cong)) and IsFreeMonoid(Range(cong))) + or (HasIsFreeMonoid(Range(cong)) and IsFreeMonoid(Range(cong))) or IsQuotientSemigroup(Range(cong)) then part := EquivalenceRelationPartition(cong); pos := PositionProperty(part, l -> [elm, l[1]] in cong);