Semigroup Varieties

Given a finite semigroup, this tool tries to find a base of identities for the variety of semigroups it generates. 

Envery semigroup up to order 5, every group up to order 47, bands of arbitrary large order, and many other classes are currently supported. It will be a package for ProverX. 

Produced with Peter J Cameron, Edmond Lee and Jorge Raminhos.