IsZeroSimpleSemigroup hangs on a semigroup of size 2

Issue #150 resolved
Michael Torpey
created an issue

Try the following, in (for example) the congruences branch:

gap> S := Semigroup([PartialPerm([1, 2], [3, 2])]);;
gap> Size(S);
gap> IsZeroSimpleSemigroup(S);

It runs for an extraordinary length of time, given that S has size 2.

Comments (12)

  1. wilfwilson

    There is no 2.7.4 branch in the repository at present. Since I created a branch and made the necessary changes yesterday it would be most convenient if I could push those.

  2. Log in to comment