PolyBoRi
|
Namespaces | |
namespace | PBORINAME |
namespace | PBORINAME::groebner |
Functions | |
Polynomial | PBORINAME::groebner::do_is_rewriteable (const Polynomial &p, const MonomialSet &leading_terms) |
bool | PBORINAME::groebner::is_rewriteable (const Polynomial &p, const MonomialSet &leading_terms) |