Implements the set of Whitehead automorphisms of type II. More...
#include <WhiteheadAutoSet.h>
Public Member Functions | |
WhiteheadAutoSetType2 (int n) | |
Constructor. Generates the set of Whitehead automorphisms of type II. | |
~WhiteheadAutoSetType2 () | |
const SetOfMaps & | getSet () const |
Returns a random Whitehead automorphism. | |
const Map & | getRandomAuto () const |
Returns the set of Whitehead automorphisms. | |
Private Member Functions | |
Map | getMap (int n, const vector< int > &tCounts, Word a) |
void | computeSet (int n) |
Private Attributes | |
SetOfMaps | theSet |
int | nGens |
Static Private Attributes | |
static const int | nElemAutos = 4 |
Implements the set of Whitehead automorphisms of type II.
Whitehead automorphisms of the type II are the Whitehead automorphisms which may alter the length of an input word. Basically it is all the Whitehead automorphisms excluding permutations of the generators.
Definition at line 169 of file WhiteheadAutoSet.h.
WhiteheadAutoSetType2::WhiteheadAutoSetType2 | ( | int | n | ) |
Constructor. Generates the set of Whitehead automorphisms of type II.
The set of Whitehead automorphisms for a free group of rank n
is generated.
Note, the whole set is generated by enumeration. automorphisms. This is a brute force approach and inapplicable for groups with large ranks.
n | - rank of a free group. |
WhiteheadAutoSetType2::~WhiteheadAutoSetType2 | ( | ) |
void WhiteheadAutoSetType2::computeSet | ( | int | n | ) | [private] |
const Map& WhiteheadAutoSetType2::getRandomAuto | ( | ) | const |
Returns the set of Whitehead automorphisms.
const SetOfMaps& WhiteheadAutoSetType2::getSet | ( | ) | const [inline, virtual] |
Returns a random Whitehead automorphism.
Implements AutoSet.
Definition at line 204 of file WhiteheadAutoSet.h.
References theSet.
const int WhiteheadAutoSetType2::nElemAutos = 4 [static, private] |
Definition at line 222 of file WhiteheadAutoSet.h.
int WhiteheadAutoSetType2::nGens [private] |
Definition at line 225 of file WhiteheadAutoSet.h.
SetOfMaps WhiteheadAutoSetType2::theSet [private] |
Definition at line 224 of file WhiteheadAutoSet.h.
Referenced by getSet().