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

IsTrivialChecker Class Reference

#include <IsTrivialProblem.h>

List of all members.

Public Methods

 IsTrivialChecker (class SMFPGroup &)
Trichotomy isTrivial ()
Chars getExplanation ()
Chars getDetailsFileName () const
bool haveDetails () const

Private Methods

Trichotomy preliminaryCheckings ()

Private Attributes

class SMFPGrouptheGroup
FPGroup G
GroupFastChecks checker
class GICgic
class GCMgcm
bool triedAbelianization
bool triedPreliminaryCheckings
Chars explanation
DetailedReport trivialDetails


Constructor & Destructor Documentation

IsTrivialChecker::IsTrivialChecker ( class SMFPGroup & )
 


Member Function Documentation

Trichotomy IsTrivialChecker::isTrivial ( )
 

Chars IsTrivialChecker::getExplanation ( ) [inline]
 

Definition at line 46 of file IsTrivialProblem.h.

Chars IsTrivialChecker::getDetailsFileName ( ) const [inline]
 

Definition at line 177 of file IsTrivialProblem.h.

bool IsTrivialChecker::haveDetails ( ) const [inline]
 

Definition at line 183 of file IsTrivialProblem.h.

Trichotomy IsTrivialChecker::preliminaryCheckings ( ) [private]
 


Member Data Documentation

class SMFPGroup& IsTrivialChecker::theGroup [private]
 

Definition at line 54 of file IsTrivialProblem.h.

FPGroup IsTrivialChecker::G [private]
 

Definition at line 56 of file IsTrivialProblem.h.

GroupFastChecks IsTrivialChecker::checker [private]
 

Definition at line 58 of file IsTrivialProblem.h.

class GIC& IsTrivialChecker::gic [private]
 

Definition at line 60 of file IsTrivialProblem.h.

class GCM& IsTrivialChecker::gcm [private]
 

Definition at line 62 of file IsTrivialProblem.h.

bool IsTrivialChecker::triedAbelianization [private]
 

Definition at line 67 of file IsTrivialProblem.h.

bool IsTrivialChecker::triedPreliminaryCheckings [private]
 

Definition at line 69 of file IsTrivialProblem.h.

Chars IsTrivialChecker::explanation [private]
 

Definition at line 71 of file IsTrivialProblem.h.

DetailedReport IsTrivialChecker::trivialDetails [private]
 

Definition at line 73 of file IsTrivialProblem.h.


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