PolyBoRi
|
This class defines SlimgbReduction. More...
#include <SlimgbReduction.h>
Public Member Functions | |
SlimgbReduction (GroebnerStrategy &strat) | |
SlimgbReduction () | |
void | addPolynomial (const Polynomial &p) |
void | reduce () |
Polynomial | nextResult () |
template<> | |
void | reduce () |
Public Attributes | |
std::vector< Polynomial > | result |
This class defines SlimgbReduction.
polybori::groebner::SlimgbReduction< variant >::SlimgbReduction | ( | GroebnerStrategy & | strat | ) | [inline] |
polybori::groebner::SlimgbReduction< variant >::SlimgbReduction | ( | ) | [inline] |
void polybori::groebner::SlimgbReduction< variant >::addPolynomial | ( | const Polynomial & | p | ) | [inline] |
References polybori::BoolePolynomial::isZero().
Polynomial polybori::groebner::SlimgbReduction< variant >::nextResult | ( | ) | [inline] |
void polybori::groebner::SlimgbReduction< variant >::reduce | ( | ) |
void polybori::groebner::SlimgbReduction< SLIMGB_SIMPLEST >::reduce | ( | ) | [inline] |
References polybori::BoolePolynomial::isZero(), polybori::BoolePolynomial::lead(), and PBORI_ASSERT.
std::vector<Polynomial> polybori::groebner::SlimgbReduction< variant >::result |