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

NilpotentGroupRep Struct Reference

#include <NilpotentGroupRep.h>

Inheritance diagram for NilpotentGroupRep::

FGGroupRep GroupRep GenericRep PureRep RefCounter FPNilpotentGroupRep FreeNilpotentGroupRep List of all members.

Public Methods

 NilpotentGroupRep (const VectorOf< Chars > &gennames)
virtual void initialize () const=0
virtual const BasicCommutatorscommutators () const=0
virtual int nilpotencyClass () const=0
virtual const NGCollectorcollector () const=0
virtual bool isInitialized () const=0
virtual VectorOf<Wordrelators () const=0
virtual VectorOf<WordrelationSubgroupGenerators () const=0
virtual VectorOf<PolyWordbasis () const=0
virtual VectorOf<CharsbasisNames () const=0
virtual int theHirschNumber () const=0
virtual bool isFreeNilpotent (int *freeRank, int *freeClass) const=0
virtual int minimalNilpotencyClass () const=0
virtual bool isMalcevBasis () const=0
virtual Integer orderOfTheTorsionSubgroup () const=0
class PresentationForNG makePresentation () const
VectorOf<WordgetLCSterm (int i) const
virtual LCSQuotient getLCSQuotient (int N) const=0
Elt eval (const Word &w) const
Trichotomy conjugacyProblem (const Word &u, const Word &v) const
virtual Trichotomy isTrivialElt (const Elt &e) const
virtual PolyWord decompose (const Word &w) const
virtual PolyWord decompose (const PolyWord &w) const=0
Word toWord (const PolyWord &w) const
virtual PolyWord toCommutatorWord (const PolyWord &pw) const=0
Chars asDecomposition (const PolyWord &decomposition) const
virtual VectorOf<WordinverseAuto (const VectorOf< Word > &V) const=0
virtual int weightOf (const Word &w) const=0
virtual int weightOf (const PolyWord &w) const=0
virtual int orderOfBasic (Generator g) const=0
virtual int orderOf (const Word &w) const=0
virtual int orderOf (const PolyWord &w) const=0
virtual VectorOf<Wordcentralizer (const Word &w) const=0
bool isInCommutatorSubgroup (const Word &w) const
bool isCentral (const Word &w) const
void maximalRoot (const Word &w, PolyWord &root, int &power) const
virtual void maximalRoot (const PolyWord &pw, PolyWord &root, int &power) const=0
bool isProperPower (const Word &w) const
bool isProperPower (const PolyWord &pw) const
virtual GroupRepreadFrom (istream &, Chars &) const
virtual void printOn (ostream &) const
virtual void printBasis (ostream &BClist) const=0
virtual void write (ostream &ostr) const
virtual void read (istream &istr)
Type actualType () const

Static Public Methods

Type type ()

Static Public Attributes

const Type theNilpotentGroupType

Protected Methods

void mapToClass (PolyWord &pw, int theClass) const

Constructor & Destructor Documentation

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

Definition at line 37 of file NilpotentGroupRep.h.


Member Function Documentation

virtual void NilpotentGroupRep::initialize ( ) const [pure virtual]
 

Reimplemented in FPNilpotentGroupRep, and FreeNilpotentGroupRep.

virtual const BasicCommutators& NilpotentGroupRep::commutators ( ) const [pure virtual]
 

Reimplemented in FPNilpotentGroupRep, and FreeNilpotentGroupRep.

Referenced by FreeNilpotentGroupRep::printBasis(), FreeNilpotentGroupRep::theHirschNumber(), and toWord().

virtual int NilpotentGroupRep::nilpotencyClass ( ) const [pure virtual]
 

Reimplemented in FPNilpotentGroupRep, and FreeNilpotentGroupRep.

virtual const NGCollector& NilpotentGroupRep::collector ( ) const [pure virtual]
 

Reimplemented in FPNilpotentGroupRep, and FreeNilpotentGroupRep.

virtual bool NilpotentGroupRep::isInitialized ( ) const [pure virtual]
 

Reimplemented in FPNilpotentGroupRep, and FreeNilpotentGroupRep.

virtual VectorOf<Word> NilpotentGroupRep::relators ( ) const [pure virtual]
 

Reimplemented in FPNilpotentGroupRep, and FreeNilpotentGroupRep.

virtual VectorOf<Word> NilpotentGroupRep::relationSubgroupGenerators ( ) const [pure virtual]
 

Reimplemented in FPNilpotentGroupRep, and FreeNilpotentGroupRep.

virtual VectorOf<PolyWord> NilpotentGroupRep::basis ( ) const [pure virtual]
 

Reimplemented in FPNilpotentGroupRep, and FreeNilpotentGroupRep.

virtual VectorOf<Chars> NilpotentGroupRep::basisNames ( ) const [pure virtual]
 

Reimplemented in FPNilpotentGroupRep, and FreeNilpotentGroupRep.

Referenced by asDecomposition().

virtual int NilpotentGroupRep::theHirschNumber ( ) const [pure virtual]
 

Reimplemented in FPNilpotentGroupRep, and FreeNilpotentGroupRep.

virtual bool NilpotentGroupRep::isFreeNilpotent ( int * freeRank,
int * freeClass ) const [pure virtual]
 

Reimplemented in FPNilpotentGroupRep, and FreeNilpotentGroupRep.

virtual int NilpotentGroupRep::minimalNilpotencyClass ( ) const [pure virtual]
 

Reimplemented in FPNilpotentGroupRep, and FreeNilpotentGroupRep.

virtual bool NilpotentGroupRep::isMalcevBasis ( ) const [pure virtual]
 

Reimplemented in FPNilpotentGroupRep, and FreeNilpotentGroupRep.

