Quotient of semigroups by ideals

Issue #82 resolved
James Mitchell
repo owner created an issue

Currently, quotients of semigroups by ideals don't work it would be good if they did:

gap> S:=Monoid( [ Transformation( [ 3, 3, 3, 3 ] ), Transformation( [ 2, 4, 2, 4 ] ), 
>  Transformation( [ 2, 3, 2, 3 ] ), Transformation( [ 4, 1, 4, 3 ] ), 
>  Transformation( [ 1, 4, 4, 1 ] ), Transformation( [ 2, 2, 3, 1 ] ), 
>  Transformation( [ 2, 4, 3, 4 ] ), Transformation( [ 2, 2, 1, 2 ] ), 
>  Transformation( [ 2, 2, 1, 3 ] ), Transformation( [ 1, 2, 2, 3 ] ), 
>  Transformation( [ 2, 4, 3, 2 ] ), Transformation( [ 2, 3, 3, 3 ] ) ] );;
gap> I:=SemigroupIdeal(S, S.3);;
gap> S/I;
Error, no method found! For debugging hints type ?Recovery from NoMethodFound
Error, no 1st choice method found for `/' on 2 arguments called from
<function "HANDLE_METHOD_NOT_FOUND">( <arguments> )
 called from read-eval loop at line 7 of *stdin*
you can 'quit;' to quit to outer loop, or
you can 'return;' to continue
brk> 

Comments (4)

  1. Log in to comment