  
  
                                    [1X recog [101X
  
  
   [1X A package for constructive recognition of permutation and matrix groups [101X
  
  
                                    1.3.2dev
  
  
                                  9 July 2019
  
  
                                 Max Neunhöffer
  
                                  Ákos Seress
  
  
  
  Max Neunhöffer
      Email:    [7Xmailto:max@9hoeffer.de[107X
  
  -------------------------------------------------------
  [1XCopyright[101X
  [33X[0;0Y© 2005-2014 by Max Neunhöffer and Ákos Seress[133X
  
  [33X[0;0YThis  package  may  be distributed under the terms and conditions of the GNU
  Public License Version 3 or (at your option) any later version.[133X
  
  
  -------------------------------------------------------
  
  
  [1XContents (recog)[101X
  
  1 [33X[0;0YIntroduction[133X
    1.1 [33X[0;0YPhilosophy[133X
    1.2 [33X[0;0YOverview over this manual[133X
    1.3 [33X[0;0YFeedback and support[133X
    1.4 [33X[0;0YLiterature (temporary)[133X
  2 [33X[0;0YInstallation of the [5Xrecog[105X package[133X
  3 [33X[0;0YGroup recognition[133X
    3.1 [33X[0;0YThe recursive procedure[133X
      3.1-1 RecogniseGeneric
      3.1-2 RecognisePermGroup
      3.1-3 RecogniseMatrixGroup
      3.1-4 RecogniseProjectiveGroup
      3.1-5 RecogniseGroup
      3.1-6 FindHomDbPerm
      3.1-7 FindHomMethodsPerm
      3.1-8 SLPforElementFuncsPerm
      3.1-9 FindHomDbMatrix
      3.1-10 FindHomMethodsMatrix
      3.1-11 SLPforElementFuncsMatrix
      3.1-12 FindHomDbProjective
      3.1-13 FindHomMethodsProjective
      3.1-14 SLPforElementFuncsProjective
      3.1-15 FindHomMethodsGeneric
      3.1-16 SLPforElementFuncsGeneric
      3.1-17 TryFindHomMethod
    3.2 [33X[0;0YRecognition info records[133X
      3.2-1 RecognitionInfoFamily
      3.2-2 IsRecognitionInfo
      3.2-3 IsLeaf
      3.2-4 IsReady
      3.2-5 Grp
      3.2-6 Homom
      3.2-7 NiceGens
      3.2-8 pregensfac
      3.2-9 RIFac
      3.2-10 RIKer
      3.2-11 RIParent
      3.2-12 fhmethsel
      3.2-13 slpforelement
      3.2-14 SLPforElement
      3.2-15 StdPresentation
      3.2-16 methodsforfactor
      3.2-17 validatehomominput
      3.2-18 ValidateHomomInput
      3.2-19 calcnicegens
      3.2-20 CalcNiceGensGeneric
      3.2-21 CalcNiceGensHomNode
      3.2-22 CalcNiceGens
      3.2-23 slptonice
      3.2-24 gensN
      3.2-25 findgensNmeth
      3.2-26 FindKernelRandom
      3.2-27 FindKernelDoNothing
      3.2-28 FindKernelFastNormalClosure
      3.2-29 gensNslp
      3.2-30 immediateverification
      3.2-31 forkernel
      3.2-32 forfactor
      3.2-33 isone
      3.2-34 isequal
      3.2-35 order
      3.2-36 [33X[0;0YOther components of recognition info records[133X
    3.3 [33X[0;0YMethods to find homomorphisms[133X
      3.3-1 FindHomomorphism
      3.3-2 SLPforElementGeneric
    3.4 [33X[0;0YConventions for the recognition of permutation groups[133X
    3.5 [33X[0;0YConventions for the recognition of matrix groups[133X
    3.6 [33X[0;0YConventions for the recognition of projective groups[133X
  4 [33X[0;0YMethod selection[133X
    4.1 [33X[0;0YWhat are methods?[133X
      4.1-1 AddMethod
    4.2 [33X[0;0YHow methods are called[133X
      4.2-1 CallMethods
  5 [33X[0;0YAfter successful recognition[133X
    5.1 [33X[0;0YFunctions and methods for recognition info records[133X
      5.1-1 SLPforNiceGens
      5.1-2 \in
      5.1-3 Size
      5.1-4 DisplayCompositionFactors
  6 [33X[0;0YMethods for recognition[133X
    6.1 [33X[0;0YMethods for generic groups[133X
      6.1-1 [33X[0;0Y[10XFewGensAbelian[110X[133X
      6.1-2 [33X[0;0Y[10XKnownNilpotent[110X[133X
      6.1-3 [33X[0;0Y[10XTrivialGroup[110X[133X
    6.2 [33X[0;0YMethods for permutation groups[133X
      6.2-1 [33X[0;0Y[10XBalTreeForBlocks[110X[133X
      6.2-2 [33X[0;0Y[10XGiant[110X[133X
      6.2-3 [33X[0;0Y[10XImprimitive[110X[133X
      6.2-4 [33X[0;0Y[10XLargeBasePrimitive[110X[133X
      6.2-5 [33X[0;0Y[10XMovesOnlySmallPoints[110X[133X
      6.2-6 [33X[0;0Y[10XNonTransitive[110X[133X
      6.2-7 [33X[0;0Y[10XPcgs[110X[133X
      6.2-8 [33X[0;0Y[10XPcgsForBlocks[110X[133X
      6.2-9 [33X[0;0Y[10XStabChain[110X[133X
      6.2-10 [33X[0;0Y[10XStabilizerChainPerm[110X[133X
      6.2-11 [33X[0;0Y[10XThrowAwayFixedPoints[110X[133X
    6.3 [33X[0;0YMethods for matrix groups[133X
      6.3-1 [33X[0;0Y[10XBlockDiagonal[110X[133X
      6.3-2 [33X[0;0Y[10XBlockLowerTriangular[110X[133X
      6.3-3 [33X[0;0Y[10XBlockScalar[110X[133X
      6.3-4 [33X[0;0Y[10XDiagonalMatrices[110X[133X
      6.3-5 [33X[0;0Y[10XGoProjective[110X[133X
      6.3-6 [33X[0;0Y[10XKnownStabilizerChain[110X[133X
      6.3-7 [33X[0;0Y[10XLowerLeftPGroup[110X[133X
      6.3-8 [33X[0;0Y[10XNaturalSL[110X[133X
      6.3-9 [33X[0;0Y[10XReducibleIso[110X[133X
      6.3-10 [33X[0;0Y[10XScalar[110X[133X
    6.4 [33X[0;0YMethods for projective groups[133X
      6.4-1 [33X[0;0Y[10XAltSymBBByDegree[110X[133X
      6.4-2 [33X[0;0Y[10XBiggerScalarsOnly[110X[133X
      6.4-3 [33X[0;0Y[10XBlockScalarProj[110X[133X
      6.4-4 [33X[0;0Y[10XBlocks[110X[133X
      6.4-5 [33X[0;0Y[10XBlocksBackToMats[110X[133X
      6.4-6 [33X[0;0Y[10XBlocksModScalars[110X[133X
      6.4-7 [33X[0;0Y[10XC3C5[110X[133X
      6.4-8 [33X[0;0Y[10XC6[110X[133X
      6.4-9 [33X[0;0Y[10XClassicalNatural[110X[133X
      6.4-10 [33X[0;0Y[10XComputeSimpleSocle[110X[133X
      6.4-11 [33X[0;0Y[10XD247[110X[133X
      6.4-12 [33X[0;0Y[10XDoBaseChangeForBlocks[110X[133X
      6.4-13 [33X[0;0Y[10XFindElmOfEvenNormal[110X[133X
      6.4-14 [33X[0;0Y[10XKroneckerKernel[110X[133X
      6.4-15 [33X[0;0Y[10XKroneckerProduct[110X[133X
      6.4-16 [33X[0;0Y[10XLieTypeNonConstr[110X[133X
      6.4-17 [33X[0;0Y[10XLowIndex[110X[133X
      6.4-18 [33X[0;0Y[10XNotAbsolutelyIrred[110X[133X
      6.4-19 [33X[0;0Y[10XProjDeterminant[110X[133X
      6.4-20 [33X[0;0Y[10XPrototypeForC2C4[110X[133X
      6.4-21 [33X[0;0Y[10XSporadicsByOrders[110X[133X
      6.4-22 [33X[0;0Y[10XStabilizerChainProj[110X[133X
      6.4-23 [33X[0;0Y[10XSubfield[110X[133X
      6.4-24 [33X[0;0Y[10XTensorDecomposable[110X[133X
      6.4-25 [33X[0;0Y[10XThreeLargeElOrders[110X[133X
  7 [33X[0;0YExamples[133X
  
  
  [32X
