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

AmalgProductOfFreeGroupsRep Struct Reference

#include <APofFreeGroupsRep.h>

Inheritance diagram for AmalgProductOfFreeGroupsRep::

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

Public Methods

 AmalgProductOfFreeGroupsRep (const FreeGroup &g1, const FreeGroup &g2, const VectorOf< Word > &gen1, const VectorOf< Word > &gen2)
 AmalgProductOfFreeGroupsRep (const SGofFreeGroup &sg1, const SGofFreeGroup &sg2)
PureRepclone () const
Type actualType () const
int order () const
Trichotomy isTrivial () const
Trichotomy isFinite () const
Trichotomy isInfinite () const
Trichotomy isAbelian () const
Trichotomy isFree () const
Trichotomy isHyperbolic () const
void printOn (ostream &) const
GroupRepreadFrom (istream &, Chars &) const
void printRelators (ostream &) const
void printDecomposition (ostream &ostr, const VectorOf< Word > &deco) const
Elt eval (const Word &w) const
Trichotomy wordProblem (const Word &w) const
NumberOfFactor factorOfFormalWord (const Word &w) const
NumberOfFactor factorOfElement (const Word &w) const
VectorOf<Worddecompose (const Word &w) const
VectorOf<WordreducedDecomposition (const Word &w) const
Word reducedFormOf (const Word &w) const
VectorOf<WordnormalDecomposition (const Word &w) const
Word normalFormOf (const Word &w) const
int lengthOf (const Word &w) const
int numberOfSubstitutions (const Word &w) const
Word localToGlobal (const LocalWord &w) const
Word localToGlobal (const Word &theWord, NumberOfFactor theFactor) const
LocalWord globalToLocal (const Word &w) const
NumberOfFactor factorOfGenerator (const Generator &gen) const
LocalWord mapFromSubgroup (const LocalWord &w) const
Word mapFromSubgroup (const Word &w) const
bool isElementOfSubgroup (const LocalWord &w) const
LocalWord rightSchreierRepresentativeOf (const LocalWord &w) const
void makeSubgroupMapping (const VectorOf< Word > &gen1, const VectorOf< Word > &gen2)
void fixGeneratorsNames ()
virtual void maximalRoot (const Word &w, Word &root, int &power) const
bool isProperPower (const Word &w) const
bool isProperPowerOfSecond (const Word &u, const Word &w, int &power) const
bool commute (const Word &u, const Word &w) const
bool isSubgroupTrivial (const VectorOf< Word > &subgrp) const
bool isSubgroupCyclic (const VectorOf< Word > &subgrp) const
bool isSubgroupAbelian (const VectorOf< Word > &subgrp) const
void cyclicReduction (const Word &w, Word &result, Word &conjugator) const
void cyclicDecomposition (const Word &w, VectorOf< Word > &result, Word &conjugator) const

Public Attributes

VectorPtrOf<FreeGroupfactor
VectorPtrOf<SGofFreeGroupassocSubgroup
VectorPtrOf<MapsubgroupMapping
VectorPtrOf<AutomorphismnielsenBasisToGensOfSubgroup
int rankOfSubgroups
int numerationShift

Static Public Methods

Type type ()

Static Public Attributes

const Type theAmalgProductOfFreeGroupsType

Constructor & Destructor Documentation

AmalgProductOfFreeGroupsRep::AmalgProductOfFreeGroupsRep ( const FreeGroup & g1,
const FreeGroup & g2,
const VectorOf< Word > & gen1,
const VectorOf< Word > & gen2 )
 

Referenced by clone().

AmalgProductOfFreeGroupsRep::AmalgProductOfFreeGroupsRep ( const SGofFreeGroup & sg1,
const SGofFreeGroup & sg2 )
 


Member Function Documentation

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

Returns a pointer to a copy of the GenericRep object.

Reimplemented from FPGroupRep.

Reimplemented in APwithOneRelatorRep.

Definition at line 112 of file APofFreeGroupsRep.h.

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

Returns unique object type.

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

Reimplemented from FPGroupRep.

Reimplemented in APwithOneRelatorRep.

Definition at line 117 of file APofFreeGroupsRep.h.

Referenced by APwithOneRelatorRep::actualType(), and AmalgProductOfFreeGroups::type().

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

Reimplemented in APwithOneRelatorRep.

Definition at line 120 of file APofFreeGroupsRep.h.

int AmalgProductOfFreeGroupsRep::order ( ) const [virtual]
 

Reimplemented from FPGroupRep.

Trichotomy AmalgProductOfFreeGroupsRep::isTrivial ( ) const [virtual]
 

Reimplemented from FPGroupRep.

Trichotomy AmalgProductOfFreeGroupsRep::isFinite ( ) const [virtual]
 

Reimplemented from FPGroupRep.

Trichotomy AmalgProductOfFreeGroupsRep::isInfinite ( ) const [virtual]
 

Reimplemented from FPGroupRep.

Trichotomy AmalgProductOfFreeGroupsRep::isAbelian ( ) const [virtual]
 

Reimplemented from FPGroupRep.

Trichotomy AmalgProductOfFreeGroupsRep::isFree ( ) const [virtual]
 

Reimplemented from FPGroupRep.

Trichotomy AmalgProductOfFreeGroupsRep::isHyperbolic ( ) const
 

Reimplemented in APwithOneRelatorRep.

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

Reimplemented from FPGroupRep.

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

Reimplemented from FPGroupRep.

Reimplemented in APwithOneRelatorRep.

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

Reimplemented from FPGroupRep.

