Semigroups icon indicating copy to clipboard operation
Semigroups copied to clipboard
verified publisher icon semigroups

Better Nambooripad

Open Tianrun-Y opened this issue 1 year ago • 4 comments

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

Tianrun-Y avatar Jul 31 '24 10:07 Tianrun-Y

Thanks for the contribution @Tianrun-Y, can you please give an example which indicates why we should prefer the new method over the older method?

james-d-mitchell avatar Jul 31 '24 15:07 james-d-mitchell

Old version gap> S:=FullTransformationMonoid(4);; gap> NambooripadPartialOrder(S);;time; 3445

New version gap> S:=FullTransformationMonoid(4);; gap> NambooripadPartialOrder(S);;time; 136

Tianrun-Y avatar Jul 31 '24 15:07 Tianrun-Y

Can you please add the example to the relevant test file? Then I'll be happy to merge, and thanks very much!

james-d-mitchell avatar Aug 01 '24 09:08 james-d-mitchell

Can you please add the example to the relevant test file? Then I'll be happy to merge, and thanks very much!

Test added with time included as a comment. Hope this is good?

Tianrun-Y avatar Aug 01 '24 11:08 Tianrun-Y