PolyBoRi: polynomial_properties.h Source File

00001 //
00002 //  untitled
00003 //
00004 //  Created by  on 2008-04-16.
00005 //  Copyright (c) 2008 The PolyBoRi Team. See LICENSE file.
00006 //  PolyBoRi Project
00007 #include "groebner_defs.h"
00008 BEGIN_NAMESPACE_PBORIGB
00009 
00010 bool is_rewriteable(const Polynomial& p, const MonomialSet& leading_terms);
00011 
00012 END_NAMESPACE_PBORIGB