Implementation of DigraphInsertEdge and DigraphReduceEdge#899

Open

linuskuehnle wants to merge 5 commits into

digraphs:mainfrom

linuskuehnle:main

Commits on Feb 18, 2026

added implementation, testing and documentation of operations DigraphInsertEdge and DigraphReduceEdge
linuskuehnle
committed

Commits on Feb 26, 2026

adjusted to formatting enforced by gaplint
linuskuehnle
committed

Commits on Mar 6, 2026

adjusted formatting and added DigraphReduceEdge error check regarding edge's vertices having two common neighbours
linuskuehnle
committed

Commits on Apr 23, 2026

implemented requested changes on documentation and function structure of DigraphInsertEdge and DigraphReduceEdge
linuskuehnle
committed

Commits on May 16, 2026

Merge branch 'main' into main
linuskuehnle
authored