Can't view eggbox diagrams of symmetric inverse monoids

[ghost]

gap> S:=SymmetricInverseMonoid(3);
<symmetric inverse monoid of degree 3>
gap> DisplaySemigroup(S);       
Error, no method found! For debugging hints type ?Recovery from NoMethodFound
Error, no 1st choice method found for `DisplaySemigroup' on 1 arguments at /home/siji/gap-4.10.0/lib/methsel2.g:250 called from
<function "HANDLE_METHOD_NOT_FOUND">( <arguments> )
 called from read-eval loop at *stdin*:2
type 'quit;' to quit to outer loop
brk>     
gap> Splash(DotString(S));
Error, Variable: 'Splash' must have a value
not in any function at *stdin*:2

[james-d-mitchell]

I'm not sure what the issue is, when I start GAP, load the Semigroups package, and do:

S := SymmetricInverseMonoid(3);;
Splash(DotString(S));

everything works as expected. I guess that you don't have the Semigroups package loaded. What happens when you do LoadPackage("semigroups");?

[wilfwilson]

I'll add that DisplaySemigroup is a function in GAP, not the Semigroups package, and it is documented and implemented to only apply to transformation semigroups (which the symmetric inverse monoid is not). It seems most likely to me that the Splash(DotString(S)); line is not working because the Semigroups package is not loaded.

[dimpase]

@wilfwilson : I wrote on Support@gap-system, where this was also raised, that indeed one needs to convert to a transformation semigroup first.

Another error with Splash might come from the need to have dot installed: dot is a part of graphviz graphics package, something that might need to be installed.