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

FPGroup Class Reference

#include <FPGroup.h>

Inheritance diagram for FPGroup::

DerivedObjectOf ObjectOf List of all members.

Public Methods

 FPGroup (int ngens=0)
 FPGroup (int ngens, const SetOf< Word > &rels)
 FPGroup (const VectorOf< Chars > &gennames)
 FPGroup (const VectorOf< Chars > &gennames, const SetOf< Word > &rels)
 FPGroup (const Group &G)
SetOf<WordgetRelators () const
SetOf<WordsetRelators (const SetOf< Word > &r)
SetOf<WordaddRelators (const SetOf< Word > &r)
SetOf<WordremoveRelators (const SetOf< Word > &r)
Trichotomy isFree () const
Trichotomy isMetricSmallCancellationGroup () const
int cancellationLambda () const
Word shortenByRelators (const Word &w) const
Chars productOfCommutators (const Word &w, File &file)
Chars productOfSquares (const Word &w, File &file)
void printRelators (ostream &ostr) const

Static Public Methods

Type type ()

Protected Methods

 FPGroup (FPGroupRep *newrep)

Private Methods

void computeCancellationLambda () const

Constructor & Destructor Documentation

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

Definition at line 43 of file FPGroup.h.

FPGroup::FPGroup ( int ngens,
const SetOf< Word > & rels ) [inline]
 

Definition at line 49 of file FPGroup.h.

FPGroup::FPGroup ( const VectorOf< Chars > & gennames ) [inline]
 

Definition at line 54 of file FPGroup.h.

FPGroup::FPGroup ( const VectorOf< Chars > & gennames,
const SetOf< Word > & rels ) [inline]
 

Definition at line 58 of file FPGroup.h.

FPGroup::FPGroup ( const Group & G ) [inline]
 

Definition at line 63 of file FPGroup.h.

FPGroup::FPGroup ( FPGroupRep * newrep ) [inline, protected]
 

Definition at line 247 of file FPGroup.h.


Member Function Documentation

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

Definition at line 92 of file FPGroup.h.

SetOf< Word > FPGroup::getRelators<Word> ( ) const [inline]
 

Definition at line 101 of file FPGroup.h.

Referenced by MSCGroup::MSCGroup(), computeCancellationLambda(), FiniteAutoEnumeratorProblem::start(), and AutoEnumeratorProblem::start().

SetOf< Word > FPGroup::setRelators<Word> ( const SetOf< Word > & r ) [inline]
 

Definition at line 106 of file FPGroup.h.

SetOf< Word > FPGroup::addRelators<Word> ( const SetOf< Word > & r ) [inline]
 

Definition at line 110 of file FPGroup.h.

SetOf< Word > FPGroup::removeRelators<Word> ( const SetOf< Word > & r ) [inline]
 

Definition at line 114 of file FPGroup.h.

Trichotomy FPGroup::isFree ( ) const [inline]
 

Definition at line 127 of file FPGroup.h.

Trichotomy FPGroup::isMetricSmallCancellationGroup ( ) const [inline]
 

Definition at line 131 of file FPGroup.h.

int FPGroup::cancellationLambda ( ) const [inline]
 

Definition at line 136 of file FPGroup.h.

Word FPGroup::shortenByRelators ( const Word & w ) const [inline]
 

Definition at line 168 of file FPGroup.h.

Referenced by GraphConjugacyProblem::finishComputation().

Chars FPGroup::productOfCommutators ( const Word & w,
File & file ) [inline]
 

Definition at line 180 of file FPGroup.h.

Chars FPGroup::productOfSquares ( const Word & w,
File & file ) [inline]
 

Definition at line 184 of file FPGroup.h.

void FPGroup::printRelators ( ostream & ostr ) const [inline]
 

Definition at line 208 of file FPGroup.h.

void FPGroup::computeCancellationLambda ( ) const [inline, private]
 

Definition at line 228 of file FPGroup.h.

Referenced by cancellationLambda(), and isMetricSmallCancellationGroup().


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