CoCoALib-0.9905 date: 23 May 2007


CoCoA::GReductor Class Reference

#include <TmpGReductor.H>

Collaboration diagram for CoCoA::GReductor:

Collaboration graph
[legend]
List of all members.

Public Member Functions

 GReductor (const GRingInfo &, const PolyList &, const int StatLevel=-1, const Reductors::UseBorelMarker=Reductors::DontUseBorel, const bool IsDynamic=false, const bool CopCriterion=true, const bool GMCriteria=true, const bool BCriterion=true, const bool DivCriterion=true)
 GReductor (const GRingInfo &, const GPolyList &, const int StatLevel=-1, const Reductors::UseBorelMarker=Reductors::DontUseBorel, const bool IsDynamic=false, const bool CopCriterion=true, const bool GMCriteria=true, const bool BCriterion=true, const bool DivCriterion=true)
 GReductor (const GReductor &)
 ~GReductor ()
 GReductor (const GRingInfo &, GPolyList &, const ClearType, const int StatLevel=-1, const Reductors::UseBorelMarker=Reductors::DontUseBorel, const bool IsDynamic=false, const bool CopCriterion=true, const bool GMCriteria=true, const bool BCriterion=true, const bool DivCriterion=true)
unsigned int myReductorsLen () const
unsigned int myGBasisLen () const
unsigned int myPairsLen () const
bool myPreparationDone () const
bool IsDynamic () const
bool WrongLPPFound () const
void myGBasis (PolyList &)
void myGBasis (GPolyList &)
void myGBasisClear (GPolyList &)
 GB output in GPoly form.
void myGBasis (VectorList &)
void myDoAFFGBasis ()
void myDoGBasis ()
 flag may be set for using Borel reductors
void _myDoGBasis ()
 flag may be set for using Borel reductors
void myReduceCurrentSPoly ()
void myPrepareGBasis ()
 flag may be set for using Borel reductors
void myFinalizeGBasis ()
void myDoGBasis (const int ReductionNumber)
void myReduceUntilNonZeroRedSP ()
void myReduceUntilWrongLPPFound (RefPPMonoidElem, std::vector< RingElem > &)
GPoly GetSPoly () const
void GetCandidateGBasis (PolyList &) const
unsigned int GetAge () const
unsigned int GetNReductions () const
void SetSPoly (GPoly &p)
void myDoSATGBasis ()
 dehomog algorithm
void myStampaPPGB (std::ostream &) const
 print ?
void myStampaGB (std::ostream &) const
 print ?
void myStampaPairs (std::ostream &) const
 print ?
void myStampaReductors (std::ostream &) const
 print ?
void myStampaStats (std::ostream &out) const
const SparsePolyRingmyPRing () const
const GRingInfomyGRingInfo () const
void Rebuild (const PolyList &)
 rebuild the GReductor initliazinig it with the PL
void myUpdateBasisOnly ()
 Updates the Basis only.
void myCreatePairs ()
void myCreateSpecialPairs (GPolyList &)
void myDoGBasisByBatch ()
void myPrepareGBasisPairsExcluded ()
void myBuildNewPairsAll (GPairList &)

Static Public Attributes

static int ourDefaultStatLevel
 default verbosity level for statistics

Private Member Functions

unsigned int myGMInsert (GPairList &, GPair)
void myBuildNewPairs (GPairList &)
void myUpdateBasisAndPairs ()
void myApplyBCriterion ()

Private Attributes

const GRingInfo myGRingInfoValue
GPairList myPairs
Reductors myTrueReductors
GPolyPtrList myGB
GPolyList myPolys
GPoly mySPoly
degree myOldDeg
degree myCurrentPairDeg
Stats myStat
double myReductionTime
double myTotalTime
bool myPrepared
unsigned int myAge
unsigned int myNReductions
bool myCopCriterion
bool IsDynamicAlgorithm
bool myWrongLPPFoundValue
bool myGMCriteria
bool myBCriterion
bool myDivCriterion

Friends

std::ostream & operator<< (std::ostream &out, const GReductor &GR)
 print ?

Detailed Description

Definition at line 39 of file TmpGReductor.H.


Constructor & Destructor Documentation

CoCoA::GReductor::GReductor const GRingInfo ,
const PolyList ,
const int  StatLevel = -1,
const Reductors::UseBorelMarker  = Reductors::DontUseBorel,
const bool  IsDynamic = false,
const bool  CopCriterion = true,
const bool  GMCriteria = true,
const bool  BCriterion = true,
const bool  DivCriterion = true
 

