interpolate.cc File Reference

#include "groebner_defs.h"
#include <CCacheManagement.h>
#include <CacheManager.h>
#include <algorithm>
#include <iostream>
#include "interpolate.h"
#include <boost/random/uniform_smallint.hpp>
#include <boost/random/linear_congruential.hpp>
#include <boost/random/variate_generator.hpp>
#include "nf.h"

Functions
BEGIN_NAMESPACE_PBORIGB std::vector< Polynomial >	variety_lex_groebner_basis (const MonomialSet &points, const Monomial &variables)
MonomialSet	nf_lex_points (const Polynomial &f, const MonomialSet &p)
MonomialSet	gen_random_subset (const std::vector< Monomial > &vec, bool_gen_type &bit_gen)
MonomialSet	random_interpolation (const MonomialSet &as_set, const std::vector< Monomial > &as_vector, bool_gen_type &bit_gen)
MonomialSet	variety_lex_leading_terms (const MonomialSet &points, const Monomial &variables)
MonomialSet	zeros (Polynomial p, MonomialSet candidates)
Polynomial	interpolate (MonomialSet to_zero, MonomialSet to_one)
Polynomial	interpolate_smallest_lex (MonomialSet to_zero, MonomialSet to_one)
MonomialSet	include_divisors (const MonomialSet &m)

---

Function Documentation

MonomialSet gen_random_subset	(	const std::vector< Monomial > &	vec,
		bool_gen_type &	bit_gen
	)

References add_up_monomials().

Referenced by random_interpolation().

MonomialSet include_divisors

(

const MonomialSet &

m

)

References include_divisors().

Referenced by include_divisors(), and variety_lex_leading_terms().

Polynomial interpolate	(	MonomialSet	to_zero,
		MonomialSet	to_one
	)

References interpolate().

Referenced by interpolate().

Polynomial interpolate_smallest_lex	(	MonomialSet	to_zero,
		MonomialSet	to_one
	)

References interpolate_smallest_lex(), and zeros().

Referenced by interpolate_smallest_lex(), nf_lex_points(), and random_interpolation().

MonomialSet nf_lex_points	(	const Polynomial &	f,
		const MonomialSet &	p
	)

References interpolate_smallest_lex(), and zeros().

Referenced by variety_lex_groebner_basis().

MonomialSet random_interpolation	(	const MonomialSet &	as_set,
		const std::vector< Monomial > &	as_vector,
		bool_gen_type &	bit_gen
	)

References gen_random_subset(), and interpolate_smallest_lex().

Referenced by variety_lex_leading_terms().

BEGIN_NAMESPACE_PBORIGB std::vector<Polynomial> variety_lex_groebner_basis	(	const MonomialSet &	points,
		const Monomial &	variables
	)

References nf_lex_points(), and variety_lex_leading_terms().

MonomialSet variety_lex_leading_terms	(	const MonomialSet &	points,
		const Monomial &	variables
	)

References base_generator_type, include_divisors(), and random_interpolation().

Referenced by variety_lex_groebner_basis().

MonomialSet zeros	(	Polynomial	p,
		MonomialSet	candidates
	)

References zeros().

Referenced by interpolate_smallest_lex(), nf_lex_points(), and zeros().