solver_groebner_system.cpp 文件参考

#include <stdexcept>
#include "internal/expression_transform.hpp"
#include "solver.hpp"
#include "solve_strategies.hpp"
#include "fglm.hpp"
#include "internal/solver_groebner_builder.hpp"
#include "poly_utils.hpp"
#include "internal/symbolic_ast.hpp"
#include "internal/solver_support.hpp"
#include "internal/assumption_facts.hpp"
#include "residual_verification.hpp"
#include <iterator>
#include <limits>
#include <optional>

solver_groebner_system.cpp 的引用(Include)关系图:

浏览该文件的源代码.

类
class	LMCAS::anonymous_namespace{solver_groebner_system.cpp}::PolynomialSystemSearch

命名空间
namespace	LMCAS
namespace	LMCAS::anonymous_namespace{solver_groebner_system.cpp}

类型定义
using	LMCAS::anonymous_namespace{solver_groebner_system.cpp}::Expressions = std::vector<std::shared_ptr<SymbolicExpr>>
using	LMCAS::anonymous_namespace{solver_groebner_system.cpp}::PolynomialSolution = std::map<std::string, SymbolicExpr>
using	LMCAS::anonymous_namespace{solver_groebner_system.cpp}::PolynomialSolutions = std::vector<PolynomialSolution>

函数
std::shared_ptr< SymbolicExpr >	LMCAS::anonymous_namespace{solver_groebner_system.cpp}::clear_denominators (const SymbolicExpr &equation, Expressions &constraints, ComputationContext &context)
Result< groebner_detail::Poly >	LMCAS::anonymous_namespace{solver_groebner_system.cpp}::convert_basis_polynomial (const SymbolicExpr &polynomial, const std::vector< std::string > &variables, groebner_detail::PolyContext &conversion, ComputationContext &context, std::shared_ptr< SymbolicExpr > &simplified)
PolynomialSystemResult	LMCAS::anonymous_namespace{solver_groebner_system.cpp}::filter_denominators (PolynomialSolutions candidates, const Expressions &constraints, ComputationContext &context)
Result< Expressions >	LMCAS::anonymous_namespace{solver_groebner_system.cpp}::simplified_basis (const std::vector< SymbolicExpr > &equations, const std::vector< std::string > &variables, ComputationContext &context)
PolynomialSystemResult	LMCAS::anonymous_namespace{solver_groebner_system.cpp}::solve_polynomial_system_impl (const std::vector< SymbolicExpr > &equations, const std::vector< std::string > &variables, ComputationContext &context)
PolynomialSystemResult	LMCAS::anonymous_namespace{solver_groebner_system.cpp}::solve_single_equation (const SymbolicExpr &equation, const std::string &variable, ComputationContext &context)
std::shared_ptr< SymbolicExpr >	LMCAS::anonymous_namespace{solver_groebner_system.cpp}::substitute_solution (const std::shared_ptr< SymbolicExpr > &expression, const PolynomialSolution &solution, ComputationContext &context)
Result< void >	LMCAS::anonymous_namespace{solver_groebner_system.cpp}::validate_basis_input (const std::vector< SymbolicExpr > &equations, const std::vector< std::string > &variables, groebner_detail::PolyContext &conversion, ComputationContext &context)