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

FPGroupRep Struct Reference

#include <FPGroupRep.h>

Inheritance diagram for FPGroupRep::

FGGroupRep GroupRep GenericRep PureRep RefCounter AmalgProductOfFreeGroupsRep APwithOneRelatorRep List of all members.

Public Methods

 FPGroupRep (int ngens)
 FPGroupRep (const VectorOf< Chars > &gennames)
 FPGroupRep (int ngens, const SetOf< Word > &rels)
 FPGroupRep (const VectorOf< Chars > &gennames, const SetOf< Word > &rels)
virtual SetOf<Word>& setRelators (const SetOf< Word > &r)
virtual SetOf<Word>& addRelators (const SetOf< Word > &r)
virtual SetOf<Word>& removeRelators (const SetOf< Word > &r)
PureRepclone () const
Type actualType () const
int order () const
Trichotomy isTrivial () const
Trichotomy isFinite () const
Trichotomy isInfinite () const
Trichotomy isAbelian () const
virtual Trichotomy isFree () const
bool compare (const GroupRep *G) const
void printOn (ostream &) const
GroupRepreadFrom (istream &, Chars &) const
virtual void printRelators (ostream &) const
virtual Trichotomy isTrivialElt (const Elt &e) const
Trichotomy areEqual (const Elt &e1, const Elt &e2) const
Elt eval (const Word &w) const
Trichotomy wordProblem (const Word &w) const
Trichotomy conjugacyProblem (const Word &u, const Word &v) const
Word shortenByRelators (const Word &w) const
Chars productOfCommutators (const Word &w, File &file)
Chars productOfSquares (const Word &w, File &file)
Integer decideOrder (FPGroupRep *Gr) const
void write (ostream &ostr) const
void read (istream &istr)

Public Attributes

SetOf<Wordrelators
MetricSmallCancellationLambda isMetricSmallCancellation

Static Public Methods

Type type ()

Static Public Attributes

const Type theFPGroupType

Constructor & Destructor Documentation

FPGroupRep::FPGroupRep ( int ngens ) [inline]
 

Definition at line 67 of file FPGroupRep.h.

Referenced by clone().

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

Definition at line 73 of file FPGroupRep.h.

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

Definition at line 79 of file FPGroupRep.h.

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

Definition at line 85 of file FPGroupRep.h.


Member Function Documentation

SetOf< Word > & FPGroupRep::setRelators<Word> ( const SetOf< Word > & r ) [inline, virtual]
 

Definition at line 95 of file FPGroupRep.h.

SetOf< Word > & FPGroupRep::addRelators<Word> ( const SetOf< Word > & r ) [inline, virtual]
 

Definition at line 103 of file FPGroupRep.h.

SetOf< Word > & FPGroupRep::removeRelators<Word> ( const SetOf< Word > & r ) [inline, virtual]
 

Definition at line 111 of file FPGroupRep.h.

PureRep * FPGroupRep::clone ( ) const [inline, virtual]
 

Returns a pointer to a copy of the GenericRep object.

Reimplemented from GenericRep.

Reimplemented in AmalgProductOfFreeGroupsRep, and APwithOneRelatorRep.

Definition at line 123 of file FPGroupRep.h.

Type FPGroupRep::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 AmalgProductOfFreeGroupsRep, and APwithOneRelatorRep.

Definition at line 128 of file FPGroupRep.h.

Referenced by AmalgProductOfFreeGroupsRep::actualType(), and FPGroup::type().

Type FPGroupRep::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 AmalgProductOfFreeGroupsRep, and APwithOneRelatorRep.

Definition at line 131 of file FPGroupRep.h.

int FPGroupRep::order ( ) const [virtual]
 

Reimplemented from GroupRep.

Reimplemented in AmalgProductOfFreeGroupsRep.

Trichotomy FPGroupRep::isTrivial ( ) const [virtual]
 

Reimplemented from GroupRep.

Reimplemented in AmalgProductOfFreeGroupsRep.

Trichotomy FPGroupRep::isFinite ( ) const [virtual]
 

Reimplemented from GroupRep.

Reimplemented in AmalgProductOfFreeGroupsRep.

Trichotomy FPGroupRep::isInfinite ( ) const [virtual]
 

Reimplemented from GroupRep.

Reimplemented in AmalgProductOfFreeGroupsRep.

Trichotomy FPGroupRep::isAbelian ( ) const [virtual]
 

Reimplemented from GroupRep.

Reimplemented in AmalgProductOfFreeGroupsRep.

virtual Trichotomy FPGroupRep::isFree ( ) const [virtual]
 

Reimplemented in AmalgProductOfFreeGroupsRep.

bool FPGroupRep::compare ( const GroupRep * G ) const [virtual]
 

Reimplemented from FGGroupRep.

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

Reimplemented from GroupRep.

Reimplemented in AmalgProductOfFreeGroupsRep.

GroupRep* FPGroupRep::readFrom ( istream & istr,
Chars & errMesg ) const [virtual]
 

Reimplemented from GroupRep.

Reimplemented in AmalgProductOfFreeGroupsRep, and APwithOneRelatorRep.

virtual void FPGroupRep::printRelators ( ostream & ) const [virtual]
 

Reimplemented in AmalgProductOfFreeGroupsRep.

Trichotomy FPGroupRep::isTrivialElt ( const Elt & e ) const [inline, virtual]
 

Reimplemented from GroupRep.

Definition at line 163 of file FPGroupRep.h.

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

Reimplemented from GroupRep.

Definition at line 169 of file FPGroupRep.h.

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

Reimplemented from FGGroupRep.

Reimplemented in AmalgProductOfFreeGroupsRep.

Definition at line 182 of file FPGroupRep.h.

Trichotomy FPGroupRep::wordProblem ( const Word & w ) const [inline, virtual]
 

Reimplemented from FGGroupRep.

Reimplemented in AmalgProductOfFreeGroupsRep.

Definition at line 193 of file FPGroupRep.h.

Trichotomy FPGroupRep::conjugacyProblem ( const Word & u,
const Word & v ) const [inline, virtual]
 

Reimplemented from FGGroupRep.

Reimplemented in APwithOneRelatorRep.

Definition at line 198 of file FPGroupRep.h.

Referenced by APwithOneRelatorRep::conjugacyProblem().

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

Chars FPGroupRep::productOfCommutators ( const Word & w,
File & file )
 

Chars FPGroupRep::productOfSquares ( const Word & w,
File & file )
 

Integer FPGroupRep::decideOrder ( FPGroupRep * Gr ) const
 

void FPGroupRep::write ( ostream & ostr ) const [inline, virtual]
 

Reimplemented from FGGroupRep.

Definition at line 218 of file FPGroupRep.h.

void FPGroupRep::read ( istream & istr ) [inline, virtual]
 

Reimplemented from FGGroupRep.

Definition at line 226 of file FPGroupRep.h.


Member Data Documentation

const Type FPGroupRep::theFPGroupType [static]
 

Definition at line 126 of file FPGroupRep.h.

SetOf<Word> FPGroupRep::relators
 

Definition at line 235 of file FPGroupRep.h.

MetricSmallCancellationLambda FPGroupRep::isMetricSmallCancellation
 

Definition at line 311 of file FPGroupRep.h.


The documentation for this struct 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