Main Page   Class Hierarchy   Compound List   File List   Compound Members   File Members  

MagnusBreakdown Class Reference

#include <MagnusBreakdown.h>

List of all members.

Public Methods

 MagnusBreakdown (const OneRelatorGroup &G)
OneRelatorGroup getORGroup () const
HNNExtOfORGroup getHNNPresentation () const
int numberOfUsedGenerators () const
Generator stableGenerator () const
bool hasAccompGenerator () const
Generator accompGenerator () const
ListOf<GeneratorgetGeneratorsWithZeroExpSum () const
ListOf<GeneratorgetGeneratorsWithNonzeroExpSum () const
ListOf<GeneratorgetDefaultBreakdownGenerators () const
int getExponentSumOf (const Generator &g) const
Word rewriteWordInOldGenerators (const Word &w) const
Word rewriteWordInNewGenerators (const Word &w) const
Automorphism embeddingOfORGroups () const
Map toHNNPresentation () const
Map toORGroup () const
int numberOfOldGenerators () const
int numberOfNewGenerators () const
VectorOf<RangegetSubscriptsTable () const
Generator adjoinSubscript (const Generator &oldGen, int subscript) const
Generator extractSubscript (const Generator &newGen, int &subscript) const
Trichotomy hasHNNPresentation () const
bool findHNNPresentation ()
bool findHNNPresentation (const Generator &stableGen)
bool findHNNPresentation (const Generator &stableGen, const Generator &accompGen)
void printOn (ostream &ostr) const
MagnusBreakdown* readFrom (istream &istr) const
void debugPrint (ostream &ostr) const

Protected Methods

void makeHNNPresentation ()
bool chooseStableGenerator ()
void makeSubscriptsTable ()
void makeEmbedding ()
void makeTranslationTables ()

Protected Attributes

OneRelatorGroup theORGroup
int theNumberOfOldGenerators
VectorOf<int> exponentsOfOldGenerators
OneRelatorGroup theLargerORGroup
HNNExtOfORGroup theHNNPresentation
bool haveHNNPresentation
Automorphism theEmbeddingOfORGroups
Map mapToHNN
Map mapToORGroup
SuperGen stable
SuperGen accomp
Generator stableNewGen
int theNumberOfNewGenerators
VectorOf<int> toNewGens
VectorOf<int> toOldGens

Constructor & Destructor Documentation

MagnusBreakdown::MagnusBreakdown ( const OneRelatorGroup & G )

Member Function Documentation

OneRelatorGroup MagnusBreakdown::getORGroup ( ) const [inline]

Definition at line 67 of file MagnusBreakdown.h.

HNNExtOfORGroup MagnusBreakdown::getHNNPresentation ( ) const [inline]

Definition at line 201 of file MagnusBreakdown.h.

int MagnusBreakdown::numberOfUsedGenerators ( ) const [inline]

Definition at line 75 of file MagnusBreakdown.h.

Generator MagnusBreakdown::stableGenerator ( ) const [inline]

Definition at line 77 of file MagnusBreakdown.h.

bool MagnusBreakdown::hasAccompGenerator ( ) const [inline]

Definition at line 79 of file MagnusBreakdown.h.

Generator MagnusBreakdown::accompGenerator ( ) const [inline]

Definition at line 211 of file MagnusBreakdown.h.

ListOf< Generator > MagnusBreakdown::getGeneratorsWithZeroExpSum<Generator> ( ) const [inline]

Definition at line 85 of file MagnusBreakdown.h.

ListOf< Generator > MagnusBreakdown::getGeneratorsWithNonzeroExpSum<Generator> ( ) const [inline]

Definition at line 89 of file MagnusBreakdown.h.

ListOf<Generator> MagnusBreakdown::getDefaultBreakdownGenerators ( ) const

int MagnusBreakdown::getExponentSumOf ( const Generator & g ) const [inline]

Definition at line 95 of file MagnusBreakdown.h.

Word MagnusBreakdown::rewriteWordInOldGenerators ( const Word & w ) const

Word MagnusBreakdown::rewriteWordInNewGenerators ( const Word & w ) const

Automorphism MagnusBreakdown::embeddingOfORGroups ( ) const [inline]

Definition at line 103 of file MagnusBreakdown.h.

Map MagnusBreakdown::toHNNPresentation ( ) const [inline]

Definition at line 105 of file MagnusBreakdown.h.

Map MagnusBreakdown::toORGroup ( ) const [inline]

