|
permlib
0.2.9
Library for permutation computations
|
BSGS construction from a known base and strong generating set. More...
#include <known_bsgs_construction.h>
Public Member Functions | |
| KnownBSGSConstruction (unsigned int n) | |
| constructor More... | |
| template<class ForwardIterator , class InputIterator > | |
| BSGS< PERM, TRANS > | construct (ForwardIterator generatorsBegin, ForwardIterator generatorsEnd, InputIterator knownBaseBegin, InputIterator knownBaseEnd) const |
| sets up a BSGS data structure for a known base and strong generating set More... | |
Public Member Functions inherited from permlib::BaseConstruction< PERM, TRANS > | |
| BaseConstruction (dom_int n) | |
| constructor More... | |
Additional Inherited Members | |
Protected Member Functions inherited from permlib::BaseConstruction< PERM, TRANS > | |
| template<class ForwardIterator , class InputIterator > | |
| void | setup (ForwardIterator generatorsBegin, ForwardIterator generatorsEnd, InputIterator prescribedBaseBegin, InputIterator prescribedBaseEnd, BSGS< PERM, TRANS > &bsgs, std::vector< std::list< typename PERM::ptr > > &S) const |
| initializes BSGS object More... | |
| void | mergeGenerators (std::vector< std::list< typename PERM::ptr > > &S, BSGS< PERM, TRANS > &ret) const |
| merges all strong generators in S into a single strong generating set ret.S | |
Protected Attributes inherited from permlib::BaseConstruction< PERM, TRANS > | |
| dom_int | m_n |
| cardinality of the set the group is acting on | |
Static Protected Attributes inherited from permlib::BaseConstruction< PERM, TRANS > | |
| static const unsigned long * | empty = static_cast<unsigned long*>(0) |
| auxilliary element marking an empty iterator | |
BSGS construction from a known base and strong generating set.
| permlib::KnownBSGSConstruction< PERM, TRANS >::KnownBSGSConstruction | ( | unsigned int | n | ) |
constructor
| n | cardinality of the set the group is acting on |
| BSGS< PERM, TRANS > permlib::KnownBSGSConstruction< PERM, TRANS >::construct | ( | ForwardIterator | generatorsBegin, |
| ForwardIterator | generatorsEnd, | ||
| InputIterator | knownBaseBegin, | ||
| InputIterator | knownBaseEnd | ||
| ) | const |
sets up a BSGS data structure for a known base and strong generating set
| generatorsBegin | begin iterator of strong generating set of type PERM |
| generatorsEnd | end iterator of strong generating set of type PERM |
| knownBaseBegin | begin iterator of known base of type unsigned long |
| knownBaseEnd | end iterator of known base of type unsigned long |