CoCoA::GReductor::GReductor const GRingInfo ,
const GPolyList ,
const int  StatLevel = -1,
const Reductors::UseBorelMarker  = Reductors::DontUseBorel,
const bool  IsDynamic = false,
const bool  CopCriterion = true,
const bool  GMCriteria = true,
const bool  BCriterion = true,
const bool  DivCriterion = true
 

CoCoA::GReductor::GReductor const GReductor  ) 
 

CoCoA::GReductor::~GReductor  )  [inline]
 

Definition at line 62 of file TmpGReductor.H.

CoCoA::GReductor::GReductor const GRingInfo ,
GPolyList ,
const   ClearType,
const int  StatLevel = -1,
const Reductors::UseBorelMarker  = Reductors::DontUseBorel,
const bool  IsDynamic = false,
const bool  CopCriterion = true,
const bool  GMCriteria = true,
const bool  BCriterion = true,
const bool  DivCriterion = true
 


Member Function Documentation

unsigned int CoCoA::GReductor::myReductorsLen  )  const [inline]
 

Definition at line 73 of file TmpGReductor.H.

References myTrueReductors, and CoCoA::Reductors::size().

unsigned int CoCoA::GReductor::myGBasisLen  )  const [inline]
 

Definition at line 74 of file TmpGReductor.H.

References myGB.

unsigned int CoCoA::GReductor::myPairsLen  )  const [inline]
 

Definition at line 75 of file TmpGReductor.H.

References myPairs.

bool CoCoA::GReductor::myPreparationDone  )  const [inline]
 

Definition at line 76 of file TmpGReductor.H.

References myPrepared.

bool CoCoA::GReductor::IsDynamic  )  const [inline]
 

Definition at line 77 of file TmpGReductor.H.

References IsDynamicAlgorithm.

bool CoCoA::GReductor::WrongLPPFound  )  const [inline]
 

Definition at line 78 of file TmpGReductor.H.

References myWrongLPPFoundValue.

void CoCoA::GReductor::myGBasis PolyList  ) 
 

void CoCoA::GReductor::myGBasis GPolyList  ) 
 

void CoCoA::GReductor::myGBasisClear GPolyList  ) 
 

GB output in GPoly form.

void CoCoA::GReductor::myGBasis VectorList  ) 
 

void CoCoA::GReductor::myDoAFFGBasis  ) 
 

void CoCoA::GReductor::myDoGBasis  ) 
 

flag may be set for using Borel reductors

void CoCoA::GReductor::_myDoGBasis  ) 
 

flag may be set for using Borel reductors

void CoCoA::GReductor::myReduceCurrentSPoly  ) 
 

void CoCoA::GReductor::myPrepareGBasis  ) 
 

flag may be set for using Borel reductors

void CoCoA::GReductor::myFinalizeGBasis  ) 
 

void CoCoA::GReductor::myDoGBasis const int  ReductionNumber  ) 
 

void CoCoA::GReductor::myReduceUntilNonZeroRedSP  ) 
 

void CoCoA::GReductor::myReduceUntilWrongLPPFound RefPPMonoidElem  ,
std::vector< RingElem > & 
 

GPoly CoCoA::GReductor::GetSPoly  )  const [inline]
 

Definition at line 95 of file TmpGReductor.H.

References mySPoly.

void CoCoA::GReductor::GetCandidateGBasis PolyList  )  const
 

unsigned int CoCoA::GReductor::GetAge  )  const [inline]
 

Definition at line 97 of file TmpGReductor.H.

References myAge.

unsigned int CoCoA::GReductor::GetNReductions  )  const [inline]
 

Definition at line 98 of file TmpGReductor.H.

References myNReductions.

void CoCoA::GReductor::SetSPoly GPoly p  )  [inline]
 

Definition at line 99 of file TmpGReductor.H.

References mySPoly.

void CoCoA::GReductor::myDoSATGBasis  ) 
 

dehomog algorithm

void CoCoA::GReductor::myStampaPPGB std::ostream &   )  const
 

print ?

void CoCoA::GReductor::myStampaGB std::ostream &   )  const
 

print ?

void CoCoA::GReductor::myStampaPairs std::ostream &   )  const
 

print ?

void CoCoA::GReductor::myStampaReductors std::ostream &   )  const
 

print ?

void CoCoA::GReductor::myStampaStats std::ostream &  out  )  const [inline]
 

Definition at line 105 of file TmpGReductor.H.

References CoCoA::Stats::myStampa(), and myStat.

const SparsePolyRing& CoCoA::GReductor::myPRing  )  const [inline]
 

