transcendental_factor.hpp 文件参考

混合超越方程不可约因式分解器公共 API. 更多...

#include "computation_context.hpp"
#include "polynomial.hpp"
#include "result.hpp"
#include "symbolic.hpp"
#include <memory>
#include <string>
#include <vector>
#include <cstdint>

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

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

浏览该文件的源代码.

类
struct	LMCAS::TfPolyBuildResult
	分解含 sin、cos、exp、ln 等超越函数的表达式。 更多...
struct	LMCAS::TransSubstitution
	换元映射条目:超越子表达式 -> 代数不定元名 更多...
struct	LMCAS::TransSubstitutionResult
	换元结果 更多...

命名空间
namespace	LMCAS

详细描述

混合超越方程不可约因式分解器公共 API.

将 Berlekamp/Zassenhaus 风格的因式分解算法从纯多项式域推广到含超越函数的 表达式空间.核心流程:换元 -> 多项式构造 -> 模分解 -> Hensel 提升 -> 因子组合 -> 逆换元.

在文件 transcendental_factor.hpp 中定义.

---

类说明

LMCAS::TransSubstitution

struct LMCAS::TransSubstitution

换元映射条目:超越子表达式 -> 代数不定元名

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

LMCAS::TransSubstitution 的协作图:

类成员
string	indeterminate	代数不定元名 (e.g., "u0")
shared_ptr< SymbolicExpr >	trans_expr	原始超越子表达式 (e.g., sin(x))

LMCAS::TransSubstitutionResult

struct LMCAS::TransSubstitutionResult

换元结果

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

LMCAS::TransSubstitutionResult 的协作图:

类成员
vector< shared_ptr< SymbolicExpr > >	constraints	代数约束 (e.g., u0^2+u1^2-1=0)
vector< TransSubstitution >	mappings	所有换元映射
shared_ptr< SymbolicExpr >	poly_expr	换元后的多项式表达式