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

Map Class Reference

#include <Map.h>

Inheritance diagram for Map::

DerivedObjectOf ObjectOf Endomorphism Automorphism List of all members.

Public Methods

 Map ()
 Map (const FGGroup &domain, const FGGroup &range)
 Map (const FGGroup &domain, const FGGroup &range, const VectorOf< Word > &generatingImages)
bool operator== (const Map &m) const
const FGGroupdomain () const
const FGGrouprange () const
void setDomain (const FGGroup &g)
void setRange (const FGGroup &g)
const VectorOf<Word>& generatingImages () const
Word generatingImages (int i) const
Word generatingImages (const Generator &g) const
void setGeneratingImages (const VectorOf< Word > gi)
void setGeneratingImages (int i, const Word &e)
void setGeneratingImages (const Generator &g, const Word &w)
Word imageOf (const Word &w) const
Word imageOf (const Generator &g) const
Elt evalImage (const Word &w) const
Elt postEvalImage (const Word &w) const
Map& composeAfter (const Map &firstMap)
Map operator| (const Map &secondMap)
Trichotomy extendsToHom () const
void putIsMono () const
Trichotomy isMono () const
void putIsEpi () const
Trichotomy isEpi () const
Trichotomy isIso () const
Trichotomy isTrivialMap () const
void printOn (ostream &ostr) const

Static Public Methods

Type type ()

Protected Methods

 Map (MapRep *newrep)


Map composition (const Map &secondMap, const Map &firstMap)
IStreamPoll operator>> (istream &, Map &)
ostream& operator< (ostream &ostr, const Map &M)
istream& operator> (istream &istr, Map &M)

Constructor & Destructor Documentation

Map::Map ( ) [inline]

Definition at line 208 of file Map.h.

Map::Map ( const FGGroup & domain,
const FGGroup & range ) [inline]

Definition at line 215 of file Map.h.

Map::Map ( const FGGroup & domain,
const FGGroup & range,
const VectorOf< Word > & generatingImages ) [inline]

Definition at line 227 of file Map.h.

Map::Map ( MapRep * newrep ) [inline, protected]

Definition at line 498 of file Map.h.

Member Function Documentation

bool Map::operator== ( const Map & m ) const [inline]

Definition at line 254 of file Map.h.

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

Definition at line 264 of file Map.h.

const FGGroup & Map::domain ( ) const [inline]

Definition at line 273 of file Map.h.

Referenced by Automorphism::inverse(), Endomorphism::makeIdentity(), and setGeneratingImages().

const FGGroup & Map::range ( ) const [inline]

Definition at line 277 of file Map.h.

Referenced by postEvalImage().

void Map::setDomain ( const FGGroup & g )

void Map::setRange ( const FGGroup & g ) [inline]

Definition at line 289 of file Map.h.

const VectorOf< Word > & Map::generatingImages<Word> ( ) const [inline]

Definition at line 293 of file Map.h.

Referenced by generatingImages(), FreeGroup::inverseAutomorphism(), Endomorphism::reduceGenImages(), and WhiteheadExperiment::run().

Word Map::generatingImages ( int i ) const [inline]

Definition at line 298 of file Map.h.

Word Map::generatingImages ( const Generator & g ) const [inline]

Definition at line 307 of file Map.h.

void Map::setGeneratingImages ( const VectorOf< Word > gi ) [inline]

Definition at line 315 of file Map.h.

Referenced by Automorphism::Automorphism(), RegularAuto::makeAutomorphism(), Endomorphism::makeIdentity(), Endomorphism::reduceGenImages(), and setGeneratingImages().

void Map::setGeneratingImages ( int i,
const Word & e ) [inline]

Definition at line 327 of file Map.h.

void Map::setGeneratingImages ( const Generator & g,
const Word & w ) [inline]

Definition at line 338 of file Map.h.

Word Map::imageOf ( const Word & w ) const [inline]

Definition at line 353 of file Map.h.

Referenced by postEvalImage().

Word Map::imageOf ( const Generator & g ) const

Elt Map::evalImage ( const Word & w ) const

Elt Map::postEvalImage ( const Word & w ) const [inline]

Definition at line 370 of file Map.h.

Map& Map::composeAfter ( const Map & firstMap )

Map Map::operator| ( const Map & secondMap ) [inline]

Definition at line 385 of file Map.h.

Trichotomy Map::extendsToHom ( ) const [inline]

Definition at line 403 of file Map.h.

void Map::putIsMono ( ) const [inline]

Definition at line 407 of file Map.h.

Trichotomy Map::isMono ( ) const [inline]

Definition at line 409 of file Map.h.

Referenced by isIso().

void Map::putIsEpi ( ) const [inline]

Definition at line 412 of file Map.h.

Trichotomy Map::isEpi ( ) const [inline]

Definition at line 414 of file Map.h.

Referenced by isIso().

Trichotomy Map::isIso ( ) const [inline]

Definition at line 417 of file Map.h.

Trichotomy Map::isTrivialMap ( ) const

void Map::printOn ( ostream & ostr ) const

Friends And Related Function Documentation

Map composition ( const Map & secondMap,
const Map & firstMap ) [friend]

Referenced by operator|().

IStreamPoll operator>> ( istream &,
Map & ) [friend]

ostream & operator< ( ostream & ostr,
const Map & M ) [friend]

Definition at line 473 of file Map.h.

istream & operator> ( istream & istr,
Map & M ) [friend]

Definition at line 479 of file Map.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