Definition at line 107 of file TmpGReductor.H.

References myGRingInfoValue, and CoCoA::GRingInfo::myNewSPR().

const GRingInfo& CoCoA::GReductor::myGRingInfo  )  const [inline]
 

Definition at line 108 of file TmpGReductor.H.

References myGRingInfoValue.

void CoCoA::GReductor::Rebuild const PolyList  ) 
 

rebuild the GReductor initliazinig it with the PL

void CoCoA::GReductor::myUpdateBasisOnly  ) 
 

Updates the Basis only.

void CoCoA::GReductor::myCreatePairs  ) 
 

void CoCoA::GReductor::myCreateSpecialPairs GPolyList  ) 
 

void CoCoA::GReductor::myDoGBasisByBatch  ) 
 

void CoCoA::GReductor::myPrepareGBasisPairsExcluded  ) 
 

void CoCoA::GReductor::myBuildNewPairsAll GPairList  ) 
 

unsigned int CoCoA::GReductor::myGMInsert GPairList ,
GPair 
[private]
 

void CoCoA::GReductor::myBuildNewPairs GPairList  )  [private]
 

void CoCoA::GReductor::myUpdateBasisAndPairs  )  [private]
 

void CoCoA::GReductor::myApplyBCriterion  )  [private]
 


Friends And Related Function Documentation

std::ostream& operator<< std::ostream &  out,
const GReductor GR
[friend]
 

print ?


Member Data Documentation

int CoCoA::GReductor::ourDefaultStatLevel [static]
 

default verbosity level for statistics

Definition at line 120 of file TmpGReductor.H.

const GRingInfo CoCoA::GReductor::myGRingInfoValue [private]
 

Definition at line 122 of file TmpGReductor.H.

Referenced by myGRingInfo(), and myPRing().

GPairList CoCoA::GReductor::myPairs [private]
 

Definition at line 123 of file TmpGReductor.H.

Referenced by myPairsLen().

Reductors CoCoA::GReductor::myTrueReductors [private]
 

Definition at line 124 of file TmpGReductor.H.

Referenced by myReductorsLen().

GPolyPtrList CoCoA::GReductor::myGB [private]
 

Definition at line 125 of file TmpGReductor.H.

Referenced by myGBasisLen().

GPolyList CoCoA::GReductor::myPolys [private]
 

Definition at line 126 of file TmpGReductor.H.

GPoly CoCoA::GReductor::mySPoly [private]
 

Definition at line 127 of file TmpGReductor.H.

Referenced by GetSPoly(), and SetSPoly().

degree CoCoA::GReductor::myOldDeg [private]
 

Definition at line 128 of file TmpGReductor.H.

degree CoCoA::GReductor::myCurrentPairDeg [private]
 

Definition at line 129 of file TmpGReductor.H.

Stats CoCoA::GReductor::myStat [private]
 

Definition at line 130 of file TmpGReductor.H.

Referenced by myStampaStats().

double CoCoA::GReductor::myReductionTime [private]
 

Definition at line 131 of file TmpGReductor.H.

double CoCoA::GReductor::myTotalTime [private]
 

Definition at line 132 of file TmpGReductor.H.

bool CoCoA::GReductor::myPrepared [private]
 

Definition at line 133 of file TmpGReductor.H.

Referenced by myPreparationDone().

unsigned int CoCoA::GReductor::myAge [private]
 

Definition at line 134 of file TmpGReductor.H.

Referenced by GetAge().

unsigned int CoCoA::GReductor::myNReductions [private]
 

Definition at line 135 of file TmpGReductor.H.

Referenced by GetNReductions().

bool CoCoA::GReductor::myCopCriterion [private]
 

Definition at line 136 of file TmpGReductor.H.

bool CoCoA::GReductor::IsDynamicAlgorithm [private]
 

Definition at line 137 of file TmpGReductor.H.

Referenced by IsDynamic().

bool CoCoA::GReductor::myWrongLPPFoundValue [private]
 

Definition at line 138 of file TmpGReductor.H.

Referenced by WrongLPPFound().

bool CoCoA::GReductor::myGMCriteria [private]
 

Definition at line 139 of file TmpGReductor.H.

bool CoCoA::GReductor::myBCriterion [private]
 

Definition at line 140 of file TmpGReductor.H.

bool CoCoA::GReductor::myDivCriterion [private]
 

Definition at line 141 of file TmpGReductor.H.


The documentation for this class was generated from the following file:
Generated on Wed May 23 13:44:59 2007 for CoCoALib by  doxygen 1.4.6