Closed CunningGabe closed 2 years ago
A working version is now available in e2b8dfb5ad1096e0555f40fd5a9a87fbe1e59750. I'm going to leave this open though, because I want to build in some optimizations.
A simple optimization is now present in f4a7a93009c54ea3dbe3b01e4623c286ba5b1b45.
Something like IsIsomorphicRooted(M1, M2) to test if there is an isomorphism M1 -> M2 that sends BaseFlag(M1) to BaseFlag(M2).
We'll need this in order for #86 to make any sense.