C overview.tex 1. Overview
I 1.0. IRREDSOL
C access.tex 2. Accessing the data library
S 2.1. Design of the group library
S 2.2. Low level access functions
F 2.2. IsAvailableIrreducibleSolvableGroupData
F 2.2. IndicesIrreducibleSolvableMatrixGroups
F 2.2. IrreducibleSolvableMatrixGroup
F 2.2. IsAvailableAbsolutelyIrreducibleSolvableGroupData
F 2.2. IndicesMaximalAbsolutelyIrreducibleSolvableMatrixGroups
F 2.2. IndicesAbsolutelyIrreducibleSolvableMatrixGroups
F 2.2. AbsolutelyIrreducibleSolvableMatrixGroup
S 2.3. Finding matrix groups with given properties
F 2.3. AllIrreducibleSolvableMatrixGroups
F 2.3. OneIrreducibleSolvableMatrixGroup
F 2.3. IteratorIrreducibleSolvableMatrixGroups
S 2.4. Loading and unloading group data manually
I 2.4. workspace!running out of
F 2.4. LoadAbsolutelyIrreducibleSolvableGroupData
F 2.4. LoadedAbsolutelyIrreducibleSolvableGroupData
F 2.4. UnloadAbsolutelydIrreducibleSolvableGroupData
C recognition.tex 3. Recognition of matrix groups
S 3.1. Identification of irreducible groups
F 3.1. IsAvailableIdIrreducibleSolvableMatrixGroup
F 3.1. IsAvailableIdAbsolutelyIrreducibleSolvableMatrixGroup
F 3.1. IdIrreducibleSolvableMatrixGroup
F 3.1. RecognitionIrreducibleSolvableMatrixGroup
F 3.1. RecognitionIrreducibleSolvableMatrixGroupNC
F 3.1. IdAbsolutelyIrreducibleSolvableMatrixGroup
F 3.1. RecognitionAbsolutelyIrreducibleSolvableMatrixGroup
F 3.1. RecognitionAbsolutelyIrreducibleSolvableMatrixGroupNC
S 3.2. Compatibility with other data libraries
F 3.2. IdIrreducibleSolvableMatrixGroupIndexMS
F 3.2. IndexMSIdIrreducibleSolvableMatrixGroup
S 3.3. Loading and unloading recognition data manually
I 3.3. workspace!running out of
F 3.3. LoadAbsolutelyIrreducibleSolvableGroupFingerprints
F 3.3. LoadedAbsolutelyIrreducibleSolvableGroupFingerprints
F 3.3. UnloadAbsolutelyIrreducibleSolvableGroupFingerprints
C matgroups.tex 4. Additional functionality for matrix groups
S 4.1. Basic attributes for matrix groups
F 4.1. DegreeOfMatrixGroup
F 4.1. Degree!for matrix groups
F 4.1. DimensionOfMatrixGroup
F 4.1. Dimension!for matrix groups
F 4.1. FieldOfMatrixGroup
F 4.1. DefaultFieldOfMatrixGroup
F 4.1. SplittingField
F 4.1. CharacteristicOfField
F 4.1. Characteristic!for matrix groups
F 4.1. RepresentationIsomorphism
S 4.2. Irreducibility and maximality of matrix groups
F 4.2. IsIrreducibleMatrixGroup
F 4.2. IsIrreducibleMatrixGroup
F 4.2. IsIrreducible!for matrix groups
F 4.2. IsAbsolutelyIrreducibleMatrixGroup
F 4.2. IsAbsolutelyIrreducible
F 4.2. IsMaximalAbsolutelyIrreducibleSolvableMatrixGroup
S 4.3. Primitivity of matrix groups
F 4.3. MinimalBlockDimensionOfMatrixGroup
F 4.3. MinimalBlockDimensionOfMatrixGroup
F 4.3. MinimalBlockDimension!for matrix groups
F 4.3. IsPrimitiveMatrixGroup
F 4.3. IsPrimitiveMatrixGroup
F 4.3. IsPrimitive!for matrix groups
F 4.3. IsLinearlyPrimitive
F 4.3. ImprimitivitySystems
S 4.4. Conjugating matrix groups into smaller fields
F 4.4. TraceField
F 4.4. ConjugatingMatTraceField
C primitive.tex 5. Primitive solvable groups
S 5.1. Translating between irreducible solvable matrix groups and primitive solvable groups
F 5.1. PrimitivePcGroupIrreducibleMatrixGroup
F 5.1. PrimitivePcGroupIrreducibleMatrixGroupNC
F 5.1. PrimitivePermutationGroupIrreducibleMatrixGroup
F 5.1. PrimitivePermutationGroupIrreducibleMatrixGroupNC
F 5.1. IrreducibleMatrixGroupPrimitiveSolvableGroup
F 5.1. IrreducibleMatrixGroupPrimitiveSolvableGroupNC
S 5.2. Finding primitive pc groups with given properties
F 5.2. AllPrimitivePcGroups
F 5.2. OnePrimitivePcGroup
F 5.2. IteratorPrimitivePcGroups
S 5.3. Finding primitive solvable permutation groups with given properties
F 5.3. AllPrimitiveSolvablePermutationGroups
F 5.3. OnePrimitiveSolvablePermutationGroup
F 5.3. IteratorPrimitivePermutationGroups
S 5.4. Recognizing primitive solvable groups
F 5.4. IdPrimitiveSolvableGroup
F 5.4. IdPrimitiveSolvableGroupNC