PolyBoRi
|
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 |
polybori::groebner::PolynomialSugar::PolynomialSugar | ( | const Polynomial & | p | ) | [inline] |
polybori::groebner::PolynomialSugar::PolynomialSugar | ( | const Polynomial & | p, |
int | sugar, | ||
len_type | length | ||
) | [inline] |
void polybori::groebner::PolynomialSugar::add | ( | const Polynomial | p2, |
deg_type | sugar2, | ||
wlen_type | length | ||
) | [inline] |
void polybori::groebner::PolynomialSugar::adjustLm | ( | ) | [inline] |
void polybori::groebner::PolynomialSugar::adjustSugar | ( | ) | [inline] |
BoolePolynomial::size_type BoolePolynomial::eliminationLength | ( | ) | const [inline] |
Referenced by polybori::groebner::PSCompareByEl::operator()().
wlen_type polybori::groebner::PolynomialSugar::getLengthEstimation | ( | ) | const [inline] |
deg_type polybori::groebner::PolynomialSugar::getSugar | ( | ) | const [inline] |
Referenced by polybori::groebner::PSCompareByEl::operator()(), and polybori::groebner::parallel_reduce().
bool polybori::groebner::PolynomialSugar::isOne | ( | ) | [inline] |
bool polybori::groebner::PolynomialSugar::isZero | ( | ) | const [inline] |
BoolePolynomial::monom_type BoolePolynomial::lead | ( | ) | const [inline] |
BoolePolynomial::exp_type BoolePolynomial::leadExp | ( | ) | const [inline] |
Referenced by polybori::groebner::LMLessComparePS::operator()().
Polynomial polybori::groebner::PolynomialSugar::value | ( | ) | const [inline] |
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] |