Conjugacy Tests

An awful lot of work went into this release. Automorphisms can be broken down into free factors, and the periodic and infinite conjugacy tests are implemented. To deal with the relabelling needed for this, a lot of code was factored out of the Automorphism class and put into a new parent class, Homomorphism.

Debugging the infinite conjugacy tests lead to the discovery of pond orbits; the orbit sharing test had to be updated to deal with this. (This lead to the /theory folder too, for formal lemmas and so on.)

A system for reading and writing automorphisms from files was created, leading to an expansion of the number of examples available. Functions for randomly generating examples are also available.

Finally a lot of thought was put into improving the speed of the QNB-finding method. The bulk of the problem was not using all of the information that the core-component method finds.