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