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

GroupRep Struct Reference

#include <GroupRep.h>

Inheritance diagram for GroupRep::

GenericRep PureRep RefCounter FGGroupRep FPGroupRep FreeGroupRep HNNExtensionRep NilpotentGroupRep OneRelatorGroupRep SubgroupRep AmalgProductOfFreeGroupsRep HNNExtOfFreeGroupRep FPNilpotentGroupRep FreeNilpotentGroupRep OneRelatorGroupWithTorsionRep APwithOneRelatorRep List of all members.

Public Methods

 GroupRep ()
virtual Type actualType () const
virtual bool compare (const GroupRep *G) const=0
virtual int order () const=0
virtual Trichotomy isTrivial () const=0
virtual Trichotomy isFinite () const=0
virtual Trichotomy isInfinite () const=0
virtual Trichotomy isAbelian () const=0
virtual Elt makeIdentity () const=0
virtual Bool isSyntacticIdentity (const Elt &) const=0
virtual Trichotomy isTrivialElt (const Elt &e) const
virtual Trichotomy areEqual (const Elt &, const Elt &) const=0
virtual Elt firstElt () const=0
virtual Elt nextElt (const Elt &) const=0
virtual Elt multiply (const Elt &, const Elt &) const=0
virtual Elt inverseOf (const Elt &) const=0
virtual Elt raiseToPower (const Elt &, int) const
virtual Elt conjugateBy (const Elt &, const Elt &) const
virtual Elt commutator (const Elt &, const Elt &) const
virtual void printOn (ostream &) const=0
virtual GroupRep* readFrom (istream &, Chars &) const=0
virtual void write (ostream &ostr) const
virtual void read (istream &istr)

Public Attributes

int theOrder

Static Public Methods

Type type ()

Static Public Attributes

const Type theGroupType

Private Methods

GroupRep& operator= (const GroupRep &)

Constructor & Destructor Documentation

GroupRep::GroupRep ( ) [inline]
 

Definition at line 36 of file GroupRep.h.


Member Function Documentation

Type GroupRep::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 AmalgProductOfFreeGroupsRep, APwithOneRelatorRep, HNNExtensionRep, HNNExtOfFreeGroupRep, OneRelatorGroupRep, OneRelatorGroupWithTorsionRep, FGGroupRep, FPGroupRep, FreeGroupRep, FPNilpotentGroupRep, FreeNilpotentGroupRep, NilpotentGroupRep, and SubgroupRep.

Definition at line 48 of file GroupRep.h.

Referenced by FGGroupRep::actualType(), and Group::type().

Type GroupRep::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 AmalgProductOfFreeGroupsRep, APwithOneRelatorRep, HNNExtensionRep, HNNExtOfFreeGroupRep, OneRelatorGroupRep, OneRelatorGroupWithTorsionRep, FGGroupRep, FPGroupRep, FreeGroupRep, FPNilpotentGroupRep, FreeNilpotentGroupRep, NilpotentGroupRep, and SubgroupRep.

Definition at line 50 of file GroupRep.h.

Referenced by Group::actualType().

GroupRep& GroupRep::operator= ( const GroupRep & ) [private]
 

virtual bool GroupRep::compare ( const GroupRep * G ) const [pure virtual]
 

Reimplemented in FGGroupRep, FPGroupRep, and FreeGroupRep.

Referenced by Group::operator==().

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

Reimplemented in AmalgProductOfFreeGroupsRep, HNNExtOfFreeGroupRep, OneRelatorGroupRep, FPGroupRep, FreeGroupRep, FPNilpotentGroupRep, FreeNilpotentGroupRep, and SubgroupRep.

virtual Trichotomy GroupRep::isTrivial ( ) const [pure virtual]
 

Reimplemented in AmalgProductOfFreeGroupsRep, HNNExtensionRep, OneRelatorGroupRep, FPGroupRep, FreeGroupRep, FPNilpotentGroupRep, FreeNilpotentGroupRep, and SubgroupRep.

Referenced by Group::isTrivial().

virtual Trichotomy GroupRep::isFinite ( ) const [pure virtual]
 

Reimplemented in AmalgProductOfFreeGroupsRep, HNNExtensionRep, OneRelatorGroupRep, FPGroupRep, FreeGroupRep, FPNilpotentGroupRep, FreeNilpotentGroupRep, and SubgroupRep.

