#include <HilbertBasecase.h>
Definition at line 27 of file HilbertBasecase.h.
HilbertBasecase::HilbertBasecase |
( |
| ) |
|
HilbertBasecase::~HilbertBasecase |
( |
| ) |
|
bool HilbertBasecase::canSimplify |
( |
size_t |
var, |
|
|
const Ideal & |
ideal, |
|
|
const Term & |
counts |
|
) |
| |
|
private |
void HilbertBasecase::clearTodo |
( |
| ) |
|
|
private |
void HilbertBasecase::computeCoefficient |
( |
Ideal & |
ideal | ) |
|
size_t HilbertBasecase::eliminate1Counts |
( |
Ideal & |
ideal, |
|
|
Term & |
counts, |
|
|
bool & |
negate |
|
) |
| |
|
private |
void HilbertBasecase::freeIdeal |
( |
auto_ptr< Ideal > |
ideal | ) |
|
|
private |
const mpz_class & HilbertBasecase::getLastCoefficient |
( |
| ) |
|
auto_ptr< Ideal > HilbertBasecase::getNewIdeal |
( |
| ) |
|
|
private |
bool HilbertBasecase::stepComputation |
( |
Entry & |
entry, |
|
|
Entry & |
newEntry |
|
) |
| |
|
private |
vector<Ideal*> HilbertBasecase::_idealCache |
|
private |
size_t HilbertBasecase::_stepsPerformed |
|
private |
mpz_class HilbertBasecase::_sum |
|
private |
Term HilbertBasecase::_term |
|
private |
vector<Entry> HilbertBasecase::_todo |
|
private |
The documentation for this class was generated from the following files: