  
  
                              [1XGAP 4 Package [5Xrecog[0m[1X[0m
  
  
                           [1XGroup Recognition Methods[0m
  
  
                                      1.0
  
  
                                 November 2009
  
  
                                 Max Neunhöffer
  
                                  Ákos Seress
  
                                Peter Brooksbank
  
                                  Frank Celler
  
                                  Stephen Howe
  
                                   Maska Law
  
                                 Stephen Linton
  
                                  Gunter Malle
  
                                 Eamonn O'Brien
  
                               Colva Roney-Dougal
  
  
  
  Max Neunhöffer
      Email:    [7Xmailto:neunhoef@mcs.st-and.ac.uk[0m
      Homepage: [7Xhttp://www-groups.mcs.st-and.ac.uk/~neunhoef/[0m
      Address:  School  of Mathematics and Statistics, Mathematical Institute,
                North Haugh, St Andrews, Fife, KY16 9SS, Scotland, UK
  
  
  Ákos Seress
      Email:    [7Xmailto:akos@math.ohio-state.edu[0m
      Homepage: [7Xhttp://www.math.ohio-state.edu/people/display/display.php?ID=302[0m
      Address:  Department  of  Mathematics,  The Ohio State University, 231 W
                18th Avenue, Columbus, OH 43210 USA
  
  
  
  -------------------------------------------------------
  [1XCopyright[0m
  © 2005-2009 by Max Neunhöffer and Ákos Seress
  
  This  package  may  be distributed under the terms and conditions of the GNU
  Public License Version 3 or (at your option) any later version.
  
  
  -------------------------------------------------------
  
  
  [1XContents (recog)[0X
  
  1 Introduction
    1.1 Philosophy
    1.2 Overview over this manual
  2 Installation of the [5Xrecog[0m-Package
  3 Methods for recognition
    3.1 Methods for permutation groups
      3.1-1 [10XTrivialPermGroup[0m
      3.1-2 [10XThrowAwayFixedPoints[0m
      3.1-3 [10XPcgs[0m
      3.1-4 [10XVeryFewPoints[0m
      3.1-5 [10XNontransitive[0m
      3.1-6 [10XGiant[0m
      3.1-7 [10XImprimitive[0m
      3.1-8 [10XSnkSetswrSr[0m
      3.1-9 [10XStabChain[0m
    3.2 Methods for matrix groups
      3.2-1 [10XTrivialMatrixGroup[0m
      3.2-2 [10XDiagonalMatrices[0m
      3.2-3 [10XReducibleIso[0m
      3.2-4 [10XBlockLowerTriangular[0m
      3.2-5 [10XBlockDiagonal[0m
      3.2-6 [10XGoProjective[0m
      3.2-7 [10XBlockScalar[0m
      3.2-8 [10XLowerLeftPGroup[0m
    3.3 Methods for projective groups
      3.3-1 [10XTrivialProjectiveGroup[0m
      3.3-2 [10XProjDeterminant[0m
      3.3-3 [10XReducibleIso[0m
      3.3-4 [10XBlocksModScalars[0m
      3.3-5 [10XNotAbsolutelyIrred[0m
      3.3-6 [10XSubfield[0m
      3.3-7 [10XDerived[0m
      3.3-8 [10XLowIndex[0m
      3.3-9 [10XC6[0m
      3.3-10 [10XTensor[0m
      3.3-11 [10XTwoLargeElOrders[0m
      3.3-12 [10XStabilizerChain[0m
      3.3-13 [10XBlockScalarProj[0m
    3.4 Methods for black box groups
  4 Examples
  
  
  -------------------------------------------------------
