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

SubgroupGraph Class Reference

#include <SubgroupGraph.h>

Inheritance diagram for SubgroupGraph::

ObjectOf List of all members.

Public Types

typedef SubgroupGraphRep::VertexType VertexType
typedef SubgroupGraphRep::LabelType LabelType

Public Methods

 SubgroupGraph (int ambientRank, const SetOf< Word > &S)
 SubgroupGraph (int ambientRank, const VectorOf< Word > &V)
int rank () const
VectorOf<Wordnormalizer ()
VectorOf<WordnielsenBasis () const
Word nielsenWord (int i) const
Word inNielsenWords (const Word &w) const
SubgroupGraph join (const SubgroupGraph &SG) const
SubgroupGraph intersection (const SubgroupGraph &SG) const
Bool contains (const Word &w) const
Bool contains (const SetOf< Word > &S) const
Bool contains (const VectorOf< Word > &V) const
Bool contains (SubgroupGraph &SG) const
Bool equalTo (const SetOf< Word > &S)
Bool equalTo (SubgroupGraph &SG)
Bool conjugateInSubgroup (const Word &w, Word &conjugator) const
Bool conjugateInSubgroup (const SetOf< Word > &S, Word &conjugator)
bool conjugateTo (const SetOf< Word > &S)
long powerInSubgroup (const Word &w) const
int findIndex ()
VectorOf<WordfindWhiteheadBasis ()
Bool isAFreeFactor ()
Bool generatesTheFreeGroup () const
Word rightSchreierRepresentative (const Word &w)
SubgroupGraph MHallCompletion () const
void MHallComplete ()
void joinConjugate (Generator g)
float completeness () const
Bool isComplete () const
VertexType vertexCount () const
VertexType targetOfGenerator (VertexType source, int generator) const
VertexType targetOfLabel (VertexType source, LabelType label) const
long getValence () const
LabelType inverseLabel (LabelType label) const
int labelToGenerator (LabelType label) const
LabelType generatorToLabel (int g) const
bool readPiece (istream &istr, const class Timer &timer)

Protected Methods

 SubgroupGraph (SubgroupGraphRep *SGRp)

Friends

ostream& operator< (ostream &ostr, const SubgroupGraph &g)
istream& operator> (istream &istr, SubgroupGraph &g)

Member Typedef Documentation

typedef SubgroupGraphRep::VertexType SubgroupGraph::VertexType
 

Definition at line 52 of file SubgroupGraph.h.

typedef SubgroupGraphRep::LabelType SubgroupGraph::LabelType
 

Definition at line 54 of file SubgroupGraph.h.


Constructor & Destructor Documentation

SubgroupGraph::SubgroupGraph ( int ambientRank,
const SetOf< Word > & S ) [inline]
 

Definition at line 56 of file SubgroupGraph.h.

Referenced by MHallCompletion(), intersection(), and join().

SubgroupGraph::SubgroupGraph ( int ambientRank,
const VectorOf< Word > & V ) [inline]
 

Definition at line 61 of file SubgroupGraph.h.

SubgroupGraph::SubgroupGraph ( SubgroupGraphRep * SGRp ) [inline, protected]
 

Definition at line 253 of file SubgroupGraph.h.


Member Function Documentation

int SubgroupGraph::rank ( ) const [inline]
 

Definition at line 68 of file SubgroupGraph.h.

VectorOf< Word > SubgroupGraph::normalizer<Word> ( ) [inline]
 

Definition at line 71 of file SubgroupGraph.h.

VectorOf< Word > SubgroupGraph::nielsenBasis<Word> ( ) const [inline]
 

Definition at line 73 of file SubgroupGraph.h.

Word SubgroupGraph::nielsenWord ( int i ) const [inline]
 

Definition at line 76 of file SubgroupGraph.h.

Word SubgroupGraph::inNielsenWords ( const Word & w ) const [inline]
 

Definition at line 79 of file SubgroupGraph.h.

SubgroupGraph SubgroupGraph::join ( const SubgroupGraph & SG ) const [inline]
 

Definition at line 84 of file SubgroupGraph.h.

SubgroupGraph SubgroupGraph::intersection ( const SubgroupGraph & SG ) const [inline]
 

Definition at line 91 of file SubgroupGraph.h.

Bool SubgroupGraph::contains ( const Word & w ) const [inline]
 

Definition at line 97 of file SubgroupGraph.h.

Referenced by DecomposeInSubgroupOfFreeGroup::contains().

Bool SubgroupGraph::contains ( const SetOf< Word > & S ) const [inline]
 

Definition at line 100 of file SubgroupGraph.h.

Bool SubgroupGraph::contains ( const VectorOf< Word > & V ) const [inline]
 

Definition at line 103 of file SubgroupGraph.h.

Bool SubgroupGraph::contains ( SubgroupGraph & SG ) const [inline]
 

Definition at line 106 of file SubgroupGraph.h.

Bool SubgroupGraph::equalTo ( const SetOf< Word > & S ) [inline]
 

Definition at line 110 of file SubgroupGraph.h.

Bool SubgroupGraph::equalTo ( SubgroupGraph & SG ) [inline]
 

Definition at line 113 of file SubgroupGraph.h.

Bool SubgroupGraph::conjugateInSubgroup ( const Word & w,
Word & conjugator ) const [inline]
 

Definition at line 118 of file SubgroupGraph.h.

Bool SubgroupGraph::conjugateInSubgroup ( const SetOf< Word > & S,
Word & conjugator ) [inline]
 

Definition at line 124 of file SubgroupGraph.h.

bool SubgroupGraph::conjugateTo ( const SetOf< Word > & S ) [inline]
 

Definition at line 130 of file SubgroupGraph.h.

long SubgroupGraph::powerInSubgroup ( const Word & w ) const [inline]
 

Definition at line 135 of file SubgroupGraph.h.

int SubgroupGraph::findIndex ( ) [inline]
 

Definition at line 141 of file SubgroupGraph.h.

VectorOf< Word > SubgroupGraph::findWhiteheadBasis<Word> ( ) [inline]
 

Definition at line 144 of file SubgroupGraph.h.

Bool SubgroupGraph::isAFreeFactor ( ) [inline]
 

Definition at line 151 of file SubgroupGraph.h.

Bool SubgroupGraph::generatesTheFreeGroup ( ) const [inline]
 

Definition at line 154 of file SubgroupGraph.h.

Word SubgroupGraph::rightSchreierRepresentative ( const Word & w ) [inline]
 

Definition at line 158 of file SubgroupGraph.h.

SubgroupGraph SubgroupGraph::MHallCompletion ( ) const [inline]
 

Definition at line 162 of file SubgroupGraph.h.

void SubgroupGraph::MHallComplete ( ) [inline]
 

Definition at line 171 of file SubgroupGraph.h.

void SubgroupGraph::joinConjugate ( Generator g ) [inline]
 

Definition at line 176 of file SubgroupGraph.h.

float SubgroupGraph::completeness ( ) const [inline]
 

Definition at line 182 of file SubgroupGraph.h.

Bool SubgroupGraph::isComplete ( ) const [inline]
 

Definition at line 185 of file SubgroupGraph.h.

VertexType SubgroupGraph::vertexCount ( ) const [inline]
 

Definition at line 188 of file SubgroupGraph.h.

VertexType SubgroupGraph::targetOfGenerator ( VertexType source,
int generator ) const [inline]
 

Definition at line 200 of file SubgroupGraph.h.

VertexType SubgroupGraph::targetOfLabel ( VertexType source,
LabelType label ) const [inline]
 

Definition at line 205 of file SubgroupGraph.h.

long SubgroupGraph::getValence ( ) const [inline]
 

Definition at line 210 of file SubgroupGraph.h.

LabelType SubgroupGraph::inverseLabel ( LabelType label ) const [inline]
 

Definition at line 213 of file SubgroupGraph.h.

int SubgroupGraph::labelToGenerator ( LabelType label ) const [inline]
 

Definition at line 217 of file SubgroupGraph.h.

LabelType SubgroupGraph::generatorToLabel ( int g ) const [inline]
 

Definition at line 221 of file SubgroupGraph.h.

bool SubgroupGraph::readPiece ( istream & istr,
const class Timer & timer ) [inline]
 

Definition at line 243 of file SubgroupGraph.h.


Friends And Related Function Documentation

ostream & operator< ( ostream & ostr,
const SubgroupGraph & g ) [friend]
 

Definition at line 231 of file SubgroupGraph.h.

istream & operator> ( istream & istr,
SubgroupGraph & g ) [friend]
 

Definition at line 237 of file SubgroupGraph.h.


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