#include "groebner_defs.h"
#include "polynomial_properties.h"
#include <iostream>
Namespaces | |
namespace | polybori |
namespace | polybori::groebner |
Functions | |
Polynomial | polybori::groebner::do_is_rewriteable (const Polynomial &p, const MonomialSet &leading_terms) |
bool | polybori::groebner::is_rewriteable (const Polynomial &p, const MonomialSet &leading_terms) |