inequality_solver_numeric.cpp 文件参考

#include "internal/expression_transform.hpp"
#include "inequality_solver.hpp"
#include "numeric_evaluation.hpp"
#include "poly_utils.hpp"
#include "solve_polynomial.hpp"
#include "solve_strategies.hpp"
#include "internal/symbolic_ast.hpp"
#include "internal/expression_analysis.hpp"
#include "internal/numeric_probe.hpp"
#include "internal/inequality_solver_support.hpp"
#include "internal/polynomial_solver_support.hpp"
#include <algorithm>
#include <cmath>
#include <memory>
#include <optional>
#include <utility>
#include <vector>

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

浏览该文件的源代码.

命名空间
namespace	LMCAS
namespace	LMCAS::detail
	多元 Hensel 提升（单变量步）
namespace	LMCAS::detail::inequality_support

类型定义
using	LMCAS::detail::inequality_support::RootMultiplicityList = std::vector<std::pair<std::shared_ptr<SymbolicExpr>, int>>

函数
static void	LMCAS::detail::inequality_support::append_affine_root (RootMultiplicityList &result, const Polynomial< Rational > &factor, int mult, ComputationContext &context)
static void	LMCAS::detail::inequality_support::append_factor_roots (RootMultiplicityList &result, const Polynomial< Rational > &factor, int mult, const std::string &variable, ComputationContext &context)
static void	LMCAS::detail::inequality_support::append_quadratic_roots (RootMultiplicityList &result, const Polynomial< Rational > &factor, int mult, ComputationContext &context)
static void	LMCAS::detail::inequality_support::append_verified_roots (RootMultiplicityList &result, const Polynomial< Rational > &polynomial, const std::vector< std::shared_ptr< SymbolicExpr > > &roots, int multiplicity, ComputationContext &context)
bool	LMCAS::detail::inequality_support::depends_on_any_param (const std::shared_ptr< SymbolicExpr > &expr, const std::vector< std::string > &parameters)
int	LMCAS::detail::inequality_support::determine_leading_sign (const Polynomial< SymbolicPolyCoeff > &poly, ComputationContext &context)
int	LMCAS::detail::inequality_support::exact_numeric_sign (const std::shared_ptr< SymbolicExpr > &expr, ComputationContext &context)
std::vector< std::pair< std::shared_ptr< SymbolicExpr >, int > >	LMCAS::detail::inequality_support::find_roots_with_multiplicity (const std::shared_ptr< SymbolicExpr > &expr, const std::string &variable, ComputationContext &context)
static std::shared_ptr< SymbolicExpr >	LMCAS::detail::inequality_support::snap_verified_integer_root (const Polynomial< Rational > &poly, const std::shared_ptr< SymbolicExpr > &root, ComputationContext &context)
std::vector< std::shared_ptr< SymbolicExpr > >	LMCAS::detail::inequality_support::solve_symbolic_poly (const Polynomial< SymbolicPolyCoeff > &poly, const std::string &variable, ComputationContext &context)
std::optional< double >	LMCAS::detail::inequality_support::try_checked_numeric_constant (const SymbolicExpr &expr, ComputationContext &context)