#include <LexBucket.h>
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 |
idx_type polybori::groebner::LexBucket::getTailStart |
( |
| ) |
|
void polybori::groebner::LexBucket::increaseTailStart |
( |
idx_type |
new_start | ) |
|
bool polybori::groebner::LexBucket::isOne |
( |
| ) |
|
|
inline |
bool polybori::groebner::LexBucket::isZero |
( |
| ) |
|
Exponent polybori::groebner::LexBucket::leadExp |
( |
| ) |
|
void polybori::groebner::LexBucket::updateTailStart |
( |
| ) |
|
Polynomial polybori::groebner::LexBucket::value |
( |
| ) |
|
const int polybori::groebner::LexBucket::var_group_size =1 |
|
static |
The documentation for this class was generated from the following files: