James Mitchell

The kernel function `MEET_BLIST` has no library `MeetBlists` equivalent and is undocumented

1

I was just looking at the `blister.c` file and noticed that `MEET_BLIST` has no library `MeetBlists` equivalent and is currently undocumented. It might be good to get this in the...

Graphviz

5

This is a reworking of #639, which goes a bit further than #639 in removing the old stuff for displays. This PR doesn't introduce any breaking changes except that we...

Install libtool via brew in the macosx ci job.

~~~ 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...

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...

Better dot

2

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

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

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...