#include <BigattiHilbertAlgorithm.h>
Definition at line 32 of file BigattiHilbertAlgorithm.h.
◆ BigattiHilbertAlgorithm()
Construct an object for running the Bigatti et.al.
algorithm on ideal. Both translator and consumer must remain valid for the lifetime of this object.
Definition at line 25 of file BigattiHilbertAlgorithm.cpp.
◆ freeState()
◆ getPivot()
◆ processState()
◆ run()
void BigattiHilbertAlgorithm::run |
( |
| ) |
|
◆ setComputeUnivariate()
void BigattiHilbertAlgorithm::setComputeUnivariate |
( |
bool |
value | ) |
|
◆ setDoCanonicalOutput()
void BigattiHilbertAlgorithm::setDoCanonicalOutput |
( |
bool |
value | ) |
|
◆ setPrintDebug()
void BigattiHilbertAlgorithm::setPrintDebug |
( |
bool |
value | ) |
|
◆ setPrintStatistics()
void BigattiHilbertAlgorithm::setPrintStatistics |
( |
bool |
value | ) |
|
◆ setUseSimplification()
void BigattiHilbertAlgorithm::setUseSimplification |
( |
bool |
value | ) |
|
◆ simplify()
◆ BigattiState
◆ _baseCase
◆ _computeUnivariate
bool BigattiHilbertAlgorithm::_computeUnivariate |
|
private |
◆ _consumer
◆ _params
◆ _pivot
◆ _stateCache
◆ _tasks
◆ _tmp_processState_pivot
Term BigattiHilbertAlgorithm::_tmp_processState_pivot |
|
private |
◆ _tmp_simplify_gcd
Term BigattiHilbertAlgorithm::_tmp_simplify_gcd |
|
private |
◆ _translator
◆ _varCount
size_t BigattiHilbertAlgorithm::_varCount |
|
private |
The documentation for this class was generated from the following files: