|
PolyBoRi
|
#include "groebner_defs.h"#include <CCacheManagement.h>#include <CacheManager.h>#include <algorithm>#include <iostream>#include "interpolate.h"#include "randomset.h"#include "nf.h"Namespaces | |
| namespace | polybori |
| namespace | polybori::groebner |
Functions | |
| std::vector< Polynomial > | polybori::groebner::variety_lex_groebner_basis (const MonomialSet &points, const Monomial &variables) |
| MonomialSet | polybori::groebner::nf_lex_points (const Polynomial &f, const MonomialSet &p) |
| MonomialSet | polybori::groebner::gen_random_subset (const std::vector< Monomial > &vec, bool_gen_type &bit_gen) |
| MonomialSet | polybori::groebner::random_interpolation (const MonomialSet &as_set, const std::vector< Monomial > &as_vector, bool_gen_type &bit_gen) |
| MonomialSet | polybori::groebner::variety_lex_leading_terms (const MonomialSet &points, const Monomial &variables) |
| MonomialSet | polybori::groebner::zeros (Polynomial p, MonomialSet candidates) |
| Polynomial | polybori::groebner::interpolate (MonomialSet to_zero, MonomialSet to_one) |
| Polynomial | polybori::groebner::interpolate_smallest_lex (MonomialSet to_zero, MonomialSet to_one) |
| MonomialSet | polybori::groebner::include_divisors (const MonomialSet &m) |
1.7.6.1