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

Group Class Reference

#include <Group.h>

Inheritance diagram for Group::

GenericObject BaseObjectOf ObjectOf List of all members.

Public Methods

int operator== (const Group &G) const
int operator!= (const Group &G) const
Type actualType () const
int order () const
Trichotomy isTrivial () const
Trichotomy isFinite () const
Trichotomy isInfinite () const
Trichotomy isAbelian () const
Elt makeIdentity () const
Bool isSyntacticIdentity (const Elt &e) const
Trichotomy isTrivialElt (const Elt &e) const
Trichotomy areEqual (const Elt &e1, const Elt &e2) const
Elt firstElt () const
Elt nextElt (const Elt &e) const
Elt multiply (const Elt &e1, const Elt &e2) const
Elt inverseOf (const Elt &e) const
Elt raiseToPower (const Elt &e, int n) const
Elt conjugateBy (const Elt &e1, const Elt &e2) const
Elt commutator (const Elt &e1, const Elt &e2) const
SetOf<EltsetMultiply (const SetOf< Elt > &S1, const SetOf< Elt > &S2) const
SetOf<EltsetMultiply (const Elt &e, const SetOf< Elt > &S) const
SetOf<EltsetMultiply (const SetOf< Elt > &S, const Elt &e) const
SetOf<EltconjugateBy (const SetOf< Elt > &S1, const SetOf< Elt > &S2) const
SetOf<EltconjugateBy (const Elt &e, const SetOf< Elt > &S) const
SetOf<EltconjugateBy (const SetOf< Elt > &S, const Elt &e) const
void closeUnderInverses (SetOf< Elt > &S) const

Static Public Methods

Type type ()

Protected Methods

const GroupReplook () const
GroupRepenhance () const
GroupRepchange ()
 Group (GroupRep *newrep)

Friends

ostream& operator<< (ostream &, const Group &)
IStreamPoll operator>> (istream &, Group &)
ostream& operator< (ostream &ostr, const Group &G)
istream& operator> (istream &istr, Group &G)

Constructor & Destructor Documentation

Group::Group ( GroupRep * newrep ) [inline, protected]
 

Definition at line 279 of file Group.h.


Member Function Documentation

int Group::operator== ( const Group & G ) const [inline]
 

Definition at line 73 of file Group.h.

int Group::operator!= ( const Group & G ) const [inline]
 

Definition at line 84 of file Group.h.

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

Returns unique type of the object.

This `type querying' member is provided solely as an example, since this class is pseudo-abstract (ie. its representation class is abstract) and no actual objects of this type will ever be created

Reimplemented from GenericObject.

Definition at line 92 of file Group.h.

Type Group::actualType ( ) const [inline]
 

Returns type of the object.

Reimplemented from GenericObject.

Definition at line 94 of file Group.h.

Referenced by operator==().

int Group::order ( ) const
 

Trichotomy Group::isTrivial ( ) const [inline]
 

Definition at line 106 of file Group.h.

Trichotomy Group::isFinite ( ) const [inline]
 

Definition at line 109 of file Group.h.

Trichotomy Group::isInfinite ( ) const [inline]
 

Definition at line 112 of file Group.h.

Trichotomy Group::isAbelian ( ) const [inline]
 

Definition at line 115 of file Group.h.

Elt Group::makeIdentity ( ) const [inline]
 

Definition at line 126 of file Group.h.

Bool Group::isSyntacticIdentity ( const Elt & e ) const [inline]
 

Definition at line 130 of file Group.h.

Trichotomy Group::isTrivialElt ( const Elt & e ) const [inline]
 

Definition at line 137 of file Group.h.

Trichotomy Group::areEqual ( const Elt & e1,
const Elt & e2 ) const [inline]
 

Definition at line 142 of file Group.h.

Elt Group::firstElt ( ) const [inline]
 

Definition at line 148 of file Group.h.

Elt Group::nextElt ( const Elt & e ) const [inline]
 

Definition at line 153 of file Group.h.

Elt Group::multiply ( const Elt & e1,
const Elt & e2 ) const [inline]
 

Definition at line 158 of file Group.h.

Elt Group::inverseOf ( const Elt & e ) const [inline]
 

Definition at line 163 of file Group.h.

Elt Group::raiseToPower ( const Elt & e,
int n ) const [inline]
 

Definition at line 166 of file Group.h.

Elt Group::conjugateBy ( const Elt & e1,
const Elt & e2 ) const [inline]
 

Definition at line 171 of file Group.h.

Elt Group::commutator ( const Elt & e1,
const Elt & e2 ) const [inline]
 

Definition at line 176 of file Group.h.

SetOf<Elt> Group::setMultiply ( const SetOf< Elt > & S1,
const SetOf< Elt > & S2 ) const
 

SetOf<Elt> Group::setMultiply ( const Elt & e,
const SetOf< Elt > & S ) const
 

SetOf<Elt> Group::setMultiply ( const SetOf< Elt > & S,
const Elt & e ) const
 

SetOf<Elt> Group::conjugateBy ( const SetOf< Elt > & S1,
const SetOf< Elt > & S2 ) const
 

SetOf<Elt> Group::conjugateBy ( const Elt & e,
const SetOf< Elt > & S ) const
 

SetOf<Elt> Group::conjugateBy ( const SetOf< Elt > & S,
const Elt & e ) const
 

void Group::closeUnderInverses ( SetOf< Elt > & S ) const
 

const GroupRep * Group::look ( ) const [inline, protected]
 

Returns a constant pointer to its representation object For safe read-only access.

Reimplemented from ObjectOf.

Definition at line 265 of file Group.h.

Referenced by operator<(), and operator==().

GroupRep * Group::enhance ( ) const [inline, protected]
 

Returns a pointer to its representation object

Warning:
for altering an object without triggering cloning. Use to change theRep without altering semantics.

Reimplemented from ObjectOf.

Definition at line 268 of file Group.h.

GroupRep * Group::change ( ) [inline, protected]
 

Returns a pointer to its representation object For safe read/write access.

Reimplemented from ObjectOf.

Definition at line 271 of file Group.h.

Referenced by operator>().


Friends And Related Function Documentation

ostream& operator<< ( ostream &,
const Group & ) [friend]
 

IStreamPoll operator>> ( istream &,
Group & ) [friend]
 

ostream & operator< ( ostream & ostr,
const Group & G ) [friend]
 

Definition at line 239 of file Group.h.

istream & operator> ( istream & istr,
Group & G ) [friend]
 

Definition at line 245 of file Group.h.


The documentation for this class 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