The GAP 4 package 'NQL'
=======================

Introduction
------------

This is the package 'NQL' written for GAP 4. It provides a
nilpotent quotient algorithm for L-presented groups and a
first implementation of L-presented groups.

The features of this package include

  - creating an L-presented group as new gap object; 

  - computing nilpotent quotients of L-presented groups, and

  - epimorphisms from the L-presented group into its
    nilpotent quotients;

  - computing the Abelian invariants of the Abelian quotient 
    of an L-presented group.

There is a manual in the subdirectory 'doc' written in plain TeX which
describes the available functions in detail. 

If you have found a bug or any features missing please let me know (Ren\'e
Hartung, email r.hartung [ed] tu-braunschweig.de).


Contents
--------

With this version you should have obtained the following files and
directories:

  README          this file

  init.g          the file that initializes this package

  read.g          the file that reads in the package        

  PackageInfo.g   the file for the new package loading mechanism

  doc             the manual

  gap             the GAP code


Installation
------------

Make sure that the GAP 4 package Polycyclic is installed. It suffices 
to unpack the package in the 'pkg' directory.


Compiling the Manual
--------------------

To get the manual and the GAP Help System work you have to compile
the documentation of the 'NQL' package. Therefore go into the 'doc'
directory of 'NQL' and compile the manual via 'make'.

  sh> cd $GAPPATH/pkg/nql/doc
  sh> make


BugFixes
--------

- Version 0.03: Renamed the function CoveringGroup due to conflicts 
                with the cohomolo package.