inequality_solver.cpp 文件参考

#include "internal/expression_transform.hpp"
#include "inequality_solver.hpp"
#include "internal/symbolic_ast.hpp"
#include "numeric_evaluation.hpp"
#include "poly_utils.hpp"
#include "internal/expression_analysis.hpp"
#include "solve_polynomial.hpp"
#include "solve_strategies.hpp"
#include "newton_raphson.hpp"
#include "root_of_utils.hpp"
#include "internal/exact_algebraic.hpp"
#include "internal/inequality_solver_support.hpp"
#include <algorithm>
#include <cmath>
#include <set>
#include <limits>
#include <functional>
#include <optional>

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

浏览该文件的源代码.

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

函数
int	LMCAS::exact_numeric_sign (const std::shared_ptr< SymbolicExpr > &expr, ComputationContext &context)
std::vector< std::pair< std::shared_ptr< SymbolicExpr >, int > >	LMCAS::find_roots_with_multiplicity (const std::shared_ptr< SymbolicExpr > &expr, const std::string &variable, ComputationContext &context)
bool	LMCAS::root_less_than (const std::shared_ptr< SymbolicExpr > &a, const std::shared_ptr< SymbolicExpr > &b, ComputationContext &context)
bool	LMCAS::roots_equal (const std::shared_ptr< SymbolicExpr > &a, const std::shared_ptr< SymbolicExpr > &b, ComputationContext &context)
static IntervalUnion	LMCAS::solve_constant_inequality (const Polynomial< SymbolicPolyCoeff > &poly, InequalityType type, ComputationContext &context)
Result< IntervalUnion >	LMCAS::solve_exact_affine_inequality (const Polynomial< Rational > &polynomial, InequalityType type, ComputationContext &context)
Result< IntervalUnion >	LMCAS::solve_exact_polynomial_inequality (const Polynomial< Rational > &polynomial, InequalityType type, ComputationContext &context)

变量
constexpr const char *	LMCAS::anonymous_namespace{inequality_solver.cpp}::kCheckedInequalityOperation = "solve_inequality_checked"