This repository contains the Supplementary Materials referenced in the paper "Distinguishing Level-1 Phylogenetic Networks on the basis of data generated by Markov processes."
The included file "LevelOne_4leaf_networks_JC_K2P_K3P.m2" is a Macaulay2 files which when can be run to verify the claims made in Lemmas 1 and 2.