Markus Pfeiffer

### Scope & Purpose * Removes `ResultCache` as it is not needed anymore after recent simplifications * Removes `_result` and `ResultList` * Simplifies returning of paths

### Scope & Purpose Automate building of the build docker containers with CircleCI. `config.yml` detects whether files in the directory `scripts/docker` have been changed, and if so * chooses a...

### Scope & Purpose Adds a small libraries of helpers to simplify matching on Expressions when writing optimiser rules. A common pattern when dealing with Expressions in AQL is to...

### Scope & Purpose This is a prototype PR, not to be merged as is. The goal of this work is to detect conditions that have to hold for all...

Improve methods for deciding vertex and arc transitivity

3

A digraph is vertex transitive if its automorphism group acts transitively on its vertices, and it is arc transitive if its automorphism group acts transitively on its arcs. This can...

Ask the user whether they want to register a TNUM

1

Maybe this is an advanced feature.

Ask for a license to attach.

Improve argument checking in `Cycles` and other related functions

2

Example: ``` gap> Cycles((1,2,3)(4,5)); Error, List Element: [2] must have an assigned value in D := arg[2]; at /home/makx/git/gap/master/lib/oprt.gi:2149 called from ( ) called from read-eval loop at *stdin*:4 type...

I open this draft PR so that it is visible that I am working on an implementation of Yen's algorithm (https://en.wikipedia.org/wiki/Yen's_algorithm https://ia800704.us.archive.org/view_archive.php?archive=/24/items/wikipedia-scholarly-sources-corpus/10.1287.zip&file=10.1287%252Fmnsc.17.11.712.pdf) to iterate through paths in an edge weighted...

Deleting vertices or edges from an `EdgeWeightedDigraph` deletes the weights, so does taking a mutable copy.

2

I am not sure this is intended. Creating a digraph with edge weights and removing vertices, edges, or taking a mutable copy makes the resulting grpah not have weights. ```...