分解含 sin、cos、exp、ln 等超越函数的表达式。更多...

#include <transcendental_factor.hpp>

LMCAS::TfPolyBuildResult 的协作图:

Public 成员函数
	TfPolyBuildResult ()

Public 属性
std::string	main_variable
	选定的主变量名
std::vector< std::string >	param_variables
	参数变量列表(非主变量的不定元)
Polynomial< Rational >	poly
	主变量多项式(单变量或主变量策略)
bool	success
	转换是否成功

详细描述

分解含 sin、cos、exp、ln 等超越函数的表达式。

不支持的转换保留原表达式；资源限制、取消和内部错误通过 Result 传播。

参数

[in]	expr	待分解的符号表达式
[in]	var	目标变量名
[in,out]	context	共享计算预算和取消状态

返回: 不可约因子的列表(乘积等于原表达式,可能含常数因子)

检测表达式中的超越函数换元模式.

遍历表达式 AST,识别所有依赖目标变量的超越子表达式,为每个分配代数不定元, 并记录不定元之间的代数约束(如三角恒等式 u_sin^2 + u_cos^2 = 1).

参数

[in]	expr	待检测的符号表达式
[in]	var	目标变量名

返回: 换元结果,包含映射表,换元后多项式表达式及约束列表多项式构造结果

在文件 transcendental_factor.hpp 第 71 行定义.

构造及析构函数说明

◆ TfPolyBuildResult()

LMCAS::TfPolyBuildResult::TfPolyBuildResult ( )

inline

在文件 transcendental_factor.hpp 第 77 行定义.

77: success(false), poly("x") {}

LMCAS::TfPolyBuildResult::poly

Polynomial< Rational > poly

主变量多项式(单变量或主变量策略)

定义 transcendental_factor.hpp:73

LMCAS::TfPolyBuildResult::success

bool success

转换是否成功

定义 transcendental_factor.hpp:72

引用了 poly , 以及 success.

类成员变量说明

◆ main_variable

std::string LMCAS::TfPolyBuildResult::main_variable

选定的主变量名

在文件 transcendental_factor.hpp 第 74 行定义.

被这些函数引用 LMCAS::tf_build_polynomial_impl(), LMCAS::tf_convert_main_variable() , 以及 LMCAS::tf_select_main_variable().

◆ param_variables

std::vector<std::string> LMCAS::TfPolyBuildResult::param_variables

参数变量列表(非主变量的不定元)

在文件 transcendental_factor.hpp 第 75 行定义.

被这些函数引用 LMCAS::tf_convert_main_variable() , 以及 LMCAS::tf_select_main_variable().

◆ poly

Polynomial<Rational> LMCAS::TfPolyBuildResult::poly

主变量多项式(单变量或主变量策略)

在文件 transcendental_factor.hpp 第 73 行定义.

被这些函数引用 TfPolyBuildResult(), LMCAS::tf_build_polynomial_impl() , 以及 LMCAS::tf_convert_main_variable().

◆ success

bool LMCAS::TfPolyBuildResult::success