CoCoALib-0.9905 date: 23 May 2007


CoCoA::GReductor Class Reference

#include <TmpGReductor.H>

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

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 CoCoA::Reductors::size().

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

Definition at line 74 of file TmpGReductor.H.

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

Definition at line 75 of file TmpGReductor.H.

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

Definition at line 76 of file TmpGReductor.H.

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

Definition at line 77 of file TmpGReductor.H.

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

Definition at line 78 of file TmpGReductor.H.

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.

void CoCoA::GReductor::GetCandidateGBasis PolyList  )  const
 

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

Definition at line 97 of file TmpGReductor.H.

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

Definition at line 98 of file TmpGReductor.H.

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

Definition at line 99 of file TmpGReductor.H.

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().

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

Definition at line 107 of file TmpGReductor.H.

References CoCoA::GRingInfo::myNewSPR().

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

Definition at line 108 of file TmpGReductor.H.

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  ) 
 


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.


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