# Guarana

Applications of Lie methods for computations with infinite polycyclic groups

Version 0.96.2
Released 2018-11-15

This project is maintained by The GAP Team

# The GAP 4 package Guarana

In this package we demonstrate the algorithmic usefulness of the so-called Mal’cev correspondence for computations with infinite polycyclic groups; it is a correspondence that associates to every $\Q$-powered nilpotent group $H$ a unique rational nilpotent Lie algebra $L_H$ and vice-versa. The Mal’cev correspondence was discovered by Anatoly Mal’cev in 1951.

## Installing this package

The Guarana package is part of the standard distribution of GAP and so normally there should be no need to install it separately.

If by any chance it is not part of your GAP distribution, then this package is available at

 https://gap-packages.github.io/guarana/


in form of a gzipped tar-archive. The standard method is to unpack the package into the pkg' directory of your GAP distribution. This will create a guarana’ subdirectory. For other non-standard options please see Chapter 74.1 in the GAP Reference Manual.

Note that the GAP-Packages Polycyclic and Polenta are needed for this package. Normally they should be contained in your distribution. If not, they can be obtained at

https://www.gap-system.org/Packages/packages.html


If the Package is not already loaded then you have to request it explicitly. This can be done by LoadPackage("guarana"). The LoadPackage command is described in Section 72.2.1 in the GAP Reference Manual.

## Running the test suite

Once the package is installed, it is possible to check the correct installation by running the test suite of the package.

gap> Read(Filename(DirectoriesPackageLibrary("guarana","tst"),"testall.g"));


For more details on Test Files see Section 7.9 of the GAP Reference Manual.

If the test suite runs into an error, then please submit a report to our issue tracker at https://github.com/gap-packages/guarana/issues

Copyright (C) 2007 Björn Assmann bjoern@mcs.st-and.ac.uk

            http://www.gnu.org/licenses/gpl-2.0.html