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

SGofFreeGroup Class Reference

#include <SGofFreeGroup.h>

Inheritance diagram for SGofFreeGroup::

GenericObject BaseObjectOf ObjectOf List of all members.

Public Methods

 SGofFreeGroup (const FreeGroup &parent, const VectorOf< Word > &gens)
int hash () const
bool operator== (const SGofFreeGroup &g) const
const FreeGroupparentGroup () const
const VectorOf<Word>& generators () const
Type actualType () const
int order ()
Bool isTrivial ()
Bool isFinite ()
Bool isInfinite ()
Bool isAbelian ()
bool isMalnormal (Word &conjugator)
SGofFreeGroup join (SGofFreeGroup &SG)
SGofFreeGroup intersection (SGofFreeGroup &SG)
Bool isNormal ()
VectorOf<Wordnormalizer ()
VectorOf<WordnielsenBasis ()
Word nielsenWord (int i)
Word inNielsenWords (const Word &w)
int rank ()
SGofFreeGroup MHallCompletion ()
Elt eval (const Word &w) const
Bool wordProblem (const Word &w) const
Bool conjugacyProblem (const Word &u, const Word &v) const
Bool contains (const Word &w)
Bool contains (const SetOf< Word > &S)
Bool contains (const VectorOf< Word > &V)
Bool contains (const SGofFreeGroup &SG)
Bool equalTo (const SetOf< Word > &S)
Bool conjugateInSubgroup (const Word &w, Word &conjugator)
Bool conjugateInSubgroup (const SetOf< Word > &S, Word &conjugator)
bool conjugateTo (const SetOf< Word > &S)
long powerInSubgroup (const Word &w)
int findIndex ()
VectorOf<WordfindWhiteheadBasis ()
Bool isAFreeFactor ()
Bool generatesTheFreeGroup ()
Word rightSchreierRepresentative (const Word &w)
void printWord (ostream &ostr, const Word &w) const

Static Public Methods

Type type ()

Protected Methods

const SGofFreeGroupReplook () const
SGofFreeGroupRepenhance () const
SGofFreeGroupRepchange ()
 SGofFreeGroup (SGofFreeGroupRep *newrep)

Constructor & Destructor Documentation

SGofFreeGroup::SGofFreeGroup ( const FreeGroup & parent,
const VectorOf< Word > & gens ) [inline]
 

Definition at line 248 of file SGofFreeGroup.h.

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

SGofFreeGroup::SGofFreeGroup ( SGofFreeGroupRep * newrep ) [inline, protected]
 

Definition at line 468 of file SGofFreeGroup.h.


Member Function Documentation

int SGofFreeGroup::hash ( ) const [inline]
 

Definition at line 261 of file SGofFreeGroup.h.

Referenced by IsWordAPEARCer::pairSG_bool::hash().

bool SGofFreeGroup::operator== ( const SGofFreeGroup & g ) const
 

const FreeGroup & SGofFreeGroup::parentGroup ( ) const [inline]
 

Definition at line 265 of file SGofFreeGroup.h.

Referenced by operator<<().

const VectorOf< Word > & SGofFreeGroup::generators<Word> ( ) const [inline]
 

Definition at line 267 of file SGofFreeGroup.h.

Referenced by APwithOneRelatorRep::APwithOneRelatorRep(), and operator<<().

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

Returns unique type of the object.

