A high level interface for a permutation group.
More...
#include <abstract_permutation_group.h>
|
typedef std::list< std::set
< dom_int > > | OrbitList |
| typedef for a list of orbits, each of which is a set
|
|
|
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
|
|
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
|
|
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
|
|
virtual AbstractGroupType | type () const =0 |
| implementation type of this abstract class
|
|
|
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.
virtual bool permlib::AbstractPermutationGroup::isLexMinSet |
( |
const std::vector< dom_int > & |
setIndices, |
|
|
const std::vector< dom_int > & |
rankIndices |
|
) |
| const |
|
pure virtual |
checks whether a set is lexicographically minimal with respect to a given ordering of indices
- Parameters
-
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} |
- Returns
- true iff set is minimal with respect to given ordering
Implemented in permlib::AbstractBSGS< TRANS >, and permlib::AbstractSymmetricProduct.
virtual OrbitList* permlib::AbstractPermutationGroup::orbits |
( |
const std::vector< dom_int > & |
s | ) |
const |
|
pure virtual |
virtual AbstractPermutationGroup* permlib::AbstractPermutationGroup::setStabilizer |
( |
const std::vector< dom_int > & |
s | ) |
const |
|
pure virtual |
The documentation for this class was generated from the following file: