PolyBoRi
|
#include <LexBucket.h>
Public Member Functions | |
LexBucket (const BoolePolyRing &input_ring) | |
LexBucket & | operator+= (const Polynomial &p) |
LexBucket (const Polynomial &p) | |
void | clearFront () |
Exponent | leadExp () |
bool | isZero () |
void | updateTailStart () |
idx_type | getTailStart () |
void | increaseTailStart (idx_type new_start) |
Polynomial | value () |
Polynomial | getFront () |
bool | isOne () |
Public Attributes | |
BoolePolyRing | ring |
Static Public Attributes | |
static const int | var_group_size = 1 |
polybori::groebner::LexBucket::LexBucket | ( | const BoolePolyRing & | input_ring | ) | [inline] |
polybori::groebner::LexBucket::LexBucket | ( | const Polynomial & | p | ) | [inline] |
void polybori::groebner::LexBucket::clearFront | ( | ) | [inline] |
Polynomial polybori::groebner::LexBucket::getFront | ( | ) | [inline] |
Referenced by polybori::groebner::nf3_lexbuckets().
void polybori::groebner::LexBucket::increaseTailStart | ( | idx_type | new_start | ) |
bool polybori::groebner::LexBucket::isOne | ( | ) | [inline] |
References PBORI_ASSERT.
Referenced by polybori::groebner::nf3_lexbuckets().
Referenced by polybori::groebner::nf3_lexbuckets().
LexBucket & polybori::groebner::LexBucket::operator+= | ( | const Polynomial & | p | ) |
References polybori::groebner::without_prior_part().
References polybori::BoolePolyRing::nVariables(), and polybori::BoolePolynomial::ring().
References polybori::BoolePolynomial::isConstant(), and polybori::BoolePolynomial::isOne().
Referenced by polybori::groebner::nf3_lexbuckets().
const int polybori::groebner::LexBucket::var_group_size = 1 [static] |