Bug in NrCongruencesClasses

Issue #119 resolved
James Mitchell
repo owner created an issue
gap> I := SemigroupIdealByGenerators(FullTransformationSemigroup(4), 
> [Transformation([1,2,2,2])]);
<regular transformation semigroup ideal on 4 pts with 1 generator>
gap> cong := ReesCongruenceOfSemigroupIdeal(I);
<semigroup congruence over <full transformation semigroup on 4 pts>>
gap> NrCongruenceClasses(cong);
Error, no method found! For debugging hints type ?Recovery from NoMethodFound
Error, no 1st choice method found for `GeneratingPairsOfMagmaCongruence' on 1 arguments called from
GeneratingPairsOfSemigroupCongruence( cong ) called from
SEMIGROUPS_SetupCongData( cong ); called from
AsLookupTable( cong ) called from
<function "unknown">( <arguments> )
 called from read-eval loop at line 122 of *stdin*
you can 'quit;' to quit to outer loop, or
you can 'return;' to continue

Comments (3)

  1. Log in to comment