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

ExtendToHomChecker Class Reference

#include <ExtendToHomProblem.h>

List of all members.

Public Methods

 ExtendToHomChecker (class ExtendToHomProblem &boss, class SMMap &)
Trichotomy doesExtendToHom ()
Chars getExplanation () const
Trichotomy preliminaryCheckings ()
bool checkRelatorsInNilpotent () const

Private Methods

SetOf<WordgetAllRelators (class SMFPGroup &) const

Private Attributes

class ExtendToHomProblemtheBoss
class SMMaptheMap
const Map M
class SMFPGrouptheDomain
class SMFPGrouptheRange
FPGroup G1
FPGroup G2
class GICgic1
class GICgic2
class GCMgcm1
class GCMgcm2
int theClass
bool triedAbelianization
Chars explanation

Constructor & Destructor Documentation

ExtendToHomChecker::ExtendToHomChecker ( class ExtendToHomProblem & boss,
class SMMap & )

Member Function Documentation

Trichotomy ExtendToHomChecker::doesExtendToHom ( )

Chars ExtendToHomChecker::getExplanation ( ) const [inline]

Definition at line 101 of file ExtendToHomProblem.h.

Trichotomy ExtendToHomChecker::preliminaryCheckings ( )

bool ExtendToHomChecker::checkRelatorsInNilpotent ( ) const

SetOf<Word> ExtendToHomChecker::getAllRelators ( class SMFPGroup & ) const [private]

Member Data Documentation

class ExtendToHomProblem& ExtendToHomChecker::theBoss [private]

Definition at line 108 of file ExtendToHomProblem.h.

class SMMap& ExtendToHomChecker::theMap [private]

Definition at line 109 of file ExtendToHomProblem.h.

const Map ExtendToHomChecker::M [private]

Definition at line 110 of file ExtendToHomProblem.h.

class SMFPGroup& ExtendToHomChecker::theDomain [private]

Definition at line 112 of file ExtendToHomProblem.h.

class SMFPGroup& ExtendToHomChecker::theRange [private]

Definition at line 113 of file ExtendToHomProblem.h.

FPGroup ExtendToHomChecker::G1 [private]

Definition at line 115 of file ExtendToHomProblem.h.

FPGroup ExtendToHomChecker::G2 [private]

Definition at line 116 of file ExtendToHomProblem.h.

SetOf<Word> ExtendToHomChecker::relators [private]

Definition at line 117 of file ExtendToHomProblem.h.

class GIC& ExtendToHomChecker::gic1 [private]

Definition at line 119 of file ExtendToHomProblem.h.

class GIC& ExtendToHomChecker::gic2 [private]

Definition at line 120 of file ExtendToHomProblem.h.

class GCM& ExtendToHomChecker::gcm1 [private]

Definition at line 121 of file ExtendToHomProblem.h.

class GCM& ExtendToHomChecker::gcm2 [private]

Definition at line 122 of file ExtendToHomProblem.h.

int ExtendToHomChecker::theClass [private]

Definition at line 124 of file ExtendToHomProblem.h.

bool ExtendToHomChecker::triedAbelianization [private]

Definition at line 125 of file ExtendToHomProblem.h.

Chars ExtendToHomChecker::explanation [private]

Definition at line 128 of file ExtendToHomProblem.h.

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