Chain semigroup fix

The truly marvellous BECKS automaton again did a good service by showing that there was a false assumption about finding the gaps in reduced inclusion relation.
Now, morphic relations work fine for the monster semigroups as well.

Pi Day Release 2018

Happy Pi Day!

The derived chain semigroup of a transformation semigroup works now. This is half-way to a fully working implementation of the holonomy decomposition.

Parallel computation of morphisms

Using reducers, the computation of embeddings of semigroups based on their generating tables are now parallel by default.

Reference implementation for morphic mappings between multiplication tables

The simplified code can now serve as a reference implementation for the paper:

http://www.egri-nagy.hu/publication/2017_finite_computation_ijnc/

'Native' conjrep for transformations

Scalable algorithm for calculating the conjugacy class representative of transformations.

First ever release

Finding embeddings by generating sets only is a unique feature, not a shadow, so it is a good excuse to put a tag on the system and have a release. And it's fitting for celebrating Pi Day.