void AmalgProductOfFreeGroupsRep::printDecomposition ( ostream & ostr,
const VectorOf< Word > & deco ) const
 

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

Reimplemented from FPGroupRep.

Definition at line 171 of file APofFreeGroupsRep.h.

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

Reimplemented from FPGroupRep.

Definition at line 181 of file APofFreeGroupsRep.h.

NumberOfFactor AmalgProductOfFreeGroupsRep::factorOfFormalWord ( const Word & w ) const
 

NumberOfFactor AmalgProductOfFreeGroupsRep::factorOfElement ( const Word & w ) const
 

VectorOf<Word> AmalgProductOfFreeGroupsRep::decompose ( const Word & w ) const
 

Referenced by lengthOf().

VectorOf<Word> AmalgProductOfFreeGroupsRep::reducedDecomposition ( const Word & w ) const
 

Referenced by reducedFormOf().

Word AmalgProductOfFreeGroupsRep::reducedFormOf ( const Word & w ) const [inline]
 

Definition at line 202 of file APofFreeGroupsRep.h.

Referenced by eval(), and wordProblem().

VectorOf<Word> AmalgProductOfFreeGroupsRep::normalDecomposition ( const Word & w ) const
 

Referenced by normalFormOf().

Word AmalgProductOfFreeGroupsRep::normalFormOf ( const Word & w ) const [inline]
 

Definition at line 213 of file APofFreeGroupsRep.h.

int AmalgProductOfFreeGroupsRep::lengthOf ( const Word & w ) const [inline]
 

Definition at line 218 of file APofFreeGroupsRep.h.

int AmalgProductOfFreeGroupsRep::numberOfSubstitutions ( const Word & w ) const
 

Word AmalgProductOfFreeGroupsRep::localToGlobal ( const LocalWord & w ) const [inline]
 

Definition at line 232 of file APofFreeGroupsRep.h.

Referenced by mapFromSubgroup().

Word AmalgProductOfFreeGroupsRep::localToGlobal ( const Word & theWord,
NumberOfFactor theFactor ) const
 

LocalWord AmalgProductOfFreeGroupsRep::globalToLocal ( const Word & w ) const
 

Referenced by mapFromSubgroup().

NumberOfFactor AmalgProductOfFreeGroupsRep::factorOfGenerator ( const Generator & gen ) const [inline]
 

Definition at line 245 of file APofFreeGroupsRep.h.

LocalWord AmalgProductOfFreeGroupsRep::mapFromSubgroup ( const LocalWord & w ) const
 

Referenced by mapFromSubgroup().

Word AmalgProductOfFreeGroupsRep::mapFromSubgroup ( const Word & w ) const [inline]
 

Definition at line 258 of file APofFreeGroupsRep.h.

bool AmalgProductOfFreeGroupsRep::isElementOfSubgroup ( const LocalWord & w ) const
 

LocalWord AmalgProductOfFreeGroupsRep::rightSchreierRepresentativeOf ( const LocalWord & w ) const
 

void AmalgProductOfFreeGroupsRep::makeSubgroupMapping ( const VectorOf< Word > & gen1,
const VectorOf< Word > & gen2 )
 

void AmalgProductOfFreeGroupsRep::fixGeneratorsNames ( )
 

virtual void AmalgProductOfFreeGroupsRep::maximalRoot ( const Word & w,
Word & root,
int & power ) const [virtual]
 

Reimplemented in APwithOneRelatorRep.

bool AmalgProductOfFreeGroupsRep::isProperPower ( const Word & w ) const
 

bool AmalgProductOfFreeGroupsRep::isProperPowerOfSecond ( const Word & u,
const Word & w,
int & power ) const
 

bool AmalgProductOfFreeGroupsRep::commute ( const Word & u,
const Word & w ) const
 

bool AmalgProductOfFreeGroupsRep::isSubgroupTrivial ( const VectorOf< Word > & subgrp ) const
 

bool AmalgProductOfFreeGroupsRep::isSubgroupCyclic ( const VectorOf< Word > & subgrp ) const
 

bool AmalgProductOfFreeGroupsRep::isSubgroupAbelian ( const VectorOf< Word > & subgrp ) const
 

void AmalgProductOfFreeGroupsRep::cyclicReduction ( const Word & w,
Word & result,
Word & conjugator ) const
 

void AmalgProductOfFreeGroupsRep::cyclicDecomposition ( const Word & w,
VectorOf< Word > & result,
Word & conjugator ) const
 


Member Data Documentation

const Type AmalgProductOfFreeGroupsRep::theAmalgProductOfFreeGroupsType [static]
 

Definition at line 115 of file APofFreeGroupsRep.h.

VectorPtrOf<FreeGroup> AmalgProductOfFreeGroupsRep::factor
 

Definition at line 312 of file APofFreeGroupsRep.h.

VectorPtrOf<SGofFreeGroup> AmalgProductOfFreeGroupsRep::assocSubgroup
 

Definition at line 313 of file APofFreeGroupsRep.h.

VectorPtrOf<Map> AmalgProductOfFreeGroupsRep::subgroupMapping
 

Definition at line 314 of file APofFreeGroupsRep.h.

VectorPtrOf<Automorphism> AmalgProductOfFreeGroupsRep::nielsenBasisToGensOfSubgroup
 

Definition at line 315 of file APofFreeGroupsRep.h.

int AmalgProductOfFreeGroupsRep::rankOfSubgroups
 

Definition at line 316 of file APofFreeGroupsRep.h.

int AmalgProductOfFreeGroupsRep::numerationShift
 

Definition at line 318 of file APofFreeGroupsRep.h.


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