This `type querying' member is provided solely as an example, since this class is pseudo-abstract (ie. its representation class is abstract) and no actual objects of this type will ever be created

Reimplemented from GenericObject.

Definition at line 269 of file SGofFreeGroup.h.

Type SGofFreeGroup::actualType ( ) const [inline]
 

Returns type of the object.

Reimplemented from GenericObject.

Definition at line 271 of file SGofFreeGroup.h.

int SGofFreeGroup::order ( ) [inline]
 

Definition at line 279 of file SGofFreeGroup.h.

Bool SGofFreeGroup::isTrivial ( ) [inline]
 

Definition at line 280 of file SGofFreeGroup.h.

Bool SGofFreeGroup::isFinite ( ) [inline]
 

Definition at line 281 of file SGofFreeGroup.h.

Bool SGofFreeGroup::isInfinite ( ) [inline]
 

Definition at line 282 of file SGofFreeGroup.h.

Bool SGofFreeGroup::isAbelian ( ) [inline]
 

Definition at line 283 of file SGofFreeGroup.h.

bool SGofFreeGroup::isMalnormal ( Word & conjugator ) [inline]
 

Definition at line 285 of file SGofFreeGroup.h.

SGofFreeGroup SGofFreeGroup::join ( SGofFreeGroup & SG ) [inline]
 

Definition at line 293 of file SGofFreeGroup.h.

SGofFreeGroup SGofFreeGroup::intersection ( SGofFreeGroup & SG ) [inline]
 

Definition at line 298 of file SGofFreeGroup.h.

Bool SGofFreeGroup::isNormal ( ) [inline]
 

Definition at line 303 of file SGofFreeGroup.h.

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

Definition at line 305 of file SGofFreeGroup.h.

VectorOf< Word > SGofFreeGroup::nielsenBasis<Word> ( ) [inline]
 

Definition at line 307 of file SGofFreeGroup.h.

Word SGofFreeGroup::nielsenWord ( int i ) [inline]
 

Definition at line 310 of file SGofFreeGroup.h.

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

Definition at line 313 of file SGofFreeGroup.h.

int SGofFreeGroup::rank ( ) [inline]
 

Definition at line 316 of file SGofFreeGroup.h.

SGofFreeGroup SGofFreeGroup::MHallCompletion ( ) [inline]
 

Definition at line 319 of file SGofFreeGroup.h.

Elt SGofFreeGroup::eval ( const Word & w ) const [inline]
 

Definition at line 339 of file SGofFreeGroup.h.

Bool SGofFreeGroup::wordProblem ( const Word & w ) const [inline]
 

Definition at line 343 of file SGofFreeGroup.h.

Bool SGofFreeGroup::conjugacyProblem ( const Word & u,
const Word & v ) const [inline]
 

Definition at line 349 of file SGofFreeGroup.h.

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

Definition at line 353 of file SGofFreeGroup.h.

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

Definition at line 356 of file SGofFreeGroup.h.

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

Definition at line 359 of file SGofFreeGroup.h.

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

Definition at line 362 of file SGofFreeGroup.h.

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

Definition at line 367 of file SGofFreeGroup.h.

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

Definition at line 370 of file SGofFreeGroup.h.

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

Definition at line 376 of file SGofFreeGroup.h.

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

Definition at line 382 of file SGofFreeGroup.h.

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

Definition at line 387 of file SGofFreeGroup.h.

int SGofFreeGroup::findIndex ( ) [inline]
 

Definition at line 393 of file SGofFreeGroup.h.

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

Definition at line 396 of file SGofFreeGroup.h.

Bool SGofFreeGroup::isAFreeFactor ( ) [inline]
 

Definition at line 403 of file SGofFreeGroup.h.

Bool SGofFreeGroup::generatesTheFreeGroup ( ) [inline]
 

Definition at line 406 of file SGofFreeGroup.h.

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

Definition at line 410 of file SGofFreeGroup.h.

void SGofFreeGroup::printWord ( ostream & ostr,
const Word & w ) const [inline]
 

Definition at line 436 of file SGofFreeGroup.h.

const SGofFreeGroupRep * SGofFreeGroup::look ( ) const [inline, protected]
 

Returns a constant pointer to its representation object For safe read-only access.

Reimplemented from ObjectOf.

Definition at line 454 of file SGofFreeGroup.h.

Referenced by contains().

SGofFreeGroupRep * SGofFreeGroup::enhance ( ) const [inline, protected]
 

Returns a pointer to its representation object

Warning:
for altering an object without triggering cloning. Use to change theRep without altering semantics.

Reimplemented from ObjectOf.

Definition at line 457 of file SGofFreeGroup.h.

Referenced by intersection(), and join().

SGofFreeGroupRep * SGofFreeGroup::change ( ) [inline, protected]
 

Returns a pointer to its representation object For safe read/write access.

Reimplemented from ObjectOf.

Definition at line 460 of file SGofFreeGroup.h.


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