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

MSCGroup Class Reference

#include <MSCGroup.h>

List of all members.

Public Methods

 MSCGroup (int ngens=0)
 MSCGroup (int ngens, const SetOf< Word > &rels, int lambda=-1)
 MSCGroup (FPGroup G, int lambda=-1)
 ~MSCGroup ()
int order () const
Trichotomy isTrivial () const
Trichotomy isFinite () const
Trichotomy isInfinite () const
Trichotomy isAbelian () const
Trichotomy isFree () const
int getMSCLambda () const
Word shortenByRelators (const Word &w) const
Word cyclicallyShortenByRelators (const Word &w) const
Elt eval (const Word &w) const
Trichotomy wordProblem (const Word &w) const
Trichotomy areEqual (const Word &w1, const Word &w2) const

Private Methods

 MSCGroup (const MSCGroup &)
MSCGroup& operator= (const MSCGroup &)
void calculateLambda ()
void makeMSCGroup (int ngens, const SetOf< Word > &rels, int lambda=-1)
int numOfGens () const
SetOf<WordgetRelators () const
Word cyclicallyShortenByRelators (const Word &w, Word &conjugator) const

Private Attributes

SymmetricRelatorssymmetricRelators
ShortenByRelatorsshortenByRels
int mscLambda
int numberOfGenerators

Friends

class  MSCGConjugacyProblem


Constructor & Destructor Documentation

MSCGroup::MSCGroup ( int ngens = 0 ) [inline]
 

Definition at line 54 of file MSCGroup.h.

MSCGroup::MSCGroup ( int ngens,
const SetOf< Word > & rels,
int lambda = -1 ) [inline]
 

Definition at line 62 of file MSCGroup.h.

MSCGroup::MSCGroup ( FPGroup G,
int lambda = -1 ) [inline]
 

Definition at line 69 of file MSCGroup.h.

MSCGroup::~MSCGroup ( ) [inline]
 

Definition at line 77 of file MSCGroup.h.

MSCGroup::MSCGroup ( const MSCGroup & ) [private]
 


Member Function Documentation

int MSCGroup::order ( ) const
 

Trichotomy MSCGroup::isTrivial ( ) const
 

Trichotomy MSCGroup::isFinite ( ) const
 

Trichotomy MSCGroup::isInfinite ( ) const
 

Trichotomy MSCGroup::isAbelian ( ) const
 

Trichotomy MSCGroup::isFree ( ) const
 

int MSCGroup::getMSCLambda ( ) const [inline]
 

Definition at line 108 of file MSCGroup.h.

Word MSCGroup::shortenByRelators ( const Word & w ) const
 

Word MSCGroup::cyclicallyShortenByRelators ( const Word & w ) const
 

Elt MSCGroup::eval ( const Word & w ) const
 

Trichotomy MSCGroup::wordProblem ( const Word & w ) const
 

Referenced by areEqual().

Trichotomy MSCGroup::areEqual ( const Word & w1,
const Word & w2 ) const [inline]
 

Definition at line 131 of file MSCGroup.h.

MSCGroup& MSCGroup::operator= ( const MSCGroup & ) [private]
 

void MSCGroup::calculateLambda ( ) [private]
 

void MSCGroup::makeMSCGroup ( int ngens,
const SetOf< Word > & rels,
int lambda = -1 ) [private]
 

Referenced by MSCGroup().

int MSCGroup::numOfGens ( ) const [inline, private]
 

Definition at line 155 of file MSCGroup.h.

SetOf< Word > MSCGroup::getRelators<Word> ( ) const [inline, private]
 

Definition at line 159 of file MSCGroup.h.

Word MSCGroup::cyclicallyShortenByRelators ( const Word & w,
Word & conjugator ) const [private]
 


Friends And Related Function Documentation

friend class MSCGConjugacyProblem [friend]
 

Definition at line 43 of file MSCGroup.h.


Member Data Documentation

SymmetricRelators* MSCGroup::symmetricRelators [private]
 

Definition at line 177 of file MSCGroup.h.

ShortenByRelators* MSCGroup::shortenByRels [private]
 

Definition at line 183 of file MSCGroup.h.

int MSCGroup::mscLambda [private]
 

Definition at line 185 of file MSCGroup.h.

int MSCGroup::numberOfGenerators [private]
 

Definition at line 186 of file MSCGroup.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