Tianrun Yang

Add methods for finding the Mitsch order of a semigroup

Better Nambooripad

4

A faster way of finding the Nambooripad Partial Order (aka natural partial order and Mitsch order) of a finite regular semigroup.

Better inverses

2

Add a better method for finding inverses of a multiplicative element of a semigroup that can use Froidure-Pin. Also add a new method called OneInverseOfSemigroupElement.

Current InversesOfSemigroupElement method runs on indefintely for an infinite semigroup

1

Take a free semigroup F of rank 1 for example. InversesOfSemigroupElement(F, F.1) would keep on searching.

~~~ gap> S := SingularBrauerMonoid(5);; gap> Size(S); 825 gap> NambooripadPartialOrder(S);;time; Error, Record Element: '.lambda_orb' must have an assigned\ value in o := data!.lambda_orb ; at /Users/tianrun/Library/Preferences/GAP/pkg/semigro\ ups/gap/main/acting.gi:650 called from Position(...