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

FPNilpotentGroupRep Struct Reference

#include <FPNilpotentGroupRep.h>

Inheritance diagram for FPNilpotentGroupRep::

NilpotentGroupRep FGGroupRep GroupRep GenericRep PureRep RefCounter List of all members.

Public Methods

 FPNilpotentGroupRep (const VectorOf< Chars > &gennames, int nilclass, const VectorOf< Word > &rels, enum NilpotentCollector::Type collectorType)
virtual void initialize () const
const BasicCommutatorscommutators () const
int nilpotencyClass () const
const NGCollectorcollector () const
bool isInitialized () const
VectorOf<Wordrelators () const
VectorOf<WordrelationSubgroupGenerators () const
VectorOf<PolyWordbasis () const
VectorOf<CharsbasisNames () const
int order () const
Trichotomy isTrivial () const
Trichotomy isFinite () const
Trichotomy isInfinite () const
Trichotomy isAbelian () const
Trichotomy isFree () const
int theHirschNumber () const
bool isFreeNilpotent (int *freeRank, int *freeClass) const
int minimalNilpotencyClass () const
bool isMalcevBasis () const
Integer orderOfTheTorsionSubgroup () const
VectorOf<WordinverseAuto (const VectorOf< Word > &V) const
Trichotomy conjugacyProblem (const Word &u, const Word &v) const
Trichotomy wordProblem (const Word &w) const
Trichotomy areEqual (const Elt &e1, const Elt &e2) const
virtual PolyWord decompose (const PolyWord &w) const
virtual PolyWord toCommutatorWord (const PolyWord &pw) const
virtual int weightOf (const Word &w) const
virtual int weightOf (const PolyWord &pw) const
virtual int orderOfBasic (Generator g) const
virtual int orderOf (const Word &w) const
virtual int orderOf (const PolyWord &w) const
VectorOf<Wordcentralizer (const Word &w) const
virtual void maximalRoot (const PolyWord &pw, PolyWord &root, int &power) const
virtual LCSQuotient getLCSQuotient (int N) const
virtual void printBasis (ostream &BClist) const
virtual void write (ostream &ostr) const
virtual void read (istream &istr)
void computeLCSQuotients () const
void computeQuotient (int theWeight)
PolyWord decomposeInQuotient (PolyWord &rest, int k) const
Word decomposeInQuotientPresentation (const Word &w, int k) const
PolyWord decomposeFromQuotientPresentation (const PolyWord &w, int k) const
const AbelianGroupabelianization () const
virtual int weightOfDecomposed (const PolyWord &pw) const
PureRepclone () const
Type actualType () const

Public Attributes

int nilClass
NGCollector theCollector
VectorOf<WordtheRelators
VectorOf<LCSQuotientLCS
bool LCScomputed
int hirschNumber
VectorOf<PolyWordtheBasis
VectorOf<CharstheBasisNames
VectorOf<int> theBasisOrders

Static Public Methods

Type type ()

Static Public Attributes

const Type theFPNilpotentGroupType

Constructor & Destructor Documentation

FPNilpotentGroupRep::FPNilpotentGroupRep ( const VectorOf< Chars > & gennames,
int nilclass,
const VectorOf< Word > & rels,
enum NilpotentCollector::Type collectorType )
 

Referenced by clone().


Member Function Documentation

virtual void FPNilpotentGroupRep::initialize ( ) const [virtual]
 

Reimplemented from NilpotentGroupRep.

const BasicCommutators & FPNilpotentGroupRep::commutators ( ) const [inline, virtual]
 

Reimplemented from NilpotentGroupRep.

Definition at line 52 of file FPNilpotentGroupRep.h.

int FPNilpotentGroupRep::nilpotencyClass ( ) const [inline, virtual]
 

Reimplemented from NilpotentGroupRep.

Definition at line 57 of file FPNilpotentGroupRep.h.

const NGCollector & FPNilpotentGroupRep::collector ( ) const [inline, virtual]
 

Reimplemented from NilpotentGroupRep.

Definition at line 62 of file FPNilpotentGroupRep.h.

bool FPNilpotentGroupRep::isInitialized ( ) const [inline, virtual]
 

Reimplemented from NilpotentGroupRep.

Definition at line 66 of file FPNilpotentGroupRep.h.

VectorOf< Word > FPNilpotentGroupRep::relators<Word> ( ) const [inline, virtual]
 

Reimplemented from NilpotentGroupRep.

Definition at line 71 of file FPNilpotentGroupRep.h.

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

Reimplemented from NilpotentGroupRep.

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

Reimplemented from NilpotentGroupRep.

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

Reimplemented from NilpotentGroupRep.

Type FPNilpotentGroupRep::type ( ) [static]
 

Returns unique object type.

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

Reimplemented from NilpotentGroupRep.

int FPNilpotentGroupRep::order ( ) const [virtual]
 

Reimplemented from GroupRep.

Trichotomy FPNilpotentGroupRep::isTrivial ( ) const [virtual]
 

Reimplemented from GroupRep.

Trichotomy FPNilpotentGroupRep::isFinite ( ) const [virtual]
 

Reimplemented from GroupRep.

