%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%
%W intro.tex GAP documentation Bettina Eick
%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\Chapter{Preamble}
{
\bf Abstract:}
This package gives access to the database of Lie $p$-rings of order at most
$p^7$ as determined by Mike Newman, Eamonn O
'Brien and Michael Vaughan-Lee,
see
\cite{NOV04} and
\cite{OVL05}, and it provides some functionality to
work with these Lie $p$-rings.
\bigskip
{
\bf Copyright:}
The LiePRing package is free software; you can redistribute it under the
terms of the GNU General Public License as published by the Free Software
Foundation; either version 2 of the License, or (at your opinion) any
later version. The LiePRing package is distributed in the hope that it will
be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General
Public License for more details.
\bigskip
{
\bf How to cite this package:}
If you use the LiePRing package, then please cite it as:
{
\it Bettina Eick and Michael Vaughan-Lee, LiePRing -- A GAP Package for
computing with nilpotent Lie rings of prime-power order (2014), see
\URL{
https://www.gap-system.org/Packages/liepring.html}
\bigskip
{
\bf Acknowlegdements:}
The Lazard correspondence induces a one-to-one correspondence between the
Lie $p$-rings of order $p^n$ and class less than $p$ and the $p$-groups of
order $p^n$ and class less than $p$. This package provides a function to
evaluate this correspondence; this function has been implemented and given
to us by Willem de Graaf.
