search

semigroups / Semigroups

The GAP package Semigroups
https://semigroups.github.io/Semigroups/
Other
23 stars 36 forks source link

Green's relations for free bands #163

Closed wilfwilson closed 7 years ago

wilfwilson commented 8 years ago

Green's relations do not seem to be behaving correctly / fully featured for free bands. For instance, I can create this error in unstable-3.0:

gap> S := FreeBand(3);;
gap> x := S.1;;
gap> D := DClasses(S);;
gap> x in D[1];
Error, no method found! For debugging hints type ?Recovery from NoMethodFound
Error, no 1st choice method found for `EquivalenceClassRelation' on 1 arguments at /Users/Wilf/GAP/lib/methsel2.g:241 called from
EquivalenceClassRelation( C
 ) at /Users/Wilf/GAP/pkg/semigroups/gap/greens/greens-generic.gi:189
james-d-mitchell commented 8 years ago

Thanks, I was aware of this already. There is no easy fix, there are essentially lots of methods for Green's relations/classes on the free band that need to be implemented.

james-d-mitchell commented 7 years ago

This is resolved, so I'm closing this issue.