00001 /* Copyright (c) 2005-2007 by The PolyBoRi Team */ 00002 00003 #include "groebner_defs.h" 00004 BEGIN_NAMESPACE_PBORIGB 00005 MonomialSet variety_lex_leading_terms(const MonomialSet& points, const Monomial& variables); 00006 Polynomial interpolate(MonomialSet to_zero,MonomialSet to_one); 00007 Polynomial interpolate_smallest_lex(MonomialSet to_zero,MonomialSet to_one); 00008 MonomialSet zeros(Polynomial p, MonomialSet candidates); 00009 MonomialSet include_divisors(const MonomialSet& m); 00010 MonomialSet nf_lex_points(const Polynomial& f,const MonomialSet& p); 00011 std::vector<Polynomial> variety_lex_groebner_basis(const MonomialSet& points,const Monomial & variables); 00012 END_NAMESPACE_PBORIGB