Implements a so-called restricted set of Whitehead automorphisms of a free group. More...

List of all members.

## Public Member Functions

Constructor. Generates a set of restricted Whitehead automorphisms.
const MapgetRandomAuto () const
Returns a random restricted Whitehead automorphism.
const SetOfMapsgetSet () const
Returns the set of restricted Whitehead automorphisms.

SetOfMaps theSet
int nGens

## Detailed Description

Implements a so-called restricted set of Whitehead automorphisms of a free group.

In general the Restricted set of Whitehead automorphisms contains automorphisms of the type:

where - generating set of the free group.

Definition at line 111 of file WhiteheadAutoSet.h.

## Constructor & Destructor Documentation

Constructor. Generates a set of restricted Whitehead automorphisms.

The set of restricted Whitehead automorphisms for a free group of rank n is generated.
Note, the whole set is generated by enumeration.

Parameters:
 n - rank of a free group. use_conj - if false the conjugation is excluded from the set. true is the default value.

Definition at line 133 of file WhiteheadAutoSet.h.

## Member Function Documentation

 const Map& RestrictedWhiteheadAutoSet::getRandomAuto ( ) const

Returns a random restricted Whitehead automorphism.

Returns:
restricted Whitehead automorphisms selected uniformly randomly form the set.
 const SetOfMaps& RestrictedWhiteheadAutoSet::getSet ( ) const [inline, virtual]

Returns the set of restricted Whitehead automorphisms.

Returns:
the set of restricted Whitehead automorphisms.

Implements AutoSet.

Definition at line 153 of file WhiteheadAutoSet.h.

References theSet.