solver_groebner_internal.hpp 文件参考

#include "rational.hpp"
#include "symbolic.hpp"
#include "internal/rewrite_budget.hpp"
#include <map>
#include <set>
#include <unordered_map>
#include <vector>

solver_groebner_internal.hpp 的引用(Include)关系图:

此图展示该文件被哪些文件直接或间接地引用了:

浏览该文件的源代码.

类
struct	LMCAS::groebner_detail::MonomialLess
struct	LMCAS::groebner_detail::Poly
struct	LMCAS::groebner_detail::PolyContext
struct	LMCAS::groebner_detail::SugarPair
struct	LMCAS::groebner_detail::Term

命名空间
namespace	LMCAS
namespace	LMCAS::groebner_detail

类型定义
using	LMCAS::groebner_detail::Monomial = std::vector<int>
using	LMCAS::groebner_detail::PolyTerms = std::map<Monomial, Rational, MonomialLess>

函数
Poly	LMCAS::groebner_detail::add_poly (const Poly &a, const Poly &b)
void	LMCAS::groebner_detail::align_variables (Poly &a, Poly &b)
void	LMCAS::groebner_detail::buchberger (std::vector< Poly > &basis, size_t num_vars)
bool	LMCAS::groebner_detail::chain_criterion (const std::vector< Poly > &basis, size_t i, size_t j, const std::set< std::pair< size_t, size_t > > &processed_pairs)
int	LMCAS::groebner_detail::compute_spoly_sugar (const Poly &f, const Poly &g)
bool	LMCAS::groebner_detail::coprime_leading_monomials (const Poly &f, const Poly &g)
Monomial	LMCAS::groebner_detail::div_mono (const Monomial &numerator, const Monomial &denominator)
bool	LMCAS::groebner_detail::divides_mono (const Monomial &a, const Monomial &b)
void	LMCAS::groebner_detail::extend_variables (Poly &polynomial, size_t count)
SymbolicExpr	LMCAS::groebner_detail::from_poly_ext (const Poly &polynomial, const PolyContext &context)
Monomial	LMCAS::groebner_detail::lcm_mono (const Monomial &a, const Monomial &b)
Monomial	LMCAS::groebner_detail::mul_mono (const Monomial &a, const Monomial &b)
Poly	LMCAS::groebner_detail::mul_poly (const Poly &a, const Poly &b)
Poly	LMCAS::groebner_detail::mul_poly_term (const Poly &polynomial, const Term &term)
Poly	LMCAS::groebner_detail::reduce (Poly polynomial, const std::vector< Poly > &basis)
void	LMCAS::groebner_detail::reduce_basis (std::vector< Poly > &basis)
std::vector< SymbolicExpr >	LMCAS::groebner_detail::reduced_groebner_basis_impl (const std::vector< SymbolicExpr > &polynomials, const std::vector< std::string > &variables, ComputationContext &context)
Poly	LMCAS::groebner_detail::s_poly (const Poly &f, const Poly &g)
Poly	LMCAS::groebner_detail::sub_poly (const Poly &a, const Poly &b)
Poly	LMCAS::groebner_detail::to_poly (const SymbolicExpr &expression, PolyContext &context)

---

类说明

LMCAS::groebner_detail::Term

struct LMCAS::groebner_detail::Term

在文件 solver_groebner_internal.hpp 第 22 行定义.

LMCAS::groebner_detail::Term 的协作图:

类成员
Rational	coeff
Monomial	mono