|
| Transversal (unsigned int n) |
| constructor More...
|
|
virtual | ~Transversal () |
| virtual destructor
|
|
virtual PERM * | at (unsigned long val) const =0 |
| returns a transversal element such that equals val
|
|
virtual bool | trivialByDefinition (const PERM &x, unsigned long to) const =0 |
| true if Schreier generator constructed from x and the transversal element related to "to" is trivial by defintion
|
|
virtual bool | contains (const unsigned long &val) const |
| true iff there exists a transversal element mapping to val
|
|
std::list< unsigned long >::const_iterator | begin () const |
| begin iterator of basic orbit
|
|
std::list< unsigned long >::const_iterator | end () const |
| end iterator of basic orbit
|
|
std::pair< std::list< unsigned long >::const_iterator, std::list< unsigned long >::const_iterator > | pairIt () const |
| pair of begin, end iterator
|
|
size_t | size () const |
| size of basic orbit / transversal
|
|
unsigned int | n () const |
| size of the set the group is working on
|
|
template<class InputIterator > |
void | sort (InputIterator Bbegin, InputIterator Bend) |
| sorts orbit according to order given by list of points More...
|
|
bool | sorted () const |
| true iff orbit is sorted
|
|
virtual void | orbit (unsigned long alpha, const std::list< typename PERM::ptr > &generators) |
| computes transversal based on orbit of under generators More...
|
|
virtual void | orbitUpdate (unsigned long alpha, const std::list< typename PERM::ptr > &generators, const typename PERM::ptr &g) |
| updates transversal based on orbit of under generators where g is a new generator More...
|
|
virtual void | permute (const PERM &g, const PERM &gInv) |
| updates transversal after group generators have been conjugated by g More...
|
|
virtual void | updateGenerators (const std::map< PERM *, typename PERM::ptr > &generatorChange) |
| updates transversal after group generators have been exchanged More...
|
|
virtual const unsigned long & | element () const |
| returns one element of the orbit
|
|
|
virtual void | registerMove (unsigned long from, unsigned long to, const typename PERM::ptr &p) |
| stores that 'p' maps 'from' onto 'to'
|
|
virtual bool | foundOrbitElement (const unsigned long &alpha, const unsigned long &alpha_p, const typename PERM::ptr &p) |
| callback when the orbit algorithm constructs an element alpha_p from alpha and p More...
|
|
void | orbit (const unsigned long &beta, const std::list< typename PERM::ptr > &generators, Action a, std::list< unsigned long > &orbitList) |
| computes orbit of beta under generators More...
|
|
void | orbitUpdate (const unsigned long &beta, const std::list< typename PERM::ptr > &generators, const typename PERM::ptr &g, Action a, std::list< unsigned long > &orbitList) |
| updates an existing orbit of beta after one element has been added More...
|
|
template<class PERM>
class permlib::Transversal< PERM >
Transversal base class corresponding to a base element
.