#include "groebner_defs.h"
#include "polynomial_properties.h"
#include <iostream>
Functions | |
BEGIN_NAMESPACE_PBORIGB Polynomial | do_is_rewriteable (const Polynomial &p, const MonomialSet &leading_terms) |
bool | is_rewriteable (const Polynomial &p, const MonomialSet &leading_terms) |
BEGIN_NAMESPACE_PBORIGB Polynomial do_is_rewriteable | ( | const Polynomial & | p, | |
const MonomialSet & | leading_terms | |||
) |
Referenced by is_rewriteable().
bool is_rewriteable | ( | const Polynomial & | p, | |
const MonomialSet & | leading_terms | |||
) |
References do_is_rewriteable().
Referenced by polybori::groebner::GroebnerStrategy::canRewrite().