Read Me

JGrasp

Software package for the holonomy decomposition in Krohn-Rhodes Theory.

SOFTWARE REQUIREMENTS

- Java 2.0
- Graphviz
- GAP

Optional, only for compiling:

- Ant

A UNIX system is highly recommended for running the shell-scripts.

INSTALLATION

After extracting the files to a directory, the 'holonomy.sh' in the 'bin' directory should be modified to contain the correct value for $JGRASP_HOME$.

No compilation is necessary, but it can be done by using the 'ant' system.  

USAGE

For convenience the following shell-scripts are available:

holonomy.sh - It decomposes and creates all the diagrams for the transformation semigroup defined by  generators in a '.gens' file.

holprocessdir.sh - Decomposes '.gens' files in a directory (recursively in subdirectories).

When using a non-UNIX system where running shell-scripts is not possible the core system can be used directly. Run

java grasp.GRASP

for further instructions.