Semigroups
Semigroups copied to clipboard
semigroups
The GAP package Semigroups
~~~~ gap> S:=SymmetricInverseMonoid(3); gap> DisplaySemigroup(S); Error, no method found! For debugging hints type ?Recovery from NoMethodFound Error, no 1st choice method found for `DisplaySemigroup' on 1 arguments at /home/siji/gap-4.10.0/lib/methsel2.g:250 called...
I recently implemented the functions `NambooripadPartialOrder` and `NambooripadLeqRegularSemigroup` (see PR #467) which are a generalisation of the natural partial order on inverse semigroups to the class of regular semigroups. However...
Methods installed for `ClosureInverseSemigroupOrMonoidNC` "remove everything related to strongly connected components". That information needs to be recomputed after a `Closure*` algorithm is called. See [here](https://github.com/gap-packages/Semigroups/blob/16e9b418ab752534a9dbcf66bac99bc345647f25/gap/main/semiact.gi#L454).
Bumps [jidicula/clang-format-action](https://github.com/jidicula/clang-format-action) from 4.11.0 to 4.13.0. Release notes Sourced from jidicula/clang-format-action's releases. v4.13.0 What's Changed fix(ci): Add correct workflow perms for package publishing by @jidicula in jidicula/clang-format-action#191 docs: Various README...
![dependabot[bot] avatar](https://avatars.githubusercontent.com/in/29110?v=4 "dependabot[bot] avatar"){kind=avatar}
A faster way of finding the Nambooripad Partial Order (aka natural partial order and Mitsch order) of a finite regular semigroup.
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.
Take a free semigroup F of rank 1 for example. InversesOfSemigroupElement(F, F.1) would keep on searching.
The file `gap/tools/enums.gi` was removed at some point, but semigroups still tries to load it. At the moment, this does nothing (which is why it wasn't noticed), but we'd like...
~~~ 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(...