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.
|
inline |
|
inline |
|
inline |
References polybori::BoolePolynomial::isZero().
|
inline |
void polybori::groebner::SlimgbReduction< variant >::reduce | ( | ) |
|
inline |
References polybori::BoolePolynomial::isZero(), polybori::BoolePolynomial::lead(), and PBORI_ASSERT.
std::vector<Polynomial> polybori::groebner::SlimgbReduction< variant >::result |