#include "groebner_defs.h"
Go to the source code of this file.
Functions | |
BEGIN_NAMESPACE_PBORIGB bool | is_rewriteable (const Polynomial &p, const MonomialSet &leading_terms) |
BEGIN_NAMESPACE_PBORIGB bool is_rewriteable | ( | const Polynomial & | p, | |
const MonomialSet & | leading_terms | |||
) |
References do_is_rewriteable().
Referenced by polybori::groebner::GroebnerStrategy::canRewrite().