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

HNNExtensionRep Class Reference

#include <HNNExtension.h>

Inheritance diagram for HNNExtensionRep::

FGGroupRep GroupRep GenericRep PureRep RefCounter HNNExtOfFreeGroupRep List of all members.

Public Types

enum  NumberOfSubgroup { A, B }
enum  Pinch { UP, DOWN }

Public Methods

 HNNExtensionRep (const FPGroup &G)
Type actualType () const
const FPGroupgetFPGroup () const
virtual const FGGroupgetBasisGroup () const=0
Generator stableLetter () const
Trichotomy isTrivial () const
Trichotomy isFinite () const
Trichotomy isInfinite () const
Trichotomy isAbelian () const
virtual Trichotomy isFree () const=0
bool isSubgroupTrivial (const VectorOf< Word > &vec) const
bool isSubgroupAbelian (const VectorOf< Word > &vec) const
Trichotomy areEqual (const Elt &e1, const Elt &e2) const
Elt eval (const Word &w) const
int lengthOf (const Word &w) const
Word reducedFormOf (const Word &w) const
Word normalFormOf (const Word &w) const
Word cyclicallyReducedFormOf (const Word &w, Word conjugator) const
VectorOf<WorddecompositionOf (const Word &w) const
VectorOf<WordreducedDecompositionOf (const Word &w) const
VectorOf<WordnormalDecompositionOf (const Word &w) const
VectorOf<WordcyclicallyReducedDecompositionOf (const Word &w, Word &conjugator) const
Trichotomy wordProblem (const Word &w) const
virtual Trichotomy maximalRoot (const Word &w, Word &maxRoot, int &maxPower) const=0
void printOn (ostream &) const
void printDecomposition (ostream &ostr, const VectorOf< Word > &deco) const
void write (ostream &ostr) const
void read (istream &istr)

Static Public Methods

Type type ()
Word compose (const VectorOf< Word > &V)

Static Public Attributes

const Type theHNNExtensionType

Protected Methods

virtual Word mappingFromSubgroup (NumberOfSubgroup S, const Word &w) const=0
virtual Word getGeneratorOfSubgroup (const NumberOfSubgroup subgrp, int gen) const=0
virtual int getNumberOfGeneratorsInSubgroup (const NumberOfSubgroup subgrp) const=0
virtual bool subgroupContains (const NumberOfSubgroup subgrp, const Word &w) const=0
virtual Word rightRepresentative (const NumberOfSubgroup subgrp, const Word &w) const=0

Protected Attributes

FPGroup theFPGroup

Private Methods

int powerOfStableGen (int component, const VectorOf< Word > &deco) const
bool suspectPinch (int component, const VectorOf< Word > &decomposition) const
Pinch formPinch (int component, const VectorOf< Word > &deco) const

Member Enumeration Documentation

enum HNNExtensionRep::NumberOfSubgroup
 

Enumeration values:
A  
B  

Definition at line 76 of file HNNExtension.h.

enum HNNExtensionRep::Pinch
 

Enumeration values:
UP  
DOWN  

Definition at line 78 of file HNNExtension.h.


Constructor & Destructor Documentation

HNNExtensionRep::HNNExtensionRep ( const FPGroup & G )
 


Member Function Documentation

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

Returns unique object type.

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

Reimplemented from FGGroupRep.

Reimplemented in HNNExtOfFreeGroupRep.

Definition at line 64 of file HNNExtension.h.

Referenced by HNNExtOfFreeGroupRep::actualType().

Type HNNExtensionRep::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 FGGroupRep.

Reimplemented in HNNExtOfFreeGroupRep.

Definition at line 67 of file HNNExtension.h.

const FPGroup & HNNExtensionRep::getFPGroup ( ) const [inline]
 

Definition at line 86 of file HNNExtension.h.

virtual const FGGroup& HNNExtensionRep::getBasisGroup ( ) const [pure virtual]
 

Reimplemented in HNNExtOfFreeGroupRep.

Generator HNNExtensionRep::stableLetter ( ) const [inline]
 

Definition at line 90 of file HNNExtension.h.

Trichotomy HNNExtensionRep::isTrivial ( ) const [virtual]
 

Reimplemented from GroupRep.

Trichotomy HNNExtensionRep::isFinite ( ) const [virtual]
 

Reimplemented from GroupRep.

Trichotomy HNNExtensionRep::isInfinite ( ) const [virtual]
 

