interpolate.h
Go to the documentation of this file.
/* Copyright (c) 2005-2007 by The PolyBoRi Team */
#include "groebner_defs.h"
BEGIN_NAMESPACE_PBORIGB
MonomialSet variety_lex_leading_terms(const MonomialSet& points, const Monomial& variables);
Polynomial interpolate(MonomialSet to_zero,MonomialSet to_one);
Polynomial interpolate_smallest_lex(MonomialSet to_zero,MonomialSet to_one);
MonomialSet zeros(Polynomial p, MonomialSet candidates);
MonomialSet include_divisors(const MonomialSet& m);
MonomialSet nf_lex_points(const Polynomial& f,const MonomialSet& p);
std::vector<Polynomial> variety_lex_groebner_basis(const MonomialSet& points,const Monomial & variables);
END_NAMESPACE_PBORIGB
polybori::groebner::nf_lex_points
MonomialSet nf_lex_points(const Polynomial &f, const MonomialSet &p)
Definition: interpolate.cc:35
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::variety_lex_groebner_basis
std::vector< Polynomial > variety_lex_groebner_basis(const MonomialSet &points, const Monomial &variables)
Definition: interpolate.cc:19
polybori::groebner::MonomialSet
polybori::BooleSet MonomialSet
Definition: groebner_defs.h:45
groebner_defs.h
polybori::groebner::interpolate_smallest_lex
Polynomial interpolate_smallest_lex(MonomialSet to_zero, MonomialSet to_one)
Definition: interpolate.cc:187
polybori::groebner::include_divisors
MonomialSet include_divisors(const MonomialSet &m)
Definition: interpolate.cc:239
polybori::groebner::zeros
MonomialSet zeros(Polynomial p, MonomialSet candidates)
Definition: interpolate.cc:85
polybori::groebner::variety_lex_leading_terms
MonomialSet variety_lex_leading_terms(const MonomialSet &points, const Monomial &variables)
Definition: interpolate.cc:57
polybori::Monomial
BooleMonomial Monomial
Definition: embed.h:53
polybori::groebner::interpolate
Polynomial interpolate(MonomialSet to_zero, MonomialSet to_one)
Definition: interpolate.cc:126