permlib 0.2.9
Library for permutation computations
Loading...
Searching...
No Matches
permlib::KnownBSGSConstruction< PERM, TRANS > Class Template Reference

BSGS construction from a known base and strong generating set. More...

#include <known_bsgs_construction.h>

Inheritance diagram for permlib::KnownBSGSConstruction< PERM, TRANS >:
permlib::BaseConstruction< PERM, TRANS >

Public Member Functions

 KnownBSGSConstruction (unsigned int n)
 constructor
 
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
 
- Public Member Functions inherited from permlib::BaseConstruction< PERM, TRANS >
 BaseConstruction (dom_int n)
 constructor
 

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
 
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
 

Detailed Description

template<class PERM, class TRANS>
class permlib::KnownBSGSConstruction< PERM, TRANS >

BSGS construction from a known base and strong generating set.

Constructor & Destructor Documentation

◆ KnownBSGSConstruction()

template<class PERM , class TRANS >
permlib::KnownBSGSConstruction< PERM, TRANS >::KnownBSGSConstruction ( unsigned int n)

constructor

Parameters
ncardinality of the set the group is acting on

Member Function Documentation

◆ construct()

template<class PERM , class TRANS >
template<class ForwardIterator , class InputIterator >
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

Parameters
generatorsBeginbegin iterator of strong generating set of type PERM
generatorsEndend iterator of strong generating set of type PERM
knownBaseBeginbegin iterator of known base of type unsigned long
knownBaseEndend iterator of known base of type unsigned long

The documentation for this class was generated from the following file: