solve_mixed_transcendental.hpp 文件参考

混合超越方程求解:符号预处理 + 自适应根隔离 + Newton-Raphson 精化. 更多...

#include "symbolic.hpp"
#include "solve_strategies.hpp"
#include "transcendental_factor.hpp"
#include <memory>
#include <vector>
#include <optional>
#include <string>

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

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

浏览该文件的源代码.

类
struct	LMCAS::IsolatedInterval
	隔离子区间,包含至多一个根 更多...
struct	LMCAS::SearchInterval
	搜索区间 更多...

命名空间
namespace	LMCAS

类型定义
using	LMCAS::MixedTranscendentalResult
	受检混合超越方程求解结果.

函数
__attribute__((visibility("default"))) MixedTranscendentalResult solve_mixed_transcendental_checked(const std __attribute__((visibility("default"))) MixedTranscendentalResult solve_mixed_transcendental_checked(const std __attribute__((visibility("default"))) bool contains_transcendental_of_var(const std bool	LMCAS::is_polynomial_after_substitution (const TransSubstitutionResult &sub_result)
	在调用方计算上下文中执行混合超越方程求解.

详细描述

混合超越方程求解:符号预处理 + 自适应根隔离 + Newton-Raphson 精化.

本模块处理同时包含超越函数(sin,cos,tan,exp,ln)和代数项的方程. 求解流程:

1. 通过 factor_transcendental 执行符号分解;
2. 对整体因子执行自适应根隔离(符号变化检测与单调性确认);
3. 使用带区间约束的 Newton-Raphson 精化隔离根,并以二分法完成稳定收敛路径.

在文件 solve_mixed_transcendental.hpp 中定义.

---

类说明

LMCAS::IsolatedInterval

struct LMCAS::IsolatedInterval

隔离子区间,包含至多一个根

在文件 solve_mixed_transcendental.hpp 第 31 行定义.

LMCAS::IsolatedInterval 的协作图:

类成员
bool	confirmed	若导数单调性确认恰含一个根则为 true
lmmc_real_t	hi	子区间上界
lmmc_real_t	lo	子区间下界

LMCAS::SearchInterval

struct LMCAS::SearchInterval

搜索区间

在文件 solve_mixed_transcendental.hpp 第 25 行定义.

LMCAS::SearchInterval 的协作图:

类成员
lmmc_real_t	hi	上界
lmmc_real_t	lo	下界