permlib  0.2.6
Library for permutation computations
 All Classes Functions Variables Typedefs Enumerations Friends
Public Types | Public Member Functions | Protected Member Functions
permlib::partition::VectorStabilizerSearch< BSGSIN, TRANSRET > Class Template Reference

subgroup search for a stabilizer of an integer vector based on partition backtracking More...

#include <vector_stabilizer_search.h>

Inheritance diagram for permlib::partition::VectorStabilizerSearch< BSGSIN, TRANSRET >:
permlib::partition::RBase< BSGSIN, TRANSRET > permlib::BaseSearch< BSGSIN, TRANSRET >

List of all members.

Public Types

typedef RBase< BSGSIN,
TRANSRET >::PERM 
PERM

Public Member Functions

 VectorStabilizerSearch (const BSGSIN &bsgs, unsigned int pruningLevelDCM)
 constructor
template<class InputIterator >
void construct (InputIterator begin, InputIterator end, unsigned int maxEntries)
 initializes search

Protected Member Functions

virtual unsigned int processNewFixPoints (const Partition &pi, unsigned int backtrackCount)
 callback when a new fix point appears during R-base construction

Detailed Description

template<class BSGSIN, class TRANSRET>
class permlib::partition::VectorStabilizerSearch< BSGSIN, TRANSRET >

subgroup search for a stabilizer of an integer vector based on partition backtracking


Constructor & Destructor Documentation

template<class BSGSIN , class TRANSRET >
permlib::partition::VectorStabilizerSearch< BSGSIN, TRANSRET >::VectorStabilizerSearch ( const BSGSIN &  bsgs,
unsigned int  pruningLevelDCM 
)

constructor

Parameters:
bsgsBSGS of group
pruningLevelDCMlevel up to which expensive double coset minimality pruning is performed; zero to disable

Member Function Documentation

template<class BSGSIN , class TRANSRET >
template<class InputIterator >
void permlib::partition::VectorStabilizerSearch< BSGSIN, TRANSRET >::construct ( InputIterator  begin,
InputIterator  end,
unsigned int  maxEntries 
)

initializes search

assume that integer vector has entries 0, 1, ..., maxEntries-1

Parameters:
beginiterator(unsigned long) begin of the integer vector to be stabilized
enditerator(unsigned long) end of the integer vector to be stabilized
maxEntriesvalue of maximal entry of integer vector plus 1

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