transcendental_inversion.cpp 文件参考

#include <stdexcept>
#include "internal/expression_transform.hpp"
#include "solve_polynomial.hpp"
#include "assumption_context.hpp"
#include "internal/assumption_simplification.hpp"
#include "poly_utils.hpp"
#include "internal/expression_analysis.hpp"
#include "internal/facts_query.hpp"
#include "internal/numeric_probe.hpp"
#include "internal/assumption_facts.hpp"
#include "internal/normalization_utils.hpp"
#include "lmmc/config.h"
#include <cmath>
#include <vector>
#include "internal/transcendental_solver_support.hpp"

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

浏览该文件的源代码.

命名空间
namespace	LMCAS
namespace	LMCAS::detail
	多元 Hensel 提升（单变量步）
namespace	LMCAS::detail::transcendental
namespace	LMCAS::detail::transcendental::anonymous_namespace{transcendental_inversion.cpp}

函数
Result< std::string >	LMCAS::detail::transcendental::anonymous_namespace{transcendental_inversion.cpp}::capture_free_integer_parameter (const ExprPtr &original, const std::string &var, ComputationContext &context)
SolutionSet	LMCAS::detail::transcendental::conditional_preimage (const ExprPtr &original, const std::string &var)
SolveResult	LMCAS::detail::transcendental::anonymous_namespace{transcendental_inversion.cpp}::constant_trigonometric_preimage (FunctionNode::FuncType type, const ExprPtr &offset, const ExprPtr &rhs, const ExprPtr &original, const std::string &var, const FactsQuery &facts, ComputationContext &context)
ExprPtr	LMCAS::detail::transcendental::anonymous_namespace{transcendental_inversion.cpp}::inverse_trig (FunctionNode::FuncType type, const ExprPtr &target)
std::vector< std::shared_ptr< SymbolicExpr > >	LMCAS::detail::transcendental::invert_exp_base (const std::shared_ptr< SymbolicExpr > &base, const std::shared_ptr< SymbolicExpr > &c, ComputationContext &context)
SolveResult	LMCAS::detail::transcendental::anonymous_namespace{transcendental_inversion.cpp}::invert_exponential (const ExprPtr &rhs, const ExprPtr &original, const std::string &var, const FactsQuery &facts, ComputationContext &context)
SolveResult	LMCAS::detail::transcendental::invert_function (const InversePattern &pattern, const ExprPtr &original, const std::string &var, ComputationContext &context, const SolveOptions &options)
std::vector< std::shared_ptr< SymbolicExpr > >	LMCAS::detail::transcendental::invert_lambert_w (const std::shared_ptr< SymbolicExpr > &c, ComputationContext &context)
SolveResult	LMCAS::detail::transcendental::anonymous_namespace{transcendental_inversion.cpp}::invert_logarithm (const ExprPtr &rhs, const ExprPtr &original, const std::string &var, const FactsQuery &facts, ComputationContext &context)
SolveResult	LMCAS::detail::transcendental::anonymous_namespace{transcendental_inversion.cpp}::invert_trigonometric (const InversePattern &pattern, const ExprPtr &rhs, const ExprPtr &original, const std::string &var, const FactsQuery &facts, ComputationContext &context)
Result< std::optional< detail::AffineForm > >	LMCAS::detail::transcendental::anonymous_namespace{transcendental_inversion.cpp}::prepare_trigonometric_affine (const ExprPtr &inner, const std::string &var, ComputationContext &context)
Result< bool >	LMCAS::detail::transcendental::anonymous_namespace{transcendental_inversion.cpp}::real_affine_coefficients (const detail::AffineForm &affine, Tribool nonzero, const FactsQuery &facts, ComputationContext &context)
ExprPtr	LMCAS::detail::transcendental::anonymous_namespace{transcendental_inversion.cpp}::subtract (const ExprPtr &left, const ExprPtr &right)
std::vector< ExprPtr >	LMCAS::detail::transcendental::anonymous_namespace{transcendental_inversion.cpp}::trigonometric_periodic_values (FunctionNode::FuncType type, const ExprPtr &rhs, const std::string &parameter, ComputationContext &context)
ExprPtr	LMCAS::detail::transcendental::anonymous_namespace{transcendental_inversion.cpp}::trigonometric_principal_value (FunctionNode::FuncType type, const ExprPtr &rhs, const ExprPtr &pi)
std::optional< SolveResult >	LMCAS::detail::transcendental::anonymous_namespace{transcendental_inversion.cpp}::trigonometric_target_range (FunctionNode::FuncType type, const ExprPtr &rhs, const ExprPtr &original, const std::string &var, const FactsQuery &facts, ComputationContext &context, std::vector< ExprPtr > &conditions)
bool	LMCAS::detail::transcendental::try_evaluate_numeric (const std::shared_ptr< SymbolicExpr > &expr, lmmc_real_t &out, ComputationContext &context)