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

SubgroupOfOneRelatorGroup Class Reference

#include <SubgroupOfOneRelatorGroup.h>

Inheritance diagram for SubgroupOfOneRelatorGroup::

ORGSubgroup List of all members.

Public Methods

 SubgroupOfOneRelatorGroup (const OneRelatorGroup &G, const VectorOf< Word > &gens)
ORGSubgroupcopy () const
const OneRelatorGroupparentGroup () const
bool contains (const Word &w) const
bool contains (const Word &w, bool keepDetails) const
Word rewriteFromGroupToSubgroupGenerators (const Word &w) const
ProductOfRelatorConjugates getIdentityProductDecomposition (const Word &w) const
SubgroupOfOneRelatorGroup join (const SubgroupOfOneRelatorGroup &sg) const
bool operator== (const SubgroupOfOneRelatorGroup &S) const

Private Methods

void write (ostream &ostr) const
void read (istream &istr)
void setContainmentProblemData (const Word &w, bool in_subgroup, const Word &wInBasis, bool keepDetails, const ProductOfRelatorConjugates &product) const
bool subgroupsDecomposition (const Word &w, const SubgroupOfOneRelatorGroup &T, const SubgroupOfOneRelatorGroup &A, Word &t_part, Word &a_part, const bool keepDetails, ProductOfRelatorConjugates &prodDeco) const
bool pureContainmentProblem (const Word &u, bool keepDetails=false) const
class MagnusBreakdown buildMagnusBreakdown (const Word &w, SetOf< Generator > &subGens) const

Private Attributes

OneRelatorGroup theParentGroup
ContainmentProblemData containsResult

Constructor & Destructor Documentation

SubgroupOfOneRelatorGroup::SubgroupOfOneRelatorGroup ( const OneRelatorGroup & G,
const VectorOf< Word > & gens )

Referenced by copy().

Member Function Documentation

ORGSubgroup * SubgroupOfOneRelatorGroup::copy ( ) const [inline, virtual]

Reimplemented from ORGSubgroup.

Definition at line 156 of file SubgroupOfOneRelatorGroup.h.

const OneRelatorGroup & SubgroupOfOneRelatorGroup::parentGroup ( ) const [inline, virtual]

Reimplemented from ORGSubgroup.

Definition at line 164 of file SubgroupOfOneRelatorGroup.h.

bool SubgroupOfOneRelatorGroup::contains ( const Word & w ) const [virtual]

Reimplemented from ORGSubgroup.

bool SubgroupOfOneRelatorGroup::contains ( const Word & w,
bool keepDetails ) const

Word SubgroupOfOneRelatorGroup::rewriteFromGroupToSubgroupGenerators ( const Word & w ) const [virtual]

Reimplemented from ORGSubgroup.

ProductOfRelatorConjugates SubgroupOfOneRelatorGroup::getIdentityProductDecomposition ( const Word & w ) const

SubgroupOfOneRelatorGroup SubgroupOfOneRelatorGroup::join ( const SubgroupOfOneRelatorGroup & sg ) const

bool SubgroupOfOneRelatorGroup::operator== ( const SubgroupOfOneRelatorGroup & S ) const [inline]

Definition at line 195 of file SubgroupOfOneRelatorGroup.h.

void SubgroupOfOneRelatorGroup::write ( ostream & ostr ) const [private, virtual]

Reimplemented from ORGSubgroup.

void SubgroupOfOneRelatorGroup::read ( istream & istr ) [private, virtual]

Reimplemented from ORGSubgroup.

void SubgroupOfOneRelatorGroup::setContainmentProblemData ( const Word & w,
bool in_subgroup,
const Word & wInBasis,
bool keepDetails,
const ProductOfRelatorConjugates & product ) const [private]

bool SubgroupOfOneRelatorGroup::subgroupsDecomposition ( const Word & w,
const SubgroupOfOneRelatorGroup & T,
const SubgroupOfOneRelatorGroup & A,
Word & t_part,
Word & a_part,
const bool keepDetails,
ProductOfRelatorConjugates & prodDeco ) const [private]

bool SubgroupOfOneRelatorGroup::pureContainmentProblem ( const Word & u,
bool keepDetails = false ) const [private]

class MagnusBreakdown SubgroupOfOneRelatorGroup::buildMagnusBreakdown ( const Word & w,
SetOf< Generator > & subGens ) const [private]

Member Data Documentation

OneRelatorGroup SubgroupOfOneRelatorGroup::theParentGroup [private]

Definition at line 225 of file SubgroupOfOneRelatorGroup.h.

ContainmentProblemData SubgroupOfOneRelatorGroup::containsResult [private]

Definition at line 251 of file SubgroupOfOneRelatorGroup.h.

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