/usr/include/polybori/groebner/interpolate.h is in libbrial-groebner-dev 1.2.0-2.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 | /* 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
|