#include <PolynomialSugar.h>
Public Member Functions | |
PolynomialSugar (const Polynomial &poly) | |
PolynomialSugar (const Polynomial &poly, 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 & | poly | ) | [inline] |
References PBORI_ASSERT.
polybori::groebner::PolynomialSugar::PolynomialSugar | ( | const Polynomial & | poly, | |
int | sugar, | |||
len_type | length | |||
) | [inline] |
References PBORI_ASSERT.
const BooleMonomial& polybori::groebner::PolynomialSugar::lead | ( | ) | const [inline] |
Referenced by polybori::groebner::LMLessComparePS::operator()().
const Exponent& polybori::groebner::PolynomialSugar::leadExp | ( | ) | const [inline] |
deg_type polybori::groebner::PolynomialSugar::getSugar | ( | ) | const [inline] |
Referenced by polybori::groebner::PSCompareByEl::operator()(), and polybori::groebner::parallel_reduce().
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] |
References PBORI_ASSERT.
Referenced by polybori::groebner::PSCompareByEl::operator()().
void polybori::groebner::PolynomialSugar::adjustLm | ( | ) | [inline] |
References PBORI_ASSERT.
Monomial polybori::groebner::PolynomialSugar::lm [protected] |
len_type polybori::groebner::PolynomialSugar::length [protected] |
deg_type polybori::groebner::PolynomialSugar::sugar [protected] |
Polynomial polybori::groebner::PolynomialSugar::p [protected] |
Exponent polybori::groebner::PolynomialSugar::exp [protected] |