PolyBoRi
polynomial_properties.h
Go to the documentation of this file.
1 //
2 // untitled
3 //
4 // Created by on 2008-04-16.
5 // Copyright (c) 2008 The PolyBoRi Team. See LICENSE file.
6 // PolyBoRi Project
7 #include "groebner_defs.h"
9 
10 bool is_rewriteable(const Polynomial& p, const MonomialSet& leading_terms);
11 
#define END_NAMESPACE_PBORIGB
Definition: groebner_defs.h:16
BoolePolynomial Polynomial
Definition: embed.h:51
#define BEGIN_NAMESPACE_PBORIGB
Definition: groebner_defs.h:15
polybori::BooleSet MonomialSet
Definition: groebner_defs.h:45
bool is_rewriteable(const Polynomial &p, const MonomialSet &leading_terms)
Definition: polynomial_properties.cc:104