rotate_simp

[Ross Duncan]

Hi Aleks, (is there anyone else on this list?)

Is rotate_simp guaranteed to terminate?

I just ask because it’s been thinking about a large graph for quite a long time — like 30mins — neither finding a rewrite nor giving up. It’s quite a big graph, probably with a huge number of gen_bialg matches in it, but I’m surprised it hasn’t found *anything* to rewrite in this time. Just eyeballing it there’s at least one “square" which should match.

My computer is getting quite warm.

-r

[Ross Duncan]

After three hours of no visible activity I gave up. Here’s the graph that broke it.