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

MalcevSet Class Reference

#include <MalcevSet.h>

List of all members.

Public Methods

 MalcevSet ()
 MalcevSet (const VectorOf< Word > &v, const NGCollector &nc)
int cardinality () const
bool isMalcevBasis () const
bool isNormalClosure () const
void makeFull () const
MalcevSet normalClosure () const
AbelianGroup mapToQuotient (int weight) const
bool contains (const Word &w) const
bool decomposeWord (const PolyWord &w, PolyWord &decomp) const
VectorOf<WordgetWords () const
VectorOf<WordgetCommutatorWords () const
VectorOf<PolyWordgetPolyWords () const
void printOn (ostream &s) const

Private Methods

bool reduceWords (PolyWord &mw1, PolyWord &mw2) const
PolyWord collect (const PolyWord &pw) const
void checkMembership (PolyWord &w) const
bool addWord (const Word &w)
bool addWord (const PolyWord &w)
void makeNormalClosure ()

Private Attributes

QuickAssociationsOf<Generator,
PolyWord
theSet
bool isBasis
Trichotomy isNormal
NGCollector theCollector

Static Private Methods

PolyWord makeCommutator (PolyWord &mw1, PolyWord &mw2)
int power (const PolyWord &pw)
int absPower (const PolyWord &pw)
Generator leader (const PolyWord &pw)
int sign (const PolyWord &pw)

Friends

class  FPNilpotentGroupRep
class  SGOfFreeNilpotentGroupRep
ostream& operator< (ostream &s, const MalcevSet &b)
istream& operator> (istream &s, MalcevSet &b)


Constructor & Destructor Documentation

MalcevSet::MalcevSet ( )
 

MalcevSet::MalcevSet ( const VectorOf< Word > & v,
const NGCollector & nc )
 


Member Function Documentation

int MalcevSet::cardinality ( ) const [inline]
 

Definition at line 60 of file MalcevSet.h.

Referenced by SGOfFreeNilpotentGroupRep::theHirschNumber().

bool MalcevSet::isMalcevBasis ( ) const [inline]
 

Definition at line 63 of file MalcevSet.h.

Referenced by SGOfFreeNilpotentGroupRep::basisIsInitialized(), SGOfFPNilpotentGroupRep::preimageIsInitialized(), and SGOfFreeNilpotentGroupRep::preimageIsInitialized().

bool MalcevSet::isNormalClosure ( ) const
 

void MalcevSet::makeFull ( ) const
 

MalcevSet MalcevSet::normalClosure ( ) const
 

AbelianGroup MalcevSet::mapToQuotient ( int weight ) const
 

bool MalcevSet::contains ( const Word & w ) const
 

bool MalcevSet::decomposeWord ( const PolyWord & w,
PolyWord & decomp ) const
 

VectorOf<Word> MalcevSet::getWords ( ) const
 

VectorOf<Word> MalcevSet::getCommutatorWords ( ) const
 

VectorOf<PolyWord> MalcevSet::getPolyWords ( ) const
 

void MalcevSet::printOn ( ostream & s ) const
 

bool MalcevSet::reduceWords ( PolyWord & mw1,
PolyWord & mw2 ) const [private]
 

PolyWord MalcevSet::makeCommutator ( PolyWord & mw1,
PolyWord & mw2 ) [static, private]
 

int MalcevSet::power ( const PolyWord & pw ) [inline, static, private]
 

Definition at line 158 of file MalcevSet.h.

int MalcevSet::absPower ( const PolyWord & pw ) [inline, static, private]
 

Definition at line 164 of file MalcevSet.h.

Generator MalcevSet::leader ( const PolyWord & pw ) [inline, static, private]
 

Definition at line 170 of file MalcevSet.h.

int MalcevSet::sign ( const PolyWord & pw ) [inline, static, private]
 

Definition at line 176 of file MalcevSet.h.

PolyWord MalcevSet::collect ( const PolyWord & pw ) const [inline, private]
 

Definition at line 182 of file MalcevSet.h.

void MalcevSet::checkMembership ( PolyWord & w ) const [private]
 

bool MalcevSet::addWord ( const Word & w ) [private]
 

bool MalcevSet::addWord ( const PolyWord & w ) [private]
 

void MalcevSet::makeNormalClosure ( ) [private]
 


Friends And Related Function Documentation

friend class FPNilpotentGroupRep [friend]
 

Definition at line 216 of file MalcevSet.h.

friend class SGOfFreeNilpotentGroupRep [friend]
 

Definition at line 217 of file MalcevSet.h.

ostream& operator< ( ostream & s,
const MalcevSet & b ) [friend]
 

istream& operator> ( istream & s,
MalcevSet & b ) [friend]
 


Member Data Documentation

QuickAssociationsOf<Generator, PolyWord> MalcevSet::theSet [private]
 

Definition at line 211 of file MalcevSet.h.

bool MalcevSet::isBasis [private]
 

Definition at line 212 of file MalcevSet.h.

Trichotomy MalcevSet::isNormal [private]
 

Definition at line 213 of file MalcevSet.h.

NGCollector MalcevSet::theCollector [private]
 

Definition at line 214 of file MalcevSet.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