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

HNNExtOfFreeGroupRep Class Reference

#include <HNNExtOfFreeGroup.h>

Inheritance diagram for HNNExtOfFreeGroupRep::

HNNExtensionRep FGGroupRep GroupRep GenericRep PureRep RefCounter List of all members.

Public Methods

 HNNExtOfFreeGroupRep (const FreeGroup &F, const Chars &nameOfStableLetter, const SGofFreeGroup &subgroupA, const SGofFreeGroup &subgroupB)
PureRepclone () const
Type actualType () const
const FGGroupgetBasisGroup () const
virtual int order () const
Trichotomy isFree () const
Trichotomy isProperPower (const Word &w) const
Trichotomy maximalRoot (const Word &w, Word &maxRoot, int &maxPower) const
Trichotomy conjugacyProblem (const Word &w, const Word &u) const
Trichotomy conjugacyProblem (const Word &w, const Word &u, Word &conjugator) const
bool isProperPowerOfSecond (const Word &w, const Word &u, int &k) const
GroupRepreadFrom (istream &istr, Chars &errMesg) const
void write (ostream &ostr) const
void read (istream &istr)

Static Public Methods

Type type ()

Static Public Attributes

const Type theHNNExtOfFreeGroupType

Protected Methods

void makeSubgroupsMappings ()
void makeReducedCyclicPresentation () const
Word mappingFromSubgroup (const NumberOfSubgroup S, const Word &w) const
Trichotomy conjugacyProblem_reduced (const Word &u, const Word &v, Word &conjugator) const
Trichotomy conjugateInSubgroups (NumberOfSubgroup S, const Word &u, const Word &v, Word &conjugator, bool oneIteration) const
Trichotomy conjugacyProblem_case1 (const Word &u, const Word &v, Word &conjugator) const
Trichotomy conjugacyProblem_case2 (VectorOf< Word > &uDec, VectorOf< Word > &vDec, Word &conjugator) const
Word getGeneratorOfSubgroup (const NumberOfSubgroup S, const int gen) const
int getNumberOfGeneratorsInSubgroup (const NumberOfSubgroup S) const
bool subgroupContains (const NumberOfSubgroup S, const Word &w) const
Word rightRepresentative (const NumberOfSubgroup S, const Word &w) const

Protected Attributes

FreeGroup theBasisFreeGroup
VectorPtrOf<SGofFreeGrouptheSubgroups
VectorOf< VectorOf<Word> > mapNielsenGensToSubgroupGens
SpecialHNNExtOfFreeGroup reducedPresentation

Friends

class  MaximalRootProblem

Constructor & Destructor Documentation

HNNExtOfFreeGroupRep::HNNExtOfFreeGroupRep ( const FreeGroup & F,
const Chars & nameOfStableLetter,
const SGofFreeGroup & subgroupA,
const SGofFreeGroup & subgroupB )
 

Referenced by clone().


Member Function Documentation

PureRep * HNNExtOfFreeGroupRep::clone ( ) const [inline, virtual]
 

Returns a pointer to a copy of the GenericRep object.

Reimplemented from GenericRep.

Definition at line 60 of file HNNExtOfFreeGroup.h.

Type HNNExtOfFreeGroupRep::type ( ) [inline, static]
 

Returns unique object type.

Every representation class derived from this should carry a similarly defined type member

Reimplemented from HNNExtensionRep.

Definition at line 65 of file HNNExtOfFreeGroup.h.

Type HNNExtOfFreeGroupRep::actualType ( ) const [inline, virtual]
 

Returns objects type.

This member serves as the root of all type querying members in this type scheme every representation class derived from this should override this member similarly to return the actual type of the class

Reimplemented from HNNExtensionRep.

Definition at line 68 of file HNNExtOfFreeGroup.h.

const FGGroup & HNNExtOfFreeGroupRep::getBasisGroup ( ) const [inline, virtual]
 

Reimplemented from HNNExtensionRep.

Definition at line 77 of file HNNExtOfFreeGroup.h.

int HNNExtOfFreeGroupRep::order ( ) const [inline, virtual]
 

Reimplemented from GroupRep.

Definition at line 89 of file HNNExtOfFreeGroup.h.

Trichotomy HNNExtOfFreeGroupRep::isFree ( ) const [virtual]
 

Reimplemented from HNNExtensionRep.

Trichotomy HNNExtOfFreeGroupRep::isProperPower ( const Word & w ) const
 