Referenced by Group::isFinite().

virtual Trichotomy GroupRep::isInfinite ( ) const [pure virtual]
 

Reimplemented in AmalgProductOfFreeGroupsRep, HNNExtensionRep, OneRelatorGroupRep, FPGroupRep, FreeGroupRep, FPNilpotentGroupRep, FreeNilpotentGroupRep, and SubgroupRep.

Referenced by Group::isInfinite().

virtual Trichotomy GroupRep::isAbelian ( ) const [pure virtual]
 

Reimplemented in AmalgProductOfFreeGroupsRep, HNNExtensionRep, OneRelatorGroupRep, FPGroupRep, FreeGroupRep, FPNilpotentGroupRep, FreeNilpotentGroupRep, and SubgroupRep.

Referenced by Group::isAbelian().

virtual Elt GroupRep::makeIdentity ( ) const [pure virtual]
 

Reimplemented in FGGroupRep.

Referenced by Group::makeIdentity().

virtual Bool GroupRep::isSyntacticIdentity ( const Elt & e ) const [pure virtual]
 

Reimplemented in FGGroupRep.

Referenced by Group::isSyntacticIdentity().

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

Reimplemented in FPGroupRep, FreeGroupRep, and NilpotentGroupRep.

Definition at line 72 of file GroupRep.h.

Referenced by Group::isTrivialElt().

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

Reimplemented in HNNExtensionRep, OneRelatorGroupRep, FPGroupRep, FreeGroupRep, FPNilpotentGroupRep, FreeNilpotentGroupRep, and SubgroupRep.

Referenced by Group::areEqual().

virtual Elt GroupRep::firstElt ( ) const [pure virtual]
 

Reimplemented in FGGroupRep.

Referenced by Group::firstElt().

virtual Elt GroupRep::nextElt ( const Elt & e ) const [pure virtual]
 

Reimplemented in FGGroupRep.

Referenced by Group::nextElt().

virtual Elt GroupRep::multiply ( const Elt & e1,
const Elt & e2 ) const [pure virtual]
 

Reimplemented in FGGroupRep.

Referenced by Group::multiply().

virtual Elt GroupRep::inverseOf ( const Elt & e ) const [pure virtual]
 

Reimplemented in FGGroupRep.

Referenced by Group::inverseOf().

virtual Elt GroupRep::raiseToPower ( const Elt &,
int ) const [virtual]
 

Referenced by Group::raiseToPower().

virtual Elt GroupRep::conjugateBy ( const Elt &,
const Elt & ) const [virtual]
 

Referenced by Group::conjugateBy().

virtual Elt GroupRep::commutator ( const Elt &,
const Elt & ) const [virtual]
 

Referenced by Group::commutator().

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

Reimplemented in AmalgProductOfFreeGroupsRep, HNNExtensionRep, OneRelatorGroupRep, FPGroupRep, FreeGroupRep, NilpotentGroupRep, and SubgroupRep.

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

Reimplemented in AmalgProductOfFreeGroupsRep, APwithOneRelatorRep, HNNExtOfFreeGroupRep, OneRelatorGroupRep, OneRelatorGroupWithTorsionRep, FPGroupRep, FreeGroupRep, NilpotentGroupRep, and SubgroupRep.

void GroupRep::write ( ostream & ostr ) const [inline, virtual]
 

Reimplemented in HNNExtensionRep, HNNExtOfFreeGroupRep, OneRelatorGroupRep, FGGroupRep, FPGroupRep, FPNilpotentGroupRep, FreeNilpotentGroupRep, and NilpotentGroupRep.

Definition at line 95 of file GroupRep.h.

Referenced by Group::operator<().

void GroupRep::read ( istream & istr ) [inline, virtual]
 

Reimplemented in HNNExtensionRep, HNNExtOfFreeGroupRep, OneRelatorGroupRep, FGGroupRep, FPGroupRep, FPNilpotentGroupRep, FreeNilpotentGroupRep, and NilpotentGroupRep.

Definition at line 97 of file GroupRep.h.

Referenced by Group::operator>().


Member Data Documentation

const Type GroupRep::theGroupType [static]
 

Definition at line 46 of file GroupRep.h.

int GroupRep::theOrder
 

Definition at line 102 of file GroupRep.h.


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