Definition at line 107 of file MagnusBreakdown.h.

int MagnusBreakdown::numberOfOldGenerators ( ) const [inline]

Definition at line 109 of file MagnusBreakdown.h.

int MagnusBreakdown::numberOfNewGenerators ( ) const [inline]

Definition at line 110 of file MagnusBreakdown.h.

VectorOf< Range > MagnusBreakdown::getSubscriptsTable<Range> ( ) const [inline]

Definition at line 112 of file MagnusBreakdown.h.

Generator MagnusBreakdown::adjoinSubscript ( const Generator & oldGen,
int subscript ) const

Generator MagnusBreakdown::extractSubscript ( const Generator & newGen,
int & subscript ) const

Trichotomy MagnusBreakdown::hasHNNPresentation ( ) const [inline]

Definition at line 124 of file MagnusBreakdown.h.

bool MagnusBreakdown::findHNNPresentation ( )

bool MagnusBreakdown::findHNNPresentation ( const Generator & stableGen )

bool MagnusBreakdown::findHNNPresentation ( const Generator & stableGen,
const Generator & accompGen )

void MagnusBreakdown::printOn ( ostream & ostr ) const

MagnusBreakdown* MagnusBreakdown::readFrom ( istream & istr ) const

void MagnusBreakdown::debugPrint ( ostream & ostr ) const

void MagnusBreakdown::makeHNNPresentation ( ) [protected]

bool MagnusBreakdown::chooseStableGenerator ( ) [protected]

void MagnusBreakdown::makeSubscriptsTable ( ) [protected]

void MagnusBreakdown::makeEmbedding ( ) [protected]

void MagnusBreakdown::makeTranslationTables ( ) [protected]

Member Data Documentation

OneRelatorGroup MagnusBreakdown::theORGroup [protected]

Definition at line 168 of file MagnusBreakdown.h.

int MagnusBreakdown::theNumberOfOldGenerators [protected]

Definition at line 169 of file MagnusBreakdown.h.

ListOf<Generator> MagnusBreakdown::theGeneratorsWithZeroExpSum [protected]

Definition at line 170 of file MagnusBreakdown.h.

ListOf<Generator> MagnusBreakdown::theGeneratorsWithNonzeroExpSum [protected]

Definition at line 171 of file MagnusBreakdown.h.

VectorOf<int> MagnusBreakdown::exponentsOfOldGenerators [protected]

Definition at line 172 of file MagnusBreakdown.h.

OneRelatorGroup MagnusBreakdown::theLargerORGroup [protected]

Definition at line 177 of file MagnusBreakdown.h.

HNNExtOfORGroup MagnusBreakdown::theHNNPresentation [protected]

Definition at line 178 of file MagnusBreakdown.h.

bool MagnusBreakdown::haveHNNPresentation [protected]

Definition at line 179 of file MagnusBreakdown.h.

Automorphism MagnusBreakdown::theEmbeddingOfORGroups [protected]

Definition at line 180 of file MagnusBreakdown.h.

Map MagnusBreakdown::mapToHNN [protected]

Definition at line 181 of file MagnusBreakdown.h.

Map MagnusBreakdown::mapToORGroup [protected]

Definition at line 182 of file MagnusBreakdown.h.

SuperGen MagnusBreakdown::stable [protected]

Definition at line 183 of file MagnusBreakdown.h.

SuperGen MagnusBreakdown::accomp [protected]

Definition at line 183 of file MagnusBreakdown.h.

Generator MagnusBreakdown::stableNewGen [protected]

Definition at line 184 of file MagnusBreakdown.h.

int MagnusBreakdown::theNumberOfNewGenerators [protected]

Definition at line 185 of file MagnusBreakdown.h.

VectorOf<Chars> MagnusBreakdown::theNamesOfNewGenerators [protected]

Definition at line 186 of file MagnusBreakdown.h.

VectorOf<Range> MagnusBreakdown::subscriptsOfGenerator [protected]

Definition at line 187 of file MagnusBreakdown.h.

VectorOf<int> MagnusBreakdown::toNewGens [protected]

Definition at line 188 of file MagnusBreakdown.h.

VectorOf<int> MagnusBreakdown::toOldGens [protected]

Definition at line 189 of file MagnusBreakdown.h.

The documentation for this class was generated from the following file:
Generated at Tue Jun 19 09:49:58 2001 for Magnus Classes by doxygen1.2.6 written by Dimitri van Heesch, © 1997-2001