Open jeanbellynck opened 5 months ago
I would argue that it is pretty obvious as there are no (greyed out) valence-1 vertices left! Also, I added a vertex counter to the vertex count menu. We could move that out of the advanced mode tbh.
However, it wouldn't hurt to show a short popup
A word problem researcher pointed out that as long as the generation is not finished we can't say anything specific about the Cayley Graph of the group.
This is different for a finite group whose graph has been drawn. He said he would like to see a FINISHED/FINITE indicator.
He also said drawing the Cayley Graph of a presentation is the only way to check whether the presentation is isomorphic to a general finite group. Meaning, the generation we are doing is not stupid.