carl  24.04
Computer ARithmetic Library
Public Member Functions | Static Public Member Functions | Protected Member Functions | Protected Attributes | Static Private Attributes
carl::BuchbergerStats Class Reference

A little class for gathering statistics about the Buchberger algorithm calls. More...

#include <BuchbergerStats.h>

Collaboration diagram for carl::BuchbergerStats:
Collaboration graph
[legend]

Public Member Functions

void TSQWithConstant ()
 Count that we found a TSQ which had a constant trailing term. More...
 
void TSQWithoutConstant ()
 Count that we found a TSQ which did not have a constant trailing term. More...
 
void SingleTermSFP ()
 Count that we could reduce a single term polynomial by calculating the Squarefree part. More...
 
void ReducibleIdentity ()
 
void TreatSPair ()
 Count that we take and reduce another S-Pair. More...
 
void NonZeroReduction ()
 Count that an S-Pair reduced to some non zero polynomial. More...
 
unsigned getNrTSQWithConstant () const
 
unsigned getNrTSQWithoutConstant () const
 
unsigned getSingleTermSFP () const
 
unsigned getNrReducibleIdentities () const
 

Static Public Member Functions

static BuchbergerStats * getInstance ()
 

Protected Member Functions

 BuchbergerStats ()
 

Protected Attributes

unsigned mNrOfTSQWithConstant
 
unsigned mNrOfTSQWithoutConstant
 
unsigned mNrOfSingleTermSFP
 
unsigned mNrOfReducibleIdentities
 
unsigned mNrOfReductions
 
unsigned mNrOfNonZeroReductions
 

Static Private Attributes

static BuchbergerStats * instance = nullptr
 

Detailed Description

A little class for gathering statistics about the Buchberger algorithm calls.

Definition at line 18 of file BuchbergerStats.h.

Constructor & Destructor Documentation

◆ BuchbergerStats()

carl::BuchbergerStats::BuchbergerStats ( )
inlineprotected

Definition at line 88 of file BuchbergerStats.h.

Here is the caller graph for this function:

Member Function Documentation

◆ getInstance()

BuchbergerStats * carl::BuchbergerStats::getInstance ( )
static

Definition at line 16 of file BuchbergerStats.cpp.

Here is the call graph for this function:

◆ getNrReducibleIdentities()

unsigned carl::BuchbergerStats::getNrReducibleIdentities ( ) const
inline

Definition at line 82 of file BuchbergerStats.h.

◆ getNrTSQWithConstant()

unsigned carl::BuchbergerStats::getNrTSQWithConstant ( ) const
inline

Definition at line 67 of file BuchbergerStats.h.

◆ getNrTSQWithoutConstant()

unsigned carl::BuchbergerStats::getNrTSQWithoutConstant ( ) const
inline

Definition at line 72 of file BuchbergerStats.h.

◆ getSingleTermSFP()

unsigned carl::BuchbergerStats::getSingleTermSFP ( ) const
inline

Definition at line 77 of file BuchbergerStats.h.

◆ NonZeroReduction()

void carl::BuchbergerStats::NonZeroReduction ( )
inline

Count that an S-Pair reduced to some non zero polynomial.

Definition at line 62 of file BuchbergerStats.h.

◆ ReducibleIdentity()

void carl::BuchbergerStats::ReducibleIdentity ( )
inline

Definition at line 47 of file BuchbergerStats.h.

◆ SingleTermSFP()

void carl::BuchbergerStats::SingleTermSFP ( )
inline

Count that we could reduce a single term polynomial by calculating the Squarefree part.

Definition at line 42 of file BuchbergerStats.h.

◆ TreatSPair()

void carl::BuchbergerStats::TreatSPair ( )
inline

Count that we take and reduce another S-Pair.

Definition at line 54 of file BuchbergerStats.h.

◆ TSQWithConstant()

void carl::BuchbergerStats::TSQWithConstant ( )
inline

Count that we found a TSQ which had a constant trailing term.

Definition at line 26 of file BuchbergerStats.h.

◆ TSQWithoutConstant()

void carl::BuchbergerStats::TSQWithoutConstant ( )
inline

Count that we found a TSQ which did not have a constant trailing term.

Definition at line 34 of file BuchbergerStats.h.

Field Documentation

◆ instance

BuchbergerStats * carl::BuchbergerStats::instance = nullptr
staticprivate

Definition at line 105 of file BuchbergerStats.h.

◆ mNrOfNonZeroReductions

unsigned carl::BuchbergerStats::mNrOfNonZeroReductions
protected

Definition at line 102 of file BuchbergerStats.h.

◆ mNrOfReducibleIdentities

unsigned carl::BuchbergerStats::mNrOfReducibleIdentities
protected

Definition at line 100 of file BuchbergerStats.h.

◆ mNrOfReductions

unsigned carl::BuchbergerStats::mNrOfReductions
protected

Definition at line 101 of file BuchbergerStats.h.

◆ mNrOfSingleTermSFP

unsigned carl::BuchbergerStats::mNrOfSingleTermSFP
protected

Definition at line 99 of file BuchbergerStats.h.

◆ mNrOfTSQWithConstant

unsigned carl::BuchbergerStats::mNrOfTSQWithConstant
protected

Definition at line 97 of file BuchbergerStats.h.

◆ mNrOfTSQWithoutConstant

unsigned carl::BuchbergerStats::mNrOfTSQWithoutConstant
protected

Definition at line 98 of file BuchbergerStats.h.

The documentation for this class was generated from the following files: