diff --git a/gap/attributes/attr.gi b/gap/attributes/attr.gi index 1a8086f28..02a50f1ff 100644 --- a/gap/attributes/attr.gi +++ b/gap/attributes/attr.gi @@ -798,7 +798,7 @@ function(S, a) Add(inverses, f * s * e); od; od; - return AsSet(inverses); + return inverses; end); # TODO implement OneInverseOfSemigroupElement diff --git a/tst/standard/ideals/ideals.tst b/tst/standard/ideals/ideals.tst index 1914760b0..b60679144 100644 --- a/tst/standard/ideals/ideals.tst +++ b/tst/standard/ideals/ideals.tst @@ -230,7 +230,7 @@ gap> I := SemigroupIdeal(S, > Matrix(IsBooleanMat, [[1, 0, 1], [0, 0, 0], [0, 1, 0]]), > Matrix(IsBooleanMat, [[0, 1, 1], [0, 1, 1], [1, 0, 1]]));; gap> x := Matrix(IsBooleanMat, [[1, 0, 1], [0, 1, 0], [1, 0, 1]]);; -gap> InversesOfSemigroupElement(I, x); +gap> AsSet(InversesOfSemigroupElement(I, x)); [ Matrix(IsBooleanMat, [[0, 0, 0], [0, 1, 0], [0, 0, 1]]), Matrix(IsBooleanMat, [[0, 0, 0], [0, 1, 0], [1, 0, 0]]), Matrix(IsBooleanMat, [[0, 0, 0], [0, 1, 0], [1, 0, 1]]),