polybori::groebner::PolynomialSugar Class Reference

This class defines PolynomialSugar. More...

#include <PolynomialSugar.h>

List of all members.

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

const BooleMonomial& polybori::groebner::PolynomialSugar::lead (  )  const [inline]

const Exponent& polybori::groebner::PolynomialSugar::leadExp (  )  const [inline]

deg_type polybori::groebner::PolynomialSugar::getSugar (  )  const [inline]

wlen_type polybori::groebner::PolynomialSugar::getLengthEstimation (  )  const [inline]

bool polybori::groebner::PolynomialSugar::isZero (  )  const [inline]

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

References PBORI_ASSERT.

void polybori::groebner::PolynomialSugar::adjustSugar (  )  [inline]

bool polybori::groebner::PolynomialSugar::isOne (  )  [inline]

Polynomial polybori::groebner::PolynomialSugar::value (  )  const [inline]

wlen_type polybori::groebner::PolynomialSugar::eliminationLength (  )  const [inline]

Todo:
optimize that using length optimization

References PBORI_ASSERT.

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

void polybori::groebner::PolynomialSugar::adjustLm (  )  [inline]

References PBORI_ASSERT.


Member Data Documentation


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

Generated on Wed Jan 30 16:39:54 2013 for PolyBoRi by  doxygen 1.5.6