Monoid/InverseMonoid removes One inappropriately sometimes

Issue #56 resolved
James Mitchell
repo owner created an issue

Reported by JS:

gap> M:=InverseMonoid( PartialPerm([1,2]), PartialPerm([1]) );
<commutative inverse partial perm monoid on 2 pts with 1 generator>
gap> One(M) in M;
true
gap> AsSet(M);
[ <identity partial perm on [ 1 ]>, <identity partial perm on [ 1, 2 ]> ]
gap> M:=InverseMonoid( PartialPerm([1,2]), PartialPerm([1]) );
<commutative inverse partial perm monoid on 2 pts with 1 generator>
gap> AsSet(M);   
[ <identity partial perm on [ 1 ]> ]

Comments (1)

  1. Log in to comment