inequality_solver_support.hpp 文件参考

#include "computation_context.hpp"
#include "inequality_solver.hpp"
#include "poly_utils.hpp"
#include <memory>
#include <optional>
#include <string>
#include <utility>
#include <vector>

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

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

浏览该文件的源代码.

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

函数
IntervalUnion	LMCAS::detail::inequality_support::build_parametric_intervals (const std::vector< std::shared_ptr< SymbolicExpr > > &symbolic_roots, const std::vector< int > &multiplicities, int leading_sign, InequalityType type, 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)
void	LMCAS::detail::inequality_support::include_numeric_root (std::vector< Interval > &intervals, const std::shared_ptr< SymbolicExpr > &root, ComputationContext &context)
bool	LMCAS::detail::inequality_support::root_less_than (const std::shared_ptr< SymbolicExpr > &a, const std::shared_ptr< SymbolicExpr > &b, ComputationContext &context)
bool	LMCAS::detail::inequality_support::roots_equal (const std::shared_ptr< SymbolicExpr > &a, const std::shared_ptr< SymbolicExpr > &b, ComputationContext &context)
Result< IntervalUnion >	LMCAS::detail::inequality_support::solve_exact_affine_inequality (const Polynomial< Rational > &polynomial, InequalityType type, ComputationContext &context)
Result< IntervalUnion >	LMCAS::detail::inequality_support::solve_exact_polynomial_inequality (const Polynomial< Rational > &polynomial, InequalityType type, 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)