Implementation of DigraphInsertEdge and DigraphReduceEdge#899

Open

linuskuehnle wants to merge 3 commits intodigraphs: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