solve_visitor.cpp 文件参考

#include <stdexcept>
#include "internal/expression_transform.hpp"
#include "symbolic.hpp"
#include "parametric_solver.hpp"
#include "assumption_context.hpp"
#include "solver.hpp"
#include <iostream>
#include <map>
#include <set>
#include <cmath>
#include "lmmc/config.h"
#include "lmmc/numeric.h"
#include "internal/visitors/normalization_visitor.hpp"
#include "poly_utils.hpp"
#include "solve_strategies.hpp"
#include "solve_polynomial.hpp"
#include "internal/polynomial_solver_support.hpp"
#include "solve_transcendental.hpp"
#include "solve_mixed_transcendental.hpp"
#include "newton_raphson.hpp"
#include "root_of_utils.hpp"
#include "rational_polynomial.hpp"
#include "residual_verification.hpp"
#include "internal/pointwise_comparison.hpp"
#include "internal/assumption_facts.hpp"
#include "internal/expression_analysis.hpp"
#include "internal/complex_quadratic.hpp"
#include "internal/transcendental_solver_support.hpp"
#include "internal/normalization_utils.hpp"
#include "internal/solver_support.hpp"
#include <limits>

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

浏览该文件的源代码.

命名空间
namespace	LMCAS

类型定义
using	LMCAS::SolveVectorResult

函数
static void	LMCAS::append_product_families (ParametricSolutions &values, const std::set< std::string > &original_names, std::vector< ParametricSolution > &families)
static Result< void >	LMCAS::append_product_roots (FiniteSolutions &values, std::size_t multiplicity, std::vector< FiniteSolution > &finite)
static SolveResult	LMCAS::collect_exact_solutions (std::vector< std::shared_ptr< SymbolicExpr > > roots, ComputationContext &context)
static SolveResult	LMCAS::conditional_equation (const ExprPtr &original, const std::string &variable)
static SolveResult	LMCAS::conditional_linear_polynomial (const Polynomial< SymbolicPolyCoeff > &polynomial, const ExprPtr &leading, const std::string &variable)
static SolveResult	LMCAS::dispatch_equation (const ExprPtr &expr, const ExprPtr &f_expr, const std::string &var, ComputationContext &context, const SolveOptions &opts)
ExprPtr	LMCAS::equation_predicate (const ExprPtr &expression)
static SolveResult	LMCAS::finite_values_to_set (SolveVectorResult result)
std::shared_ptr< SymbolicExpr >	LMCAS::get_coeff (const Polynomial< SymbolicPolyCoeff > &p, int deg)
static ExprPtr	LMCAS::polynomial_logic (const ExprPtr &left, const ExprPtr &right, LogicalNode::Op op)
static ExprPtr	LMCAS::polynomial_relation (const ExprPtr &left, const ExprPtr &right, RelationOp op)
LMCAS::SolveResult	LMCAS::solve_equation (const std::shared_ptr< SymbolicExpr > &expr, const std::string &var, ComputationContext &context, const SolveOptions &opts)
LMCAS::SolveResult	LMCAS::solve_equation (const std::shared_ptr< SymbolicExpr > &expr, const std::string &var, const SolveOptions &opts)
static SolveVectorResult	LMCAS::solve_exact_factor (Polynomial< Rational > remainder, const std::string &var, ComputationContext &context)
static SolveResult	LMCAS::solve_exact_polynomial_set (const Polynomial< Rational > &exact, const std::string &var, ComputationContext &context)
LMCAS::FiniteSolveResult	LMCAS::solve_finite_checked (const std::shared_ptr< SymbolicExpr > &expr, const std::string &var, ComputationContext &context, const SolveOptions &opts)
LMCAS::FiniteSolveResult	LMCAS::solve_finite_checked (const std::shared_ptr< SymbolicExpr > &expression, const std::string &variable, const SolveOptions &options)
static std::optional< SolveVectorResult >	LMCAS::solve_finite_mixed (const std::shared_ptr< SymbolicExpr > &f_expr, const std::string &var, ComputationContext &context, const SolveOptions &opts)
static SolveVectorResult	LMCAS::solve_higher_exact_roots (const Polynomial< Rational > &remainder, const std::string &var, ComputationContext &context)
static SolveResult	LMCAS::solve_product_factor (const detail::SymbolicNodePtr &node, const std::string &variable, ComputationContext &context, const SolveOptions &options, std::size_t &multiplicity)
static std::optional< SolveResult >	LMCAS::solve_product_set (const ExprPtr &expression, const std::string &variable, ComputationContext &context, const SolveOptions &options)
static SolveResult	LMCAS::solve_set_core (const std::shared_ptr< SymbolicExpr > &expr, const std::string &var, ComputationContext &context, const SolveOptions &opts)
static SolveResult	LMCAS::solve_symbolic_polynomial_set (const Polynomial< SymbolicPolyCoeff > &polynomial, const ExprPtr &original, const std::string &variable, ComputationContext &context)
static SolveResult	LMCAS::solve_symbolic_quadratic (const Polynomial< SymbolicPolyCoeff > &polynomial, const ExprPtr &leading, const FactsQuery &facts, ComputationContext &context)
ExprPtr	LMCAS::substitute_raw (const ExprPtr &expression, const std::string &variable, const ExprPtr &value)