Semigroups

Semigroups copied to clipboard

Install libtool via brew in the macosx ci job.

james-d-mitchell

~~~ Error, required filters [ "IsListOrCollection", "IsCollection", "IsDuplicateFree", "HasIsDuplicateFree", "IsExtLElement", "CategoryCollections(IsExtLElement)", "IsExtRElement", "CategoryCollections(IsExtRElement)", "CategoryCollections(IsMultiplicativeElement)", "IsGeneralizedDomain", "IsMagma", "IsAssociative", "HasIsAssociative", "IsGeneratorsOfSemigroup", "HasIsGeneratorsOfSemigroup", "CanUseFroidurePin", "HasCanUseFroidurePin", "CanUseLibsemigroupsCongruences", "HasCanUseLibsemigroupsCongruences" ] for 1st argument do not...

james-d-mitchell

For example, with only Smallsemi loaded: ~~~ gap> S := SmallSemigroup(6, 2);; gap> IsSelfDualSemigroup(S); true ~~~ with Semigroups loaded: ~~~ gap> S := SmallSemigroup(6, 2);; gap> IsSelfDualSemigroup(S); false ~~~ The...

james-d-mitchell

Bumps [jidicula/clang-format-action](https://github.com/jidicula/clang-format-action) from 4.11.0 to 4.12.0. Release notes Sourced from jidicula/clang-format-action's releases. v4.12.0 What's Changed Big change is adding clang-format-17 and clang-format-18! Here's the full changelog (mostly dependabot updates): fix:...

dependabot[bot]

Better dot

2

This is just a proof of concept, not intended to be merged just yet.

james-d-mitchell

Don't expect the ci to pass, just opening this PR for visibility

james-d-mitchell

A pull request for #939. Implements LeftSemigroupIdeal using a LeftMagmaIdeal and RightSemigroupIdeal as a RightMagmaIdeal.

Jun2M

james-d-mitchell

Again the title says something, a prototype is what's already implemented in: https://github.com/semigroups/Semigroups/blob/d735a9289d7fbdccad733ba200d57e39b75f28f7/gap/congruences/congrees.gd This issue shouldn't be attempted before #939 because it will require right and left ideals to be...

james-d-mitchell

It should be relatively straightforward to make free bands in the Semigroups package acting semigroups. This will involve the following: * adding the filter `IsActingSemigroup` to `IsFreeBandSubsemigroup`, or at least,...

james-d-mitchell