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

FGGroupRep Struct Reference

#include <FGGroupRep.h>

Inheritance diagram for FGGroupRep::

GroupRep GenericRep PureRep RefCounter FPGroupRep FreeGroupRep HNNExtensionRep NilpotentGroupRep OneRelatorGroupRep SubgroupRep AmalgProductOfFreeGroupsRep HNNExtOfFreeGroupRep FPNilpotentGroupRep FreeNilpotentGroupRep OneRelatorGroupWithTorsionRep APwithOneRelatorRep List of all members.

Public Methods

 FGGroupRep (int ngens)
 FGGroupRep (const VectorOf< Chars > &gennames)
Type actualType () const
bool compare (const GroupRep *G) const
Elt makeIdentity () const
Bool isSyntacticIdentity (const Elt &e) const
Elt firstElt () const
Elt nextElt (const Elt &e) const
Elt multiply (const Elt &e1, const Elt &e2) const
Elt inverseOf (const Elt &e) const
virtual Elt eval (const Word &w) const=0
virtual Trichotomy wordProblem (const Word &w) const=0
virtual Trichotomy conjugacyProblem (const Word &u, const Word &v) const=0
virtual void printGenerator (ostream &ostr, int n) const
virtual void printGenerators (ostream &ostr) const
virtual void printWord (ostream &ostr, const Word &w) const
virtual void printSetOfWords (ostream &ostr, const SetOf< Word > &S) const
virtual void printVectorOfWords (ostream &ostr, const VectorOf< Word > &V, char *leftBracket="{", char *rightBracket="}") const
void write (ostream &ostr) const
void read (istream &istr)
bool consistent () const

Public Attributes

int theNumberOfGenerators
VectorOf<CharstheNamesOfGenerators

Static Public Methods

Type type ()

Static Public Attributes

const Type theFGGroupType

Private Methods

FGGroupRep& operator= (const FGGroupRep &)

Constructor & Destructor Documentation

FGGroupRep::FGGroupRep ( int ngens ) [inline]
 

Definition at line 38 of file FGGroupRep.h.

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

Definition at line 43 of file FGGroupRep.h.


Member Function Documentation

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

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

Returns unique object type.

Every representation class derived from this should carry a similarly defined type member

Reimplemented from GroupRep.

Reimplemented in AmalgProductOfFreeGroupsRep, APwithOneRelatorRep, HNNExtensionRep, HNNExtOfFreeGroupRep, OneRelatorGroupRep, OneRelatorGroupWithTorsionRep, FPGroupRep, FreeGroupRep, FPNilpotentGroupRep, FreeNilpotentGroupRep, NilpotentGroupRep, and SubgroupRep.

Definition at line 64 of file FGGroupRep.h.

Referenced by SubgroupRep::actualType(), NilpotentGroupRep::actualType(), FreeGroupRep::actualType(), FPGroupRep::actualType(), OneRelatorGroupRep::actualType(), HNNExtensionRep::actualType(), Subgroup::type(), and FGGroup::type().

Type FGGroupRep::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 GroupRep.

Reimplemented in AmalgProductOfFreeGroupsRep, APwithOneRelatorRep, HNNExtensionRep, HNNExtOfFreeGroupRep, OneRelatorGroupRep, OneRelatorGroupWithTorsionRep, FPGroupRep, FreeGroupRep, FPNilpotentGroupRep, FreeNilpotentGroupRep, NilpotentGroupRep, and SubgroupRep.

Definition at line 66 of file FGGroupRep.h.

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

Reimplemented from GroupRep.

Reimplemented in FPGroupRep, and FreeGroupRep.

Elt FGGroupRep::makeIdentity ( ) const [inline, virtual]
 

Reimplemented from GroupRep.

Definition at line 82 of file FGGroupRep.h.

Bool FGGroupRep::isSyntacticIdentity ( const Elt & e ) const [virtual]
 

Reimplemented from GroupRep.

Elt FGGroupRep::firstElt ( ) const [inline, virtual]
 

