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

SGOfNilpotentGroupRep Class Reference

#include <SGOfNilpotentGroupRep.h>

Inheritance diagram for SGOfNilpotentGroupRep::

GenericRep PureRep RefCounter SGOfFPNilpotentGroupRep SGOfFreeNilpotentGroupRep List of all members.

Public Methods

virtual void initPreimage () const=0
virtual void initParent () const=0
virtual void initBasis () const=0
virtual const class NilpotentGroupparentGroup () const=0
virtual const class VectorOf<
Word >& 
generators () const=0
virtual const class MalcevSetpreimageBasis () const=0
virtual bool preimageIsInitialized () const=0
virtual bool parentIsInitialized () const=0
virtual bool basisIsInitialized () const=0
virtual VectorOf<PolyWordbasis () const=0
virtual VectorOf<CharsbasisNames () const=0
virtual int theHirschNumber () const=0
int index () const
bool isTrivial () const
bool isCentral () const
bool isNormal () const
bool isAbelian () const
int subgroupClass () const
virtual int order () const=0
virtual VectorOf<WordnormalClosureBasis () const=0
VectorOf<WordnormalClosureGens () const
PresentationForSNG makePresentation () const
VectorOf<Wordjoin (const class SGOfNilpotentGroup &SGR) const
VectorOf<Wordjoin (const VectorOf< Word > &V) const
bool contains (const VectorOf< Word > &V) const
bool contains (const Word &w) const
virtual bool decompose (const PolyWord &w, PolyWord &decomp) const=0
virtual void printBasis (ostream &) const=0
virtual ostream& writeIPC (ostream &s) const
virtual istream& readIPC (istream &s) const
virtual Chars asDecomposition (const PolyWord &p) const=0
virtual Type actualType () const
virtual GenericRepclone () const=0

Static Public Methods

Type type ()

Static Public Attributes

const Type theSGOfNilpotentGroupType

Member Function Documentation

virtual void SGOfNilpotentGroupRep::initPreimage ( ) const [pure virtual]
 

Reimplemented in SGOfFreeNilpotentGroupRep, and SGOfFPNilpotentGroupRep.

virtual void SGOfNilpotentGroupRep::initParent ( ) const [pure virtual]
 

Reimplemented in SGOfFreeNilpotentGroupRep, and SGOfFPNilpotentGroupRep.

virtual void SGOfNilpotentGroupRep::initBasis ( ) const [pure virtual]
 

Reimplemented in SGOfFreeNilpotentGroupRep, and SGOfFPNilpotentGroupRep.

Referenced by SGOfFreeNilpotentGroupRep::initPreimage().

virtual const class NilpotentGroup& SGOfNilpotentGroupRep::parentGroup ( ) const [pure virtual]
 

Reimplemented in SGOfFreeNilpotentGroupRep, and SGOfFPNilpotentGroupRep.

Referenced by SGOfFPNilpotentGroupRep::parentIsInitialized().

virtual const class VectorOf< Word >& SGOfNilpotentGroupRep::generators ( ) const [pure virtual]
 

Reimplemented in SGOfFreeNilpotentGroupRep, and SGOfFPNilpotentGroupRep.

virtual const class MalcevSet& SGOfNilpotentGroupRep::preimageBasis ( ) const [pure virtual]
 

Reimplemented in SGOfFreeNilpotentGroupRep, and SGOfFPNilpotentGroupRep.

virtual bool SGOfNilpotentGroupRep::preimageIsInitialized ( ) const [pure virtual]
 

Reimplemented in SGOfFreeNilpotentGroupRep, and SGOfFPNilpotentGroupRep.

virtual bool SGOfNilpotentGroupRep::parentIsInitialized ( ) const [pure virtual]
 

Reimplemented in SGOfFreeNilpotentGroupRep, and SGOfFPNilpotentGroupRep.

virtual bool SGOfNilpotentGroupRep::basisIsInitialized ( ) const [pure virtual]
 

Reimplemented in SGOfFreeNilpotentGroupRep, and SGOfFPNilpotentGroupRep.

