On Sunday, June 3, 2018 at 12:26:46 PM UTC+2, vdelecroix wrote: > > Note also that it is perfectly fine for "==" to raise an error such as > NotImplementedError. If some algorithm is not able to decide whether > H1 and H2 are equal it can just give up.
The problem isn't that the computer will ever run out of things to try to show that two groups are isomorphic. In fact, quite the opposite: All RAM will be consumed while trying to show equality, and eventually the oomkiller will terminate the process. -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To post to this group, send email to sage-devel@googlegroups.com. Visit this group at https://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
