  
  [1X1 Introduction[0X
  
  
  [1X1.1 Philosophy[0X
  
  This  package is about group recognition. It provides a generic framework to
  implement  methods  of  group  recognition, regardless of what computational
  representation  is used. This means, that the code in this package is useful
  at  least  for  permutation groups, matrix groups, projective groups and for
  the context of black box groups. The setup is described in [NS06].
  
  The  framework allows to build composition trees and handles the builtup and
  usage  of  these trees in a generic way. It also contains a method selection
  (described  in  Chapter  [14X3[0m)  that  allows  install  recognition methods in a
  convenient  way  and that automatically tries to try the different available
  methods in a sensible order.
  
  
  [1X1.2 Overview over this manual[0X
  
  Chapter  [14X2[0m  describes  the installation of this package. Chapter [14X4[0m describes
  the  generic, recursive procedure used for group recognition throughout this
  package.   At   the   heart   of   this   procedure  is  the  definition  of
  "FindHomomorphism" methods, which is also described in that chapter. For the
  choice of the right method for finding a homomorphism (or an isomorphism) we
  use  another  generic  procedure,  the "method selection" which is not to be
  confused  with  the  [5XGAP[0m  method  selection.  Our  own  method  selection is
  described in detail in Chapter [14X3[0m, because it is interesting in its own right
  and  might  be  useful  in  other  circumstances.  Finally,  in Chapter [14X5[0m we
  describe, what one can do with a completed recognition tree.
  
