Implementing Colour Refinement#905

Open

RheyaM wants to merge 16 commits intodigraphs:mainfrom

RheyaM:ColourRefinement

Commits on Feb 25, 2026

Commits on Mar 11, 2026

DigraphColourRefinement considering out and in neighbours separately, and without optimisation
rm387
committed
Adjusting output of DigraphColourRefinement and moving code to oper.tst
rm387
committed

Commits on Mar 18, 2026

Created separate optimised DigraphColourRefinement() method for benchmarking
rm387
committed

Commits on Mar 24, 2026

Commits on Mar 25, 2026

Commits on Mar 26, 2026

Cleaning up Colour Refinement
rm387
committed

Commits on Apr 1, 2026

Changes made to ColourRefinement + tests added
rm387
committed

Commits on Apr 15, 2026

Commits on Apr 16, 2026

Updating oper.xml to explain canonical colouring vs output of ColourRefinement
rm387
committed