Trichotomy HNNExtOfFreeGroupRep::maximalRoot ( const Word & w,
Word & maxRoot,
int & maxPower ) const [virtual]
 

Reimplemented from HNNExtensionRep.

Trichotomy HNNExtOfFreeGroupRep::conjugacyProblem ( const Word & w,
const Word & u ) const [inline, virtual]
 

Reimplemented from FGGroupRep.

Definition at line 125 of file HNNExtOfFreeGroup.h.

Trichotomy HNNExtOfFreeGroupRep::conjugacyProblem ( const Word & w,
const Word & u,
Word & conjugator ) const
 

bool HNNExtOfFreeGroupRep::isProperPowerOfSecond ( const Word & w,
const Word & u,
int & k ) const
 

GroupRep* HNNExtOfFreeGroupRep::readFrom ( istream & istr,
Chars & errMesg ) const [virtual]
 

Reimplemented from GroupRep.

void HNNExtOfFreeGroupRep::write ( ostream & ostr ) const [virtual]
 

Reimplemented from HNNExtensionRep.

void HNNExtOfFreeGroupRep::read ( istream & istr ) [virtual]
 

Reimplemented from HNNExtensionRep.

void HNNExtOfFreeGroupRep::makeSubgroupsMappings ( ) [protected]
 

void HNNExtOfFreeGroupRep::makeReducedCyclicPresentation ( ) const [protected]
 

Word HNNExtOfFreeGroupRep::mappingFromSubgroup ( const NumberOfSubgroup S,
const Word & w ) const [protected, virtual]
 

Reimplemented from HNNExtensionRep.

Trichotomy HNNExtOfFreeGroupRep::conjugacyProblem_reduced ( const Word & u,
const Word & v,
Word & conjugator ) const [protected]
 

Trichotomy HNNExtOfFreeGroupRep::conjugateInSubgroups ( NumberOfSubgroup S,
const Word & u,
const Word & v,
Word & conjugator,
bool oneIteration ) const [protected]
 

Trichotomy HNNExtOfFreeGroupRep::conjugacyProblem_case1 ( const Word & u,
const Word & v,
Word & conjugator ) const [protected]
 

Trichotomy HNNExtOfFreeGroupRep::conjugacyProblem_case2 ( VectorOf< Word > & uDec,
VectorOf< Word > & vDec,
Word & conjugator ) const [protected]
 

Word HNNExtOfFreeGroupRep::getGeneratorOfSubgroup ( const NumberOfSubgroup S,
const int gen ) const [inline, protected, virtual]
 

Reimplemented from HNNExtensionRep.

Definition at line 195 of file HNNExtOfFreeGroup.h.

int HNNExtOfFreeGroupRep::getNumberOfGeneratorsInSubgroup ( const NumberOfSubgroup S ) const [inline, protected, virtual]
 

Reimplemented from HNNExtensionRep.

Definition at line 199 of file HNNExtOfFreeGroup.h.

bool HNNExtOfFreeGroupRep::subgroupContains ( const NumberOfSubgroup S,
const Word & w ) const [inline, protected, virtual]
 

Reimplemented from HNNExtensionRep.

Definition at line 203 of file HNNExtOfFreeGroup.h.

Word HNNExtOfFreeGroupRep::rightRepresentative ( const NumberOfSubgroup S,
const Word & w ) const [inline, protected, virtual]
 

Reimplemented from HNNExtensionRep.

Definition at line 209 of file HNNExtOfFreeGroup.h.


Friends And Related Function Documentation

friend class MaximalRootProblem [friend]
 

Definition at line 290 of file HNNExtOfFreeGroup.h.


Member Data Documentation

const Type HNNExtOfFreeGroupRep::theHNNExtOfFreeGroupType [static]
 

Definition at line 63 of file HNNExtOfFreeGroup.h.

FreeGroup HNNExtOfFreeGroupRep::theBasisFreeGroup [protected]
 

Definition at line 294 of file HNNExtOfFreeGroup.h.

VectorPtrOf<SGofFreeGroup> HNNExtOfFreeGroupRep::theSubgroups [protected]
 

Definition at line 295 of file HNNExtOfFreeGroup.h.

VectorOf< VectorOf<Word> > HNNExtOfFreeGroupRep::mapNielsenGensToSubgroupGens [protected]
 

Definition at line 296 of file HNNExtOfFreeGroup.h.

SpecialHNNExtOfFreeGroup HNNExtOfFreeGroupRep::reducedPresentation [protected]
 

Definition at line 300 of file HNNExtOfFreeGroup.h.


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