Reimplemented from GroupRep.

Definition at line 92 of file FGGroupRep.h.

Elt FGGroupRep::nextElt ( const Elt & e ) const [virtual]
 

Reimplemented from GroupRep.

Elt FGGroupRep::multiply ( const Elt & e1,
const Elt & e2 ) const [virtual]
 

Reimplemented from GroupRep.

Referenced by FPGroupRep::areEqual().

Elt FGGroupRep::inverseOf ( const Elt & e ) const [virtual]
 

Reimplemented from GroupRep.

virtual Elt FGGroupRep::eval ( const Word & w ) const [pure virtual]
 

Reimplemented in AmalgProductOfFreeGroupsRep, HNNExtensionRep, OneRelatorGroupRep, FPGroupRep, FreeGroupRep, NilpotentGroupRep, and SubgroupRep.

Referenced by FreeGroupRep::isTrivialElt().

virtual Trichotomy FGGroupRep::wordProblem ( const Word & w ) const [pure virtual]
 

Reimplemented in AmalgProductOfFreeGroupsRep, HNNExtensionRep, OneRelatorGroupRep, OneRelatorGroupWithTorsionRep, FPGroupRep, FreeGroupRep, FPNilpotentGroupRep, FreeNilpotentGroupRep, and SubgroupRep.

Referenced by FPGroupRep::areEqual(), OneRelatorGroupRep::areEqual(), HNNExtensionRep::areEqual(), NilpotentGroupRep::isTrivialElt(), and FPGroupRep::isTrivialElt().

virtual Trichotomy FGGroupRep::conjugacyProblem ( const Word & u,
const Word & v ) const [pure virtual]
 

Reimplemented in APwithOneRelatorRep, HNNExtOfFreeGroupRep, OneRelatorGroupRep, OneRelatorGroupWithTorsionRep, FPGroupRep, FreeGroupRep, FPNilpotentGroupRep, NilpotentGroupRep, and SubgroupRep.

Referenced by HNNExtOfFreeGroupRep::conjugacyProblem().

virtual void FGGroupRep::printGenerator ( ostream & ostr,
int n ) const [virtual]
 

virtual void FGGroupRep::printGenerators ( ostream & ostr ) const [virtual]
 

virtual void FGGroupRep::printWord ( ostream & ostr,
const Word & w ) const [virtual]
 

virtual void FGGroupRep::printSetOfWords ( ostream & ostr,
const SetOf< Word > & S ) const [virtual]
 

virtual void FGGroupRep::printVectorOfWords ( ostream & ostr,
const VectorOf< Word > & V,
char * leftBracket = "{",
char * rightBracket = "}" ) const [virtual]
 

Referenced by HNNExtensionRep::printDecomposition().

void FGGroupRep::write ( ostream & ostr ) const [virtual]
 

Reimplemented from GroupRep.

Reimplemented in HNNExtensionRep, HNNExtOfFreeGroupRep, OneRelatorGroupRep, FPGroupRep, FPNilpotentGroupRep, FreeNilpotentGroupRep, and NilpotentGroupRep.

Referenced by FPGroupRep::write().

void FGGroupRep::read ( istream & istr ) [virtual]
 

Reimplemented from GroupRep.

Reimplemented in HNNExtensionRep, HNNExtOfFreeGroupRep, OneRelatorGroupRep, FPGroupRep, FPNilpotentGroupRep, FreeNilpotentGroupRep, and NilpotentGroupRep.

Referenced by FPGroupRep::read().

bool FGGroupRep::consistent ( ) const [inline]
 

Definition at line 158 of file FGGroupRep.h.


Member Data Documentation

const Type FGGroupRep::theFGGroupType [static]
 

Definition at line 62 of file FGGroupRep.h.

int FGGroupRep::theNumberOfGenerators
 

Definition at line 150 of file FGGroupRep.h.

VectorOf<Chars> FGGroupRep::theNamesOfGenerators
 

Definition at line 152 of file FGGroupRep.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