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

base change by conjugation and, if necessary, transpositions More...

#include <conjugating_base_change.h>

Inheritance diagram for permlib::ConjugatingBaseChange< PERM, TRANS, BASETRANSPOSE >:
permlib::BaseChange< PERM, TRANS >

Public Member Functions

 ConjugatingBaseChange (const BSGSCore< PERM, TRANS > &)
 constructor
template<class InputIterator>
unsigned int change (BSGS< PERM, TRANS > &bsgs, InputIterator baseBegin, InputIterator baseEnd, bool skipRedundant=false) const
 changes base of bsgs so that it starts with the sequence given by baseBegin to baseEnd
template<class InputIterator>
unsigned int change (SymmetricGroup< PERM > &bsgs, InputIterator baseBegin, InputIterator baseEnd, bool skipRedundant=false) const
 changes base of symmetric group so that it starts with the sequence given by baseBegin to baseEnd
Public Member Functions inherited from permlib::BaseChange< PERM, TRANS >
 BaseChange ()
 constructor

Additional Inherited Members

Public Attributes inherited from permlib::BaseChange< PERM, TRANS >
unsigned int m_statTranspositions
 nuber of base transpositions needed since construction
unsigned int m_statScheierGeneratorsConsidered
 nuber of Schreier generators considered in transposition since construction
Protected Member Functions inherited from permlib::BaseChange< PERM, TRANS >
bool isRedundant (const BSGSCore< PERM, TRANS > &bsgs, unsigned int baseTargetPos, unsigned long alpha) const
 checks if insertion of a base point at given position is redundant

Detailed Description

template<class PERM, class TRANS, class BASETRANSPOSE>
class permlib::ConjugatingBaseChange< PERM, TRANS, BASETRANSPOSE >

base change by conjugation and, if necessary, transpositions

Member Function Documentation

◆ change()

template<class PERM, class TRANS, class BASETRANSPOSE>
template<class InputIterator>
unsigned int permlib::ConjugatingBaseChange< PERM, TRANS, BASETRANSPOSE >::change ( BSGS< PERM, TRANS > & bsgs,
InputIterator baseBegin,
InputIterator baseEnd,
bool skipRedundant = false ) const

changes base of bsgs so that it starts with the sequence given by baseBegin to baseEnd

true iff we multiply c with another permutation (and thus c is no longer with absolute certainty the identity)


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