Public Member Functions | |
PolynomialSugar (const Polynomial &p) | |
PolynomialSugar (const Polynomial &p, int sugar, len_type length) | |
const BooleMonomial & | lead () const |
const Exponent & | leadExp () 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 |
PolynomialSugar::PolynomialSugar | ( | const Polynomial & | p | ) | [inline] |
PolynomialSugar::PolynomialSugar | ( | const Polynomial & | p, | |
int | sugar, | |||
len_type | length | |||
) | [inline] |
References exp.
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] |
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] |
Exponent PolynomialSugar::exp [protected] |
Referenced by add(), adjustLm(), eliminationLength(), leadExp(), and PolynomialSugar().
len_type PolynomialSugar::length [protected] |
Referenced by eliminationLength(), getLengthEstimation(), and PolynomialSugar().
Monomial PolynomialSugar::lm [protected] |
Polynomial PolynomialSugar::p [protected] |
deg_type PolynomialSugar::sugar [protected] |
Referenced by add(), adjustSugar(), eliminationLength(), getSugar(), and PolynomialSugar().