<!-- $Id: manual.xml,v 1.14 2006/01/23 14:35:02 gap Exp $ -->
<?xml version="1.0" encoding="ISO-8859-1"?>


<!DOCTYPE Book SYSTEM "gapdoc.dtd"
[<!ENTITY Sophus "<Package>Sophus</Package>">] >

<Book Name="Sophus">

<TitlePage>
  <Title>&Sophus;</Title>
  <Subtitle>Computing in nilpotent Lie algebras</Subtitle>
  <Version>Version 1.23</Version>

  <Author>
  Csaba Schneider
  <Email>csaba.schneider@sztaki.hu</Email>
  <Homepage>http://www.sztaki.hu/~schneider</Homepage>
          <Address>
    	    Informatics Laboratory<Br/>
    	    Computer and Automation Research Institute<Br/>
	    The Hungarian Academy of Sciences<Br/>
    	    1111 Budapest, L\'agym\'anyosi u.\ 11.<Br/>
    	    Hungary
       </Address> 
  </Author>

  <Date>February 2006</Date>



<Abstract>
&Sophus; is a GAP~4 package to compute with nilpotent
Lie algebras over finite prime fields. In particular, the package can be
used to compute certain central extensions and the automorphism group
of such Lie algebras. &Sophus; also enables its user to test
isomorphism between two nilpotent Lie algebras. The author of the
package used it to construct all Lie algebras of dimension at most~9
over
<Math>\mathbb F_2</Math>
</Abstract>

<Copyright>
  &copyright; 2004, 2005 Csaba Schneider
</Copyright>
  
<Acknowledgements>
Most of the work on this package was carried out while I held a
research position at the Technische Universtit\"at Braunschweig. I
would like to express my gratitude to the staff and the students of
the Institut f\"ur Geometrie for their interest in this work. Special
thanks go to Bettina Eick for her r\^ole in completing this project.
</Acknowledgements>

</TitlePage>

<TableOfContents/>

<Body>

<#Include SYSTEM "intro.xml">
<#Include SYSTEM "example.xml">
<#Include SYSTEM "functions.xml">
</Body>
<Bibliography Databases="manual"/>

</Book>