Trichotomy FPNilpotentGroupRep::isInfinite ( ) const [virtual]
 

Reimplemented from GroupRep.

Trichotomy FPNilpotentGroupRep::isAbelian ( ) const [virtual]
 

Reimplemented from GroupRep.

Trichotomy FPNilpotentGroupRep::isFree ( ) const
 

int FPNilpotentGroupRep::theHirschNumber ( ) const [virtual]
 

Reimplemented from NilpotentGroupRep.

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

Reimplemented from NilpotentGroupRep.

int FPNilpotentGroupRep::minimalNilpotencyClass ( ) const [virtual]
 

Reimplemented from NilpotentGroupRep.

bool FPNilpotentGroupRep::isMalcevBasis ( ) const [virtual]
 

Reimplemented from NilpotentGroupRep.

Integer FPNilpotentGroupRep::orderOfTheTorsionSubgroup ( ) const [virtual]
 

Reimplemented from NilpotentGroupRep.

VectorOf< Word > FPNilpotentGroupRep::inverseAuto<Word> ( const VectorOf< Word > & V ) const [inline, virtual]
 

Reimplemented from NilpotentGroupRep.

Definition at line 134 of file FPNilpotentGroupRep.h.

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

Reimplemented from NilpotentGroupRep.

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

Reimplemented from FGGroupRep.

Trichotomy FPNilpotentGroupRep::areEqual ( const Elt & e1,
const Elt & e2 ) const [virtual]
 

Reimplemented from GroupRep.

virtual PolyWord FPNilpotentGroupRep::decompose ( const PolyWord & w ) const [virtual]
 

Reimplemented from NilpotentGroupRep.

virtual PolyWord FPNilpotentGroupRep::toCommutatorWord ( const PolyWord & pw ) const [virtual]
 

Reimplemented from NilpotentGroupRep.

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

Reimplemented from NilpotentGroupRep.

int FPNilpotentGroupRep::weightOf ( const PolyWord & pw ) const [inline, virtual]
 

Reimplemented from NilpotentGroupRep.

Definition at line 219 of file FPNilpotentGroupRep.h.

virtual int FPNilpotentGroupRep::orderOfBasic ( Generator g ) const [virtual]
 

Reimplemented from NilpotentGroupRep.

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

Reimplemented from NilpotentGroupRep.

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

Reimplemented from NilpotentGroupRep.

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

Reimplemented from NilpotentGroupRep.

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

Reimplemented from NilpotentGroupRep.

virtual LCSQuotient FPNilpotentGroupRep::getLCSQuotient ( int N ) const [virtual]
 

Reimplemented from NilpotentGroupRep.

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

Reimplemented from NilpotentGroupRep.

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

Reimplemented from NilpotentGroupRep.

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

Reimplemented from NilpotentGroupRep.

void FPNilpotentGroupRep::computeLCSQuotients ( ) const
 

void FPNilpotentGroupRep::computeQuotient ( int theWeight )
 

PolyWord FPNilpotentGroupRep::decomposeInQuotient ( PolyWord & rest,
int k ) const
 

Word FPNilpotentGroupRep::decomposeInQuotientPresentation ( const Word & w,
int k ) const
 

PolyWord FPNilpotentGroupRep::decomposeFromQuotientPresentation ( const PolyWord & w,
int k ) const
 

const AbelianGroup& FPNilpotentGroupRep::abelianization ( ) const
 

virtual int FPNilpotentGroupRep::weightOfDecomposed ( const PolyWord & pw ) const [virtual]
 

Referenced by weightOf().

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

Returns a pointer to a copy of the GenericRep object.

Reimplemented from GenericRep.

Definition at line 301 of file FPNilpotentGroupRep.h.

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

Definition at line 307 of file FPNilpotentGroupRep.h.


Member Data Documentation

const Type FPNilpotentGroupRep::theFPNilpotentGroupType [static]
 

Definition at line 304 of file FPNilpotentGroupRep.h.

int FPNilpotentGroupRep::nilClass
 

Definition at line 319 of file FPNilpotentGroupRep.h.

NGCollector FPNilpotentGroupRep::theCollector
 

Definition at line 320 of file FPNilpotentGroupRep.h.

VectorOf<Word> FPNilpotentGroupRep::theRelators
 

Definition at line 322 of file FPNilpotentGroupRep.h.

VectorOf<LCSQuotient> FPNilpotentGroupRep::LCS
 

Definition at line 324 of file FPNilpotentGroupRep.h.

bool FPNilpotentGroupRep::LCScomputed
 

Definition at line 325 of file FPNilpotentGroupRep.h.

int FPNilpotentGroupRep::hirschNumber
 

Definition at line 326 of file FPNilpotentGroupRep.h.

VectorOf<PolyWord> FPNilpotentGroupRep::theBasis
 

Definition at line 328 of file FPNilpotentGroupRep.h.

VectorOf<Chars> FPNilpotentGroupRep::theBasisNames
 

Definition at line 329 of file FPNilpotentGroupRep.h.

VectorOf<int> FPNilpotentGroupRep::theBasisOrders
 

Definition at line 330 of file FPNilpotentGroupRep.h.


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