#include <nf.h>
Public Member Functions | |
| SlimgbReduction (GroebnerStrategy &strat) | |
| SlimgbReduction () | |
| void | addPolynomial (const Polynomial &p) |
| void | reduce () |
| Polynomial | nextResult () |
Public Attributes | |
| std::vector< Polynomial > | result |
| polybori::groebner::SlimgbReduction< variant >::SlimgbReduction | ( | GroebnerStrategy & | strat | ) | [inline] |
| polybori::groebner::SlimgbReduction< variant >::SlimgbReduction | ( | ) | [inline] |
| void polybori::groebner::SlimgbReduction< variant >::addPolynomial | ( | const Polynomial & | p | ) | [inline] |
| Polynomial polybori::groebner::SlimgbReduction< variant >::nextResult | ( | ) | [inline] |
| void polybori::groebner::SlimgbReduction< variant >::reduce | ( | ) |
| std::vector<Polynomial> polybori::groebner::SlimgbReduction< variant >::result |
Referenced by polybori::groebner::SlimgbReduction< variant >::nextResult().
1.6.3