permlib
0.2.9
Library for permutation computations
|
A high level interface for a permutation group. More...
#include <abstract_permutation_group.h>
Public Types | |
typedef std::list< std::set< dom_int > > | OrbitList |
typedef for a list of orbits, each of which is a set | |
Public Member Functions | |
virtual | ~AbstractPermutationGroup () |
destructor | |
template<typename Integer > | |
Integer | order () const |
order of the group | |
boost::uint64_t | order () const |
order of the group | |
virtual AbstractPermutationGroup * | setStabilizer (const std::vector< dom_int > &s) const =0 |
computes the stabilizer of a set More... | |
virtual OrbitList * | orbits () const =0 |
computes all orbits | |
virtual OrbitList * | orbits (const std::vector< dom_int > &s) const =0 |
computes all orbits which contain a given set of elements More... | |
virtual bool | isLexMinSet (const std::vector< dom_int > &setIndices, const std::vector< dom_int > &rankIndices) const =0 |
checks whether a set is lexicographically minimal with respect to a given ordering of indices More... | |
virtual AbstractGroupType | type () const =0 |
implementation type of this abstract class | |
Protected Member Functions | |
virtual void | transversalSizes (std::vector< unsigned long > &sizes) const =0 |
fills a list with sizes of transversals along a stabilizer chain | |
A high level interface for a permutation group.
|
pure virtual |
checks whether a set is lexicographically minimal with respect to a given ordering of indices
setIndices | indices of the set for which minimality has to checked |
rankIndices | list of indices; the order of these indices defines a partial order on {1..n} |
Implemented in permlib::AbstractBSGS< TRANS >, and permlib::AbstractSymmetricProduct.
|
pure virtual |
computes all orbits which contain a given set of elements
s | set of elements of which orbit has to be computed; vector must be sorted |
Implemented in permlib::AbstractBSGS< TRANS >, and permlib::AbstractSymmetricProduct.
|
pure virtual |
computes the stabilizer of a set
s | set to be stabilized |
Implemented in permlib::AbstractBSGS< TRANS >, and permlib::AbstractSymmetricProduct.