The forestalg GAP package

Author: Antoine Delignat-Lavaud
Current version: 1.11 (released April 2011)
License: GNU General Public License version 2 or any later version at your convenience.

Download forestalg (includes documentation): forestalg-1.11.tar.gz (298 K), forestalg-1.11.tar.bz2 (277 K), forestalg-1.11-win.zip (312 K).
Download stand-alone documentation: forestalg-doc-1.11.tar.gz
Installation: see below or in the README.
Examples: see EXAMPLES.
Package Info: PackageInfo.g.
Read the manual: HTML version, PDF version.

Changelog

1.11 - April, 2011
----------------------------------------------------
Added some logical tools
 << total depth-first order on nodes
 - right child relation
 || ancestor relation
Fixed a rare minimization bug
Improved compilation speed of logic

1.1 - March, 2011
----------------------------------------------------
Added monadic second order logic sentences
and compilation to forest automata
Slightly improved the determinization function

1.0 - August, 2010
----------------------------------------------------
First Version of the package

Installation

The first step is to install GAP. Refer to http://www.gap-system.org for instructions on how to install GAP on your system.
forestalg needs two third-party packages to work: automata (http://www.gap-system.org/Packages/automata.html) and sgpviz (http://www.gap-system.org/Packages/sgpviz.html). Follow the specific installation steps for each of these packages in their respective documentation
The two above packages depend on external software to work: graphviz (http://www.graphviz.org/) and a PostScript viewer must be installed on your system and available in the PATH for your user. Note that neither are strictly required except for all drawing functions.
To install forestalg itself, expand the package archive into the pkg/ directory of your GAP installation (this is platform dependent; refer to the GAP documentation for your system). If you installed GAP using the gap-core Debian or Ubuntu package, this directory is /usr/share/gap/pkg. On UNIX, if you don't have write access to this directory you can expand the archive in a subfolder gap/pkg/ of your home directory, or use the -l option of GAP to load the package from any directory.
Before using the package, you must load it with the command LoadPackage("forestalg");