polynomial_properties.cc File Reference

#include "groebner_defs.h"
#include "polynomial_properties.h"
#include <iostream>

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)