  
  [1X1 Introduction[0X
  
  This  is  the manual for the [5XGAP[0m package [5XLieAlgDB[0m, for accessing and working
  with several classifications of Lie algebras.
  
  In  the  mathematical  literature  many  classifications  of Lie algebras of
  various  types  have  been published (we refer to the bibliography for a few
  examples).  However,  working  with  these classifications from paper is not
  always   easy.  This  package  aims  at  making  a  few  classifications  of
  small-dimensional  Lie  algebras  that  have  appeared  in recent years more
  accessible.  For  each  classification  that  is  contained  in the package,
  functions  are provided that construct Lie algebras from that classification
  inside  [5XGAP[0m.  This allows the user to obtain easy access to the often rather
  complicated  data  contained  in a classification, and to directly interface
  the  Lie  algebras  to  the  functionality for Lie algebras which is already
  contained in the system.
  
  The package contains the following classifications:
  
  --    non-solvable  Lie  algebras over finite fields up to dimension 6 (from
        [Str]);
  
  --    nilpotent  Lie  algebras of dimension up to 9 over [3XGF(2)[0m, of dimension
        up to 7 over [3XGF(3)[0m or [3XGF(5)[0m (from [Sch05]);
  
  --    simple  Lie  algebras  of  dimensions between 7 and 9 over [3XGF(2)[0m (from
        [Vau06]);
  
  --    the  classification  of  solvable  Lie algebras of dimension at most 4
        (from [dG05]);
  
  --    the  classification  of  nilpotent Lie algebras of dimension at most 5
        and  those  of  dimension  6  whose  underlying  field  does  not have
        characteristic 2 (from [dG07]).
  
  This   manual  is  structured  as  follows.  The  next  chapter  contains  a
  description of the main functions of the package. The third chapter contains
  descriptions of the classifications used in the package. These are of course
  also contained in published papers, but for the convenience of the user they
  have been added here.
  