Reimplemented from GroupRep.

Trichotomy HNNExtensionRep::isAbelian ( ) const [virtual]
 

Reimplemented from GroupRep.

virtual Trichotomy HNNExtensionRep::isFree ( ) const [pure virtual]
 

Reimplemented in HNNExtOfFreeGroupRep.

bool HNNExtensionRep::isSubgroupTrivial ( const VectorOf< Word > & vec ) const
 

bool HNNExtensionRep::isSubgroupAbelian ( const VectorOf< Word > & vec ) const
 

Trichotomy HNNExtensionRep::areEqual ( const Elt & e1,
const Elt & e2 ) const [inline, virtual]
 

Reimplemented from GroupRep.

Definition at line 132 of file HNNExtension.h.

Elt HNNExtensionRep::eval ( const Word & w ) const [inline, virtual]
 

Reimplemented from FGGroupRep.

Definition at line 136 of file HNNExtension.h.

int HNNExtensionRep::lengthOf ( const Word & w ) const [inline]
 

Definition at line 139 of file HNNExtension.h.

Word HNNExtensionRep::reducedFormOf ( const Word & w ) const [inline]
 

Definition at line 142 of file HNNExtension.h.

Word HNNExtensionRep::normalFormOf ( const Word & w ) const [inline]
 

Definition at line 147 of file HNNExtension.h.

Referenced by eval().

Word HNNExtensionRep::cyclicallyReducedFormOf ( const Word & w,
Word conjugator ) const [inline]
 

Definition at line 152 of file HNNExtension.h.

VectorOf<Word> HNNExtensionRep::decompositionOf ( const Word & w ) const
 

Referenced by lengthOf().

VectorOf<Word> HNNExtensionRep::reducedDecompositionOf ( const Word & w ) const
 

Referenced by reducedFormOf().

VectorOf<Word> HNNExtensionRep::normalDecompositionOf ( const Word & w ) const
 

Referenced by normalFormOf().

VectorOf<Word> HNNExtensionRep::cyclicallyReducedDecompositionOf ( const Word & w,
Word & conjugator ) const
 

Referenced by cyclicallyReducedFormOf().

Word HNNExtensionRep::compose ( const VectorOf< Word > & V ) [static]
 

Trichotomy HNNExtensionRep::wordProblem ( const Word & w ) const [virtual]
 

Reimplemented from FGGroupRep.

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

Reimplemented in HNNExtOfFreeGroupRep.

void HNNExtensionRep::printOn ( ostream & ostr ) const [virtual]
 

Reimplemented from GroupRep.

void HNNExtensionRep::printDecomposition ( ostream & ostr,
const VectorOf< Word > & deco ) const [inline]
 

Definition at line 182 of file HNNExtension.h.

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

Reimplemented from FGGroupRep.

Reimplemented in HNNExtOfFreeGroupRep.

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

Reimplemented from FGGroupRep.

Reimplemented in HNNExtOfFreeGroupRep.

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

Reimplemented in HNNExtOfFreeGroupRep.

virtual Word HNNExtensionRep::getGeneratorOfSubgroup ( const NumberOfSubgroup S,
int gen ) const [protected, pure virtual]
 

Reimplemented in HNNExtOfFreeGroupRep.

virtual int HNNExtensionRep::getNumberOfGeneratorsInSubgroup ( const NumberOfSubgroup S ) const [protected, pure virtual]
 

Reimplemented in HNNExtOfFreeGroupRep.

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

Reimplemented in HNNExtOfFreeGroupRep.

virtual Word HNNExtensionRep::rightRepresentative ( const NumberOfSubgroup S,
const Word & w ) const [protected, pure virtual]
 

Reimplemented in HNNExtOfFreeGroupRep.

int HNNExtensionRep::powerOfStableGen ( int component,
const VectorOf< Word > & deco ) const [private]
 

bool HNNExtensionRep::suspectPinch ( int component,
const VectorOf< Word > & decomposition ) const [private]
 

Pinch HNNExtensionRep::formPinch ( int component,
const VectorOf< Word > & deco ) const [private]
 


Member Data Documentation

const Type HNNExtensionRep::theHNNExtensionType [static]
 

Definition at line 62 of file HNNExtension.h.

FPGroup HNNExtensionRep::theFPGroup [protected]
 

Definition at line 205 of file HNNExtension.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