Referenced by SGOfFreeNilpotentGroupRep::theHirschNumber().

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

Reimplemented in SGOfFreeNilpotentGroupRep, and SGOfFPNilpotentGroupRep.

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

Reimplemented in SGOfFreeNilpotentGroupRep, and SGOfFPNilpotentGroupRep.

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

Reimplemented in SGOfFreeNilpotentGroupRep, and SGOfFPNilpotentGroupRep.

int SGOfNilpotentGroupRep::index ( ) const
 

bool SGOfNilpotentGroupRep::isTrivial ( ) const
 

bool SGOfNilpotentGroupRep::isCentral ( ) const
 

bool SGOfNilpotentGroupRep::isNormal ( ) const
 

bool SGOfNilpotentGroupRep::isAbelian ( ) const
 

int SGOfNilpotentGroupRep::subgroupClass ( ) const
 

virtual int SGOfNilpotentGroupRep::order ( ) const [pure virtual]
 

Reimplemented in SGOfFreeNilpotentGroupRep, and SGOfFPNilpotentGroupRep.

virtual VectorOf<Word> SGOfNilpotentGroupRep::normalClosureBasis ( ) const [pure virtual]
 

Reimplemented in SGOfFreeNilpotentGroupRep, and SGOfFPNilpotentGroupRep.

VectorOf<Word> SGOfNilpotentGroupRep::normalClosureGens ( ) const
 

PresentationForSNG SGOfNilpotentGroupRep::makePresentation ( ) const
 

VectorOf<Word> SGOfNilpotentGroupRep::join ( const class SGOfNilpotentGroup & SGR ) const
 

VectorOf<Word> SGOfNilpotentGroupRep::join ( const VectorOf< Word > & V ) const
 

bool SGOfNilpotentGroupRep::contains ( const VectorOf< Word > & V ) const
 

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

virtual bool SGOfNilpotentGroupRep::decompose ( const PolyWord & w,
PolyWord & decomp ) const [pure virtual]
 

Reimplemented in SGOfFreeNilpotentGroupRep, and SGOfFPNilpotentGroupRep.

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

Reimplemented in SGOfFreeNilpotentGroupRep, and SGOfFPNilpotentGroupRep.

virtual ostream& SGOfNilpotentGroupRep::writeIPC ( ostream & s ) const [virtual]
 

Reimplemented in SGOfFreeNilpotentGroupRep, and SGOfFPNilpotentGroupRep.

virtual istream& SGOfNilpotentGroupRep::readIPC ( istream & s ) const [virtual]
 

Reimplemented in SGOfFreeNilpotentGroupRep, and SGOfFPNilpotentGroupRep.

virtual Chars SGOfNilpotentGroupRep::asDecomposition ( const PolyWord & p ) const [pure virtual]
 

Reimplemented in SGOfFreeNilpotentGroupRep, and SGOfFPNilpotentGroupRep.

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

Returns unique object type.

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

Reimplemented from GenericRep.

Reimplemented in SGOfFreeNilpotentGroupRep, and SGOfFPNilpotentGroupRep.

Definition at line 222 of file SGOfNilpotentGroupRep.h.

Referenced by SGOfFPNilpotentGroupRep::actualType(), SGOfFreeNilpotentGroupRep::actualType(), and SGOfNilpotentGroup::type().

Type SGOfNilpotentGroupRep::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 GenericRep.

Reimplemented in SGOfFreeNilpotentGroupRep, and SGOfFPNilpotentGroupRep.

Definition at line 224 of file SGOfNilpotentGroupRep.h.

virtual GenericRep* SGOfNilpotentGroupRep::clone ( ) const [pure virtual]
 

Returns a pointer to a copy of the GenericRep object.

Reimplemented from GenericRep.

Reimplemented in SGOfFreeNilpotentGroupRep, and SGOfFPNilpotentGroupRep.


Member Data Documentation

const Type SGOfNilpotentGroupRep::theSGOfNilpotentGroupType [static]
 

Definition at line 220 of file SGOfNilpotentGroupRep.h.


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