This repo contains a notebook to accompany the paper.
It also contains the code used to generate benchmark data.
This was written prior to the development of AlgebraicRewriting.jl which is the recommended way of performing rewriting within AlgebraicJulia.