  
  
                                    [1X recog [101X
  
  
   [1X A package for constructive recognition of permutation and matrix groups [101X
  
  
                                     1.5.1
  
  
                                  19 May 2026
  
  
                                 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;0Y© 2005-2026 by its authors, see file [11XCOPYRIGHT[111X for details.[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;0YOverview over this manual[133X
    1.2 [33X[0;0YFeedback and support[133X
    1.3 [33X[0;0YLiterature (selection)[133X
  2 [33X[0;0YInstallation of the [5Xrecog[105X package[133X
  3 [33X[0;0YRecog package for user[133X
    3.1 [33X[0;0YTheoretical background[133X
    3.2 [33X[0;0YFunctions[133X
      3.2-1 RecogniseGroup
      3.2-2 RecognisePermGroup
      3.2-3 RecogniseMatrixGroup
      3.2-4 RecogniseProjectiveGroup
    3.3 [33X[0;0YExamples[133X
    3.4 [33X[0;0YPossible applications[133X
      3.4-1 Size
      3.4-2 \in
      3.4-3 SLPforNiceGens
      3.4-4 DisplayCompositionFactors
  4 [33X[0;0YGroup recognition[133X
    4.1 [33X[0;0YThe recursive procedure[133X
      4.1-1 RecogniseGeneric
      4.1-2 TryFindHomMethod
    4.2 [33X[0;0YRecognition nodes[133X
      4.2-1 RecogNodeFamily
      4.2-2 IsRecogNode
      4.2-3 RecogNode
      4.2-4 IsLeaf
      4.2-5 IsReady
      4.2-6 Grp
      4.2-7 Homom
      4.2-8 NiceGens
      4.2-9 pregensfac
      4.2-10 ImageRecogNode
      4.2-11 KernelRecogNode
      4.2-12 ParentRecogNode
      4.2-13 fhmethsel
      4.2-14 slpforelement
      4.2-15 SLPforElement
      4.2-16 StdPresentation
      4.2-17 IsCorrect
      4.2-18 methodsforimage
      4.2-19 validatehomominput
      4.2-20 ValidateHomomInput
      4.2-21 calcnicegens
      4.2-22 CalcNiceGensGeneric
      4.2-23 CalcNiceGensHomNode
      4.2-24 CalcNiceGens
      4.2-25 slptonice
      4.2-26 CalcStdPresentation
      4.2-27 gensN
      4.2-28 findgensNmeth
      4.2-29 FindKernelRandom
      4.2-30 FindKernelDoNothing
      4.2-31 FindKernelFastNormalClosure
      4.2-32 gensNslp
      4.2-33 immediateverification
      4.2-34 isone
      4.2-35 isequal
      4.2-36 OrderFunc
      4.2-37 [33X[0;0YOther components of recognition nodes[133X
    4.3 [33X[0;0YMethods to find homomorphisms[133X
      4.3-1 FindHomomorphism
      4.3-2 SLPforElementGeneric
  5 [33X[0;0YMethod selection[133X
    5.1 [33X[0;0YWhat are methods?[133X
      5.1-1 IsRecogMethod
      5.1-2 RecogMethod
      5.1-3 BindRecogMethod
      5.1-4 Stamp
      5.1-5 Comment
      5.1-6 CallRecogMethod
    5.2 [33X[0;0YMethod Databases[133X
      5.2-1 AddMethod
      5.2-2 FindHomDbPerm
      5.2-3 FindHomDbMatrix
      5.2-4 FindHomDbProjective
    5.3 [33X[0;0YHint system[133X
      5.3-1 InitialDataForKernelRecogNode
    5.4 [33X[0;0YHow methods are called[133X
      5.4-1 CallMethods
    5.5 [33X[0;0YGlobal records storing functions[133X
      5.5-1 FindHomMethodsPerm
      5.5-2 FindHomMethodsMatrix
      5.5-3 FindHomMethodsProjective
      5.5-4 FindHomMethodsGeneric
      5.5-5 SLPforElementFuncsPerm
      5.5-6 SLPforElementFuncsMatrix
      5.5-7 SLPforElementFuncsProjective
      5.5-8 SLPforElementFuncsGeneric
  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[10XSnAnUnknownDegree[110X[133X
      6.1-4 [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[10XNameSporadic[110X[133X
      6.4-19 [33X[0;0Y[10XNotAbsolutelyIrred[110X[133X
      6.4-20 [33X[0;0Y[10XProjDeterminant[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
    6.5 [33X[0;0YUnused methods[133X
  7 [33X[0;0YMiscellaneous[133X
    7.1 [33X[0;0YNaming of groups[133X
      7.1-1 RecogniseClassical
      7.1-2 DisplayRecog
    7.2 [33X[0;0YRenaming of [5Xrecog[105X functions and operations[133X
  8 [33X[0;0YHow to write a recognition method[133X
    8.1 [33X[0;0YLeaf methods[133X
    8.2 [33X[0;0YElements with memory[133X
    8.3 [33X[0;0YSplitting methods[133X
  
  
  [32X
