diff --git a/lib/semigrp.gi b/lib/semigrp.gi index 509f37b6014..b697125d8bb 100644 --- a/lib/semigrp.gi +++ b/lib/semigrp.gi @@ -113,6 +113,10 @@ InstallMethod(ViewString, "for a semigroup with generators", InstallMethod(ViewString, "for a monoid with generators", [IsMonoid and HasGeneratorsOfMonoid], _ViewStringForSemigroups); +InstallMethod(ViewString, "for an inverse semigroup with generators", +[IsInverseSemigroup and HasGeneratorsOfSemigroup], +_ViewStringForSemigroups); + InstallMethod(ViewString, "for an inverse semigroup with generators", [IsInverseSemigroup and HasGeneratorsOfInverseSemigroup], _ViewStringForSemigroups); diff --git a/tst/testinstall/semigrp.tst b/tst/testinstall/semigrp.tst index fe48046fc7c..ddb3014b4cb 100644 --- a/tst/testinstall/semigrp.tst +++ b/tst/testinstall/semigrp.tst @@ -431,6 +431,19 @@ false gap> IsEmpty(T); true +# Check for correct ViewString method for IsInverseSemigroup and +# HasGeneratorsOfSemigroup +gap> S := Semigroup(Transformation([4, 3, 5, 5, 5]), +> Transformation([4, 1, 5, 2, 5]), +> Transformation([5, 5, 2, 1, 5])); + +gap> IsInverseSemigroup(S); +true +gap> Size(S); +36 +gap> S; + + # gap> STOP_TEST( "semigrp.tst", 1060000);