PolynomialSugar Class Reference

List of all members.

Public Member Functions

 PolynomialSugar (const Polynomial &p)
 PolynomialSugar (const Polynomial &p, 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

Constructor & Destructor Documentation

PolynomialSugar::PolynomialSugar ( const Polynomial p  )  [inline]

References exp, length, and sugar.

PolynomialSugar::PolynomialSugar ( const Polynomial p,
int  sugar,
len_type  length 
) [inline]

References exp.


Member Function Documentation

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

References exp, BooleEnv::ordering(), and sugar.

void PolynomialSugar::adjustLm (  )  [inline]

References exp.

void PolynomialSugar::adjustSugar (  )  [inline]

References sugar.

wlen_type PolynomialSugar::eliminationLength (  )  const [inline]

optimize that using length optimization

References exp, isZero(), length, and sugar.

Referenced by PSCompareByEl::operator()().

wlen_type PolynomialSugar::getLengthEstimation (  )  const [inline]

References length.

deg_type PolynomialSugar::getSugar (  )  const [inline]

References sugar.

Referenced by PSCompareByEl::operator()(), and parallel_reduce().

bool PolynomialSugar::isOne (  )  [inline]
bool PolynomialSugar::isZero (  )  const [inline]

Referenced by eliminationLength().

const BooleMonomial& PolynomialSugar::lead (  )  const [inline]
const Exponent& PolynomialSugar::leadExp (  )  const [inline]

References exp.

Referenced by LMLessComparePS::operator()().

Polynomial PolynomialSugar::value (  )  const [inline]

Member Data Documentation


The documentation for this class was generated from the following file:
Generated on Tue May 4 08:19:08 2010 for PolyBoRi by  doxygen 1.6.3