PolyBoRi
Public Member Functions | Protected Attributes | List of all members
polybori::groebner::PolynomialSugar Class Reference

This class defines PolynomialSugar. More...

#include <PolynomialSugar.h>

Public Member Functions

 PolynomialSugar (const Polynomial &poly)
 
 PolynomialSugar (const Polynomial &poly, int sugar, len_type length)
 
const BooleMonomiallead () const
 
const ExponentleadExp () const
 
deg_type getSugar () const
 
wlen_type getLengthEstimation () const
 
bool isZero () const
 
void add (const Polynomial p2, deg_type sugar2, wlen_type length)
 
void adjustSugar ()
 
bool isOne ()
 
Polynomial value () const
 
wlen_type eliminationLength () const
 
void adjustLm ()
 

Protected Attributes

Monomial lm
 
len_type length
 
deg_type sugar
 
Polynomial p
 
Exponent exp
 

Detailed Description

This class defines PolynomialSugar.

Constructor & Destructor Documentation

polybori::groebner::PolynomialSugar::PolynomialSugar ( const Polynomial poly)
inline

References PBORI_ASSERT.

polybori::groebner::PolynomialSugar::PolynomialSugar ( const Polynomial poly,
int  sugar,
len_type  length 
)
inline

References PBORI_ASSERT.

Member Function Documentation

void polybori::groebner::PolynomialSugar::add ( const Polynomial  p2,
deg_type  sugar2,
wlen_type  length 
)
inline
void polybori::groebner::PolynomialSugar::adjustLm ( )
inline

References PBORI_ASSERT.

void polybori::groebner::PolynomialSugar::adjustSugar ( )
inline
wlen_type polybori::groebner::PolynomialSugar::eliminationLength ( ) const
inline
Todo:
optimize that using length optimization

References PBORI_ASSERT.

Referenced by polybori::groebner::PSCompareByEl::operator()().

wlen_type polybori::groebner::PolynomialSugar::getLengthEstimation ( ) const
inline
deg_type polybori::groebner::PolynomialSugar::getSugar ( ) const
inline
bool polybori::groebner::PolynomialSugar::isOne ( )
inline
bool polybori::groebner::PolynomialSugar::isZero ( ) const
inline
const BooleMonomial& polybori::groebner::PolynomialSugar::lead ( ) const
inline
const Exponent& polybori::groebner::PolynomialSugar::leadExp ( ) const
inline
Polynomial polybori::groebner::PolynomialSugar::value ( ) const
inline

Member Data Documentation

Exponent polybori::groebner::PolynomialSugar::exp
protected
len_type polybori::groebner::PolynomialSugar::length
protected
Monomial polybori::groebner::PolynomialSugar::lm
protected
Polynomial polybori::groebner::PolynomialSugar::p
protected
deg_type polybori::groebner::PolynomialSugar::sugar
protected

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