permlib  0.2.8
Library for permutation computations
 All Classes Functions Variables Typedefs Enumerations Friends
Class Hierarchy
This inheritance list is sorted roughly, but not completely, alphabetically:
[detail level 1234]
oCpermlib::AbstractPermutationGroupA high level interface for a permutation group
|oCpermlib::AbstractBSGS< TRANS >A high level interface implementing a group represented by a BSGS data structure
|\Cpermlib::AbstractSymmetricProductA high level interface implementing a direct product of symmetric groups
oCpermlib::BaseChange< PERM, TRANS >Abstract base class for base change algorithms
|oCpermlib::ConjugatingBaseChange< PERM, TRANS, BASETRANSPOSE >Base change by conjugation and, if necessary, transpositions
|oCpermlib::NewBaseChange< PERM, TRANS >Base change by constructing a new base with random schreier sims
|\Cpermlib::SimpleBaseChange< PERM, TRANS, BASETRANSPOSE >Base change by a sequence of point insertions and transpositions
oCpermlib::BaseConstruction< PERM, TRANS >Base class for BSGS construction algorithms
|oCpermlib::KnownBSGSConstruction< PERM, TRANS >BSGS construction from a known base and strong generating set
|oCpermlib::RandomSchreierSimsConstruction< PERM, TRANS, Integer >BSGS construction with Random Schreier-Sims algorithm
|\Cpermlib::SchreierSimsConstruction< PERM, TRANS >BSGS construction with classic Schreier-Sims algorithm
oCpermlib::BaseConstruction< TRANS::PERMtype, TRANS >
|\Cpermlib::KnownBSGSConstruction< TRANS::PERMtype, TRANS >
oCpermlib::BaseSearch< BSGSIN, TRANSRET >Base class for searching in a group
|oCpermlib::classic::BacktrackSearch< BSGSIN, TRANSRET >Searching in a group with classical backtracking
|\Cpermlib::partition::RBase< BSGSIN, TRANSRET >R-base for partition backtracking
oCpermlib::BaseTranspose< PERM, TRANS >Abstract base class for base transposition
|oCpermlib::DeterministicBaseTranspose< PERM, TRANS >Implementation of a deterministic base transposition algorithm
|\Cpermlib::RandomBaseTranspose< PERM, TRANS >Implementation of a randomized base transposition algorithm
oCbinary_function
|oCpermlib::OrderedSorter< const std::vector< unsigned long > & >
|oCpermlib::OrderedSorter< std::vector< unsigned long > >
|oCpermlib::GroupSorter< PERM >A sorter that sorts a sequence of permutations with respect to a ordering induced by a base
|oCpermlib::OrderedSorter< ORDER >A sorter that sorts a sequence with respect to a given input ordering
|oCpermlib::StrongGeneratingSetSorter< PERM >Class that can be used to sort a strong generating set
|\Cpermlib::TrivialSorterA sorter that sorts a sequence in natural numerical order (1 < 2 < 3 < ...)
oCpermlib::BlockVectorAction< PERM >
oCpermlib::BSGSCore< PERM, TRANS >Core data of a base and strong generating set (BSGS)
|\Cpermlib::BSGS< PERM, TRANS >Represents a base and strong generating set (BSGS)
oCpermlib::BSGSCore< PERM, SymmetricGroupTransversal< PERM > >
|\Cpermlib::SymmetricGroup< PERM >Representation of a symmetric group
oCpermlib::exports::BSGSSchreierBaseBase class for import/export of a BSGS based on SchreierTreeTransversal
|oCpermlib::exports::BSGSSchreierExportExport of a BSGS based on SchreierTreeTransversal
|\Cpermlib::exports::BSGSSchreierImportImport of a BSGS based on SchreierTreeTransversal
oCpermlib::exports::BSGSSchreierDataData structure with elementary data types to represent a BSGS based on SchreierTreeTransversal
oCpermlib::delete_objectCallable object to delete a pointer
oCpermlib::DSetAction< PERM >Action of a permutation on a dynamic bitset
oCpermlib::Generator< PERM >Interface for group element generators
|oCpermlib::RandomGenerator< PERM >Abstract base class for random group element generators
|\Cpermlib::SchreierGenerator< PERM, TRANS >Stateful generator of Schreier generators
oCpermlib::Generator< TRANS::PERMtype >
|\Cpermlib::BSGSGenerator< TRANS >Stateful generator of BSGS elements
oCpermlib::GiantTestBase
|\Cpermlib::GiantTest< PERM >Tests a group given by generators for being an Alternating Group or a Symmetric Group
oCpermlib::GroupTypeAbstract base class for permutation group types
|oCpermlib::AnonymousGroupType< IntegerType >Group type for a permutation group whose type could not be determined
|oCpermlib::DirectProductGroupTypeGroup type for a direct product of two groups
|oCpermlib::NamedGroupTypeAbstract base class for named groups (such as cyclic and symmetric groups)
|oCpermlib::TrivialGroupTypeGroup type for a trivial permutation group
|\Cpermlib::WreathSymmetricGroupTypeGroup type for a wreath product of symmetric groups
oCpermlib::IdentityPredicate< PERM >Predicate matching a permutation if it stabilizes a given list of points pointwise
oCpermlib::Orbit< PERM, PDOMAIN >Abstract base class for orbit computation
|oCpermlib::OrbitList< PERM, PDOMAIN >Stores an orbit in a sorted list
|\Cpermlib::OrbitSet< PERM, PDOMAIN >Stores an orbit in a set for fast contains() operation
oCpermlib::Orbit< PERM, unsigned long >
|\Cpermlib::Transversal< PERM >Transversal base class corresponding to a base element $\alpha$
oCpermlib::OrbitLexMinSearch< BSGSIN >Algorithm to find the lexicographically minimal set in an orbit
oCpermlib::partition::PartitionPartition
oCpermlib::PermutationPermutation class storing all values explicitly
oCpermlib::PermutationWordPermutation class storing permutations as words of elementary Permutation 's
oCpermlib::PointwiseStabilizerPredicate< PERM >Predicate matching a permutation if it stabilizes a given list of points pointwise
oCpermlib::PrimeHelperHelper class for primality checks
oCpermlib::PrimitivitySGSTest< TRANS >Tests a transitive group for which a strong generating set is availble for primitivity
oCpermlib::PrimitivityTest< PERM >Tests a transitive group is availble for primitivity
oCpermlib::RedundantBasePointInsertionStrategy< PERM, TRANS >Strategy for redundant base point insertion
|oCpermlib::FirstRedundantBasePointInsertionStrategy< PERM, TRANS >Insertion position at first position i such that $G^{[i]}$ stabilizes beta
|\Cpermlib::TrivialRedundantBasePointInsertionStrategy< PERM, TRANS >Insertion position after first non-trivial transversal
oCpermlib::partition::Refinement< PERM >Base class for a $\mathcal P$-refinement which is used in an R-base and bound to an initial partition
|oCpermlib::partition::BacktrackRefinement< PERM >Backtrack refinement
|oCpermlib::partition::GroupRefinement< PERM, TRANS >Concrete $\mathcal P$-refinements for group membership
|oCpermlib::partition::MatrixRefinement1< PERM, MATRIX >Concrete $\mathcal P$-refinement for symmetric matrix automorphisms
|oCpermlib::partition::MatrixRefinement2< PERM, MATRIX >Concrete $\mathcal P$-refinement for symmetric matrix automorphisms
|oCpermlib::partition::SetImageRefinement< PERM >
|\Cpermlib::partition::SetStabilizeRefinement< PERM >Concrete $\mathcal P$-refinements for set stabilization
oCpermlib::partition::RefinementFamily< PERM >Class of $\mathcal P$-refinements for a given problem
|oCpermlib::partition::GroupRefinementFamily< PERM, TRANS >$\mathcal P$-refinements for group membership
|oCpermlib::partition::MatrixAutomorphismRefinementFamily< PERM, MATRIX >$\mathcal P$-refinements for symmetric matrix automorphisms
|oCpermlib::partition::SetImageRefinementFamily< PERM >$\mathcal P$-refinements for set stabilization
|\Cpermlib::partition::SetStabilizeRefinementFamily< PERM >$\mathcal P$-refinements for set stabilization
oCpermlib::StabilizesPointPredicate< PERM >Predicate matching points that are stabilized by given permutations
oCpermlib::SubgroupPredicate< PERM >Abstract base class for subgroup (and coset) predicates
|oCpermlib::GroupIntersectionPredicate< PERM, TRANS >Predicate for the subgroup that arises as the intersection of two given groups
|oCpermlib::LexSmallerImagePredicate< PERM >Coset-type predicate for group elements that map one set of zeros and ones to a lex-smaller set (w.r.t. to the indices)
|oCpermlib::MatrixAutomorphismPredicate< PERM, MATRIX >Predicate for the automorphisms of a symmetric matrix
|oCpermlib::SetImagePredicate< PERM >Coset-type predicate for group elements that map one set of points onto another given set of points
|oCpermlib::SetwiseStabilizerPredicate< PERM >Predicate for the subgroup that stabilizes a given point set
|\Cpermlib::VectorStabilizerPredicate< PERM >Predicate for the subgroup that stabilizes a given integer vector
oCpermlib::helpers::SupportRestrictionHelper class to decide when an permutation action on a set is trivial or can be reduced to a subset
|\Cpermlib::helpers::BaseSupportRestrictionThis class never imposes a restriction on any set
oCpermlib::SymmetricGroupRecognitionHeuristic< PERM >Fast recognition of symmetric group subgroups
oCpermlib::SymmetricGroupTransversal< PERM >Transversal of a symmetric group
oCpermlib::Transversal< PERM >::TrivialActionAction of a PERM on unsigned long element
\Cpermlib::TypeRecognition< PERM, TRANSVERSAL >Class for a basic type recognition of permutation groups