Joe Edwards

Refactor CI

7

This PR: * Creates an action for running gap tests with code prepended to the gap command, allowing for GAP to be run with Valgrind (amongst other things). * Creates...

Add AhoCorasick

4

This PR includes the AhoCorasick class in a state ready for V3. In particular: - [X] split into hpp/tpp - [X] use of `no_checks` functions - [X] TODOs and FIXMEs...

Update Words for v3

1

This PR updates `Words.hpp` for v3.

Expose `MEET_BLIST` as `MeetBlist` in `list.g` and document.

2

Declares synonym for MeetBlist, which resolves #5695. ## Text for release notes see title

Update Ukkonen for v3

1

This PR updates `ukkonen.hpp` for v3

After a discussion with @james-d-mitchell, it was decided that the static member functions `one(Type const&)` in classes such as `Bipartition` and `Transf` should probably be a free-functions instead.

Warnings when compiling with `g++ (Ubuntu 13.2.0-23ubuntu4)`

1

The following results in lots of warnings when using `g++ (Ubuntu 13.2.0-23ubuntu4)`: ``` bash ./configure CXX="g++" CXX_FLAGS="-OO" make test_all ``` The full output can be found here: [make_warnings.txt](https://github.com/user-attachments/files/16948073/new_gcc_warnings.txt), and the...

Interface with other subgraph isomorphism solvers

2

The Digraphs package implements a subgraph isomorphism solver in the form of `DigraphEmbedding`. It would good if we could interface with other subgraph isomorphism solver tools, such as https://github.com/ciaranm/glasgow-subgraph-solver.

Colour refinement is an algorithm that takes a graph $G = (V, E)$, and returns a colouring $C \colon V \to \mathbb{N}$ of the vertices such that, for any pair...

to: fix `to<Presentation>(kb)`

1

This PR refactors/fixes the overload of the `to` function that converts `KnuthBendix` objects to `Presentation` objects. In particular, it properly exposes the overload where we explicitly specify the type of...