A package for the computer algebra system GAP. The package generalizes free products of groups and installs methods for dealing with quadratic equations. For more information see the manual under doc/manual.pdf
A few examples can be found in the directory phd/examples. This examples can be used without copying the package to the package directory. Simply start gap in the home directory of this package and type e.g.
gap> Read("phd/examples/NeumannSegal.g");
Copy this package in your gap package diretory. By default this is in the directory pkg/ in the gap root directory.
To use all features of this package we need the GAP packages fr
and lpres
to be installed.