solve_strategies.hpp 文件参考

方程求解策略调度器 solve_dispatch 及相关选项结构体. 更多...

#include "symbolic.hpp"
#include "computation_context.hpp"
#include "conditional_result.hpp"
#include <vector>
#include <memory>
#include <string>

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

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

浏览该文件的源代码.

类
struct	LMCAS::NumericRoot
	数值根结果,包含根值,残差和迭代次数. 更多...
struct	LMCAS::SolveOptions
	方程求解选项,控制数值求解行为和结果形式. 更多...

命名空间
namespace	LMCAS

类型定义
using	LMCAS::FiniteSolveResult

枚举
enum class	LMCAS::SolveStrategy {   LMCAS::ClosedForm , LMCAS::Preprocessing , LMCAS::Transcendental , LMCAS::Numerical ,   LMCAS::RootOf }
	求解策略枚举,标识所使用的求解方法. 更多...

函数
class	LMCAS::__attribute__ ((visibility("default"))) AssumptionContext
	Scoped assumption context with push/pop management.

详细描述

方程求解策略调度器 solve_dispatch 及相关选项结构体.

在文件 solve_strategies.hpp 中定义.

---

类说明

LMCAS::NumericRoot

struct LMCAS::NumericRoot

数值根结果,包含根值,残差和迭代次数.

在文件 solve_strategies.hpp 第 32 行定义.

LMCAS::NumericRoot 的协作图:

类成员
int	iterations	收敛所用迭代次数
lmmc_real_t	residual	残差(将根代入方程后的绝对值)
lmmc_real_t	value	根的数值

LMCAS::SolveOptions

struct LMCAS::SolveOptions

方程求解选项,控制数值求解行为和结果形式.

在文件 solve_strategies.hpp 第 17 行定义.

LMCAS::SolveOptions 的协作图:

类成员
bool	allow_numeric = false	是否允许数值求解
bool	has_initial_guess = false	是否指定了初始猜测值
bool	has_search_interval = false	是否指定了搜索区间
lmmc_real_t	initial_guess = 0.0	数值迭代初始猜测值
int	max_newton_iterations = 100	Newton 迭代最大次数
int	max_roots = -1	数值候选数量预算；精确解集和整数解族保持完整。
bool	return_rootof = true	为 false 时，任何不可表示的根使整个求解返回 Inconclusive。
lmmc_real_t	search_hi = 10.0	搜索区间上界(默认 10)
lmmc_real_t	search_lo = -10.0	搜索区间下界(默认 -10)
lmmc_real_t	tolerance = 1e-12	收敛容差