virtual Integer NilpotentGroupRep::orderOfTheTorsionSubgroup ( ) const [pure virtual]
 

Reimplemented in FPNilpotentGroupRep, and FreeNilpotentGroupRep.

class PresentationForNG NilpotentGroupRep::makePresentation ( ) const
 

VectorOf<Word> NilpotentGroupRep::getLCSterm ( int i ) const
 

virtual LCSQuotient NilpotentGroupRep::getLCSQuotient ( int N ) const [pure virtual]
 

Reimplemented in FPNilpotentGroupRep, and FreeNilpotentGroupRep.

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

Reimplemented from FGGroupRep.

Definition at line 139 of file NilpotentGroupRep.h.

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

Reimplemented from FGGroupRep.

Reimplemented in FPNilpotentGroupRep.

Definition at line 152 of file NilpotentGroupRep.h.

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

Reimplemented from GroupRep.

Definition at line 157 of file NilpotentGroupRep.h.

PolyWord NilpotentGroupRep::decompose ( const Word & w ) const [inline, virtual]
 

Definition at line 168 of file NilpotentGroupRep.h.

Referenced by isProperPower(), and maximalRoot().

virtual PolyWord NilpotentGroupRep::decompose ( const PolyWord & w ) const [pure virtual]
 

Reimplemented in FPNilpotentGroupRep, and FreeNilpotentGroupRep.

Word NilpotentGroupRep::toWord ( const PolyWord & w ) const [inline]
 

Definition at line 180 of file NilpotentGroupRep.h.

virtual PolyWord NilpotentGroupRep::toCommutatorWord ( const PolyWord & pw ) const [pure virtual]
 

Reimplemented in FPNilpotentGroupRep, and FreeNilpotentGroupRep.

Referenced by toWord().

Chars NilpotentGroupRep::asDecomposition ( const PolyWord & decomposition ) const [inline]
 

Definition at line 190 of file NilpotentGroupRep.h.

virtual VectorOf<Word> NilpotentGroupRep::inverseAuto ( const VectorOf< Word > & V ) const [pure virtual]
 

Reimplemented in FPNilpotentGroupRep, and FreeNilpotentGroupRep.

virtual int NilpotentGroupRep::weightOf ( const Word & w ) const [pure virtual]
 

Reimplemented in FPNilpotentGroupRep, and FreeNilpotentGroupRep.

Referenced by isInCommutatorSubgroup().

virtual int NilpotentGroupRep::weightOf ( const PolyWord & w ) const [pure virtual]
 

Reimplemented in FPNilpotentGroupRep, and FreeNilpotentGroupRep.

virtual int NilpotentGroupRep::orderOfBasic ( Generator g ) const [pure virtual]
 

Reimplemented in FPNilpotentGroupRep, and FreeNilpotentGroupRep.

virtual int NilpotentGroupRep::orderOf ( const Word & w ) const [pure virtual]
 

Reimplemented in FPNilpotentGroupRep, and FreeNilpotentGroupRep.

virtual int NilpotentGroupRep::orderOf ( const PolyWord & w ) const [pure virtual]
 

Reimplemented in FPNilpotentGroupRep, and FreeNilpotentGroupRep.

virtual VectorOf<Word> NilpotentGroupRep::centralizer ( const Word & w ) const [pure virtual]
 

Reimplemented in FPNilpotentGroupRep, and FreeNilpotentGroupRep.

bool NilpotentGroupRep::isInCommutatorSubgroup ( const Word & w ) const [inline]
 

Definition at line 230 of file NilpotentGroupRep.h.

bool NilpotentGroupRep::isCentral ( const Word & w ) const
 

void NilpotentGroupRep::maximalRoot ( const Word & w,
PolyWord & root,
int & power ) const [inline]
 

Definition at line 240 of file NilpotentGroupRep.h.

virtual void NilpotentGroupRep::maximalRoot ( const PolyWord & pw,
PolyWord & root,
int & power ) const [pure virtual]
 

Reimplemented in FPNilpotentGroupRep, and FreeNilpotentGroupRep.

bool NilpotentGroupRep::isProperPower ( const Word & w ) const [inline]
 

Definition at line 252 of file NilpotentGroupRep.h.

bool NilpotentGroupRep::isProperPower ( const PolyWord & pw ) const
 

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

Reimplemented from GroupRep.

Definition at line 269 of file NilpotentGroupRep.h.

void NilpotentGroupRep::printOn ( ostream & ostr ) const [inline, virtual]
 

Reimplemented from GroupRep.

Definition at line 272 of file NilpotentGroupRep.h.

virtual void NilpotentGroupRep::printBasis ( ostream & BClist ) const [pure virtual]
 

Reimplemented in FPNilpotentGroupRep, and FreeNilpotentGroupRep.

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

Reimplemented from FGGroupRep.

Reimplemented in FPNilpotentGroupRep, and FreeNilpotentGroupRep.

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

Reimplemented from FGGroupRep.

Reimplemented in FPNilpotentGroupRep, and FreeNilpotentGroupRep.

Type NilpotentGroupRep::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 FPNilpotentGroupRep, and FreeNilpotentGroupRep.

Definition at line 300 of file NilpotentGroupRep.h.

Referenced by FreeNilpotentGroupRep::actualType(), FPNilpotentGroupRep::actualType(), and NilpotentGroup::type().

Type NilpotentGroupRep::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 FPNilpotentGroupRep, and FreeNilpotentGroupRep.

Definition at line 303 of file NilpotentGroupRep.h.

void NilpotentGroupRep::mapToClass ( PolyWord & pw,
int theClass ) const [protected]
 


Member Data Documentation

const Type NilpotentGroupRep::theNilpotentGroupType [static]
 

Definition at line 298 of file NilpotentGroupRep.h.


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