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

DecomposeInExpandingSubgroup Class Reference

#include <DecomposeInSubgroup.h>

Inheritance diagram for DecomposeInExpandingSubgroup::

DecomposeInSubgroupOfFreeGroup DecomposeInSubgroupOfFPGroup List of all members.

Public Methods

 DecomposeInExpandingSubgroup (int ambientRank, const VectorOf< Word > &constantSubgroup, const VectorOf< Word > &expandingSubgroup)
DecomposeInSubgroupOfFreeGroupclone () const
VectorOf<WordconstantGenerators () const
VectorOf<WordexpandingGenerators () const
VectorOf<GeneratorexpandingConjugators () const
void expandSubgroupByConjugation (const Generator &conjugator)
void expressAsConjugateOfOriginalGenerator (const Generator &g, Generator &og, Word &conjugator) const
ProductOfRelatorConjugates fullDecomposition (const Word &w) const
Trichotomy checkDecomposition (const Word &w) const
bool readPiece (istream &istr, const class Timer &timer)

Protected Methods

virtual void write (ostream &ostr) const

Private Types

enum  ReadingState2 {
  STOP, BASECLASS, CONSTGRAPH, EXPANDGRAPH,
  CONSTGENS, EXPANDGENS, READNC, READNCINOLD,
  READNE0INOLD
}

Private Methods

VectorOf<WordshiftGenerators (const VectorOf< Word > &v, int shift)

Private Attributes

SubgroupGraph theConstantGraph
SubgroupGraph theExpandingGraph
VectorOf<WordtheConstantGenerators
VectorOf<WordtheExpandingGenerators
int theNumberOfExpandedGenerators
VectorOf<GeneratortheExpandingConjugators
VectorOf<WordNc
VectorOf<WordNcInOld
VectorOf<WordNe0InOld
ReadingState2 readState2

Member Enumeration Documentation

enum DecomposeInExpandingSubgroup::ReadingState2 [private]
 

Enumeration values:
STOP  
BASECLASS  
CONSTGRAPH  
EXPANDGRAPH  
CONSTGENS  
EXPANDGENS  
READNC  
READNCINOLD  
READNE0INOLD  

Definition at line 196 of file DecomposeInSubgroup.h.


Constructor & Destructor Documentation

DecomposeInExpandingSubgroup::DecomposeInExpandingSubgroup ( int ambientRank,
const VectorOf< Word > & constantSubgroup,
const VectorOf< Word > & expandingSubgroup )
 

Referenced by clone().


Member Function Documentation

DecomposeInSubgroupOfFreeGroup * DecomposeInExpandingSubgroup::clone ( ) const [inline, virtual]
 

Reimplemented from DecomposeInSubgroupOfFreeGroup.

Reimplemented in DecomposeInSubgroupOfFPGroup.

Definition at line 140 of file DecomposeInSubgroup.h.

VectorOf< Word > DecomposeInExpandingSubgroup::constantGenerators<Word> ( ) const [inline]
 

Definition at line 145 of file DecomposeInSubgroup.h.

VectorOf< Word > DecomposeInExpandingSubgroup::expandingGenerators<Word> ( ) const [inline]
 

Definition at line 148 of file DecomposeInSubgroup.h.

VectorOf< Generator > DecomposeInExpandingSubgroup::expandingConjugators<Generator> ( ) const [inline]
 

Definition at line 151 of file DecomposeInSubgroup.h.

void DecomposeInExpandingSubgroup::expandSubgroupByConjugation ( const Generator & conjugator )
 

void DecomposeInExpandingSubgroup::expressAsConjugateOfOriginalGenerator ( const Generator & g,
Generator & og,
Word & conjugator ) const
 

ProductOfRelatorConjugates DecomposeInExpandingSubgroup::fullDecomposition ( const Word & w ) const
 

Trichotomy DecomposeInExpandingSubgroup::checkDecomposition ( const Word & w ) const
 

Reimplemented from DecomposeInSubgroupOfFreeGroup.

bool DecomposeInExpandingSubgroup::readPiece ( istream & istr,
const class Timer & timer ) [virtual]
 

Reimplemented from DecomposeInSubgroupOfFreeGroup.

Reimplemented in DecomposeInSubgroupOfFPGroup.

VectorOf<Word> DecomposeInExpandingSubgroup::shiftGenerators ( const VectorOf< Word > & v,
int shift ) [private]
 

virtual void DecomposeInExpandingSubgroup::write ( ostream & ostr ) const [protected, virtual]
 

Reimplemented from DecomposeInSubgroupOfFreeGroup.

Reimplemented in DecomposeInSubgroupOfFPGroup.


Member Data Documentation

SubgroupGraph DecomposeInExpandingSubgroup::theConstantGraph [private]
 

Definition at line 180 of file DecomposeInSubgroup.h.

SubgroupGraph DecomposeInExpandingSubgroup::theExpandingGraph [private]
 

Definition at line 181 of file DecomposeInSubgroup.h.

VectorOf<Word> DecomposeInExpandingSubgroup::theConstantGenerators [private]
 

Definition at line 183 of file DecomposeInSubgroup.h.

VectorOf<Word> DecomposeInExpandingSubgroup::theExpandingGenerators [private]
 

Definition at line 184 of file DecomposeInSubgroup.h.

int DecomposeInExpandingSubgroup::theNumberOfExpandedGenerators [private]
 

Definition at line 187 of file DecomposeInSubgroup.h.

VectorOf<Generator> DecomposeInExpandingSubgroup::theExpandingConjugators [private]
 

Definition at line 188 of file DecomposeInSubgroup.h.

VectorOf<Word> DecomposeInExpandingSubgroup::Nc [private]
 

Definition at line 189 of file DecomposeInSubgroup.h.

VectorOf<Word> DecomposeInExpandingSubgroup::NcInOld [private]
 

Definition at line 189 of file DecomposeInSubgroup.h.

VectorOf<Word> DecomposeInExpandingSubgroup::Ne0InOld [private]
 

Definition at line 189 of file DecomposeInSubgroup.h.

ReadingState2 DecomposeInExpandingSubgroup::readState2 [private]
 

Definition at line 200 of file DecomposeInSubgroup.h.


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