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