transcendental_rewrite.cpp 文件参考

超越因子的逆换元、常数提取与乘法结构识别。 更多...

#include "internal/expression_transform.hpp"
#include "internal/expression_analysis.hpp"
#include "internal/normalization_utils.hpp"
#include <string>
#include <vector>
#include "internal/transcendental_support.hpp"

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

浏览该文件的源代码.

类
class	LMCAS::anonymous_namespace{transcendental_rewrite.cpp}::FactorSimplification

命名空间
namespace	LMCAS
namespace	LMCAS::anonymous_namespace{transcendental_rewrite.cpp}

函数
static bool	LMCAS::any_transcendental (const std::vector< std::shared_ptr< const SymbolicNode > > &nodes, const std::string &var)
	判断表达式 AST 中是否包含依赖指定变量的超越函数.
std::shared_ptr< SymbolicExpr >	LMCAS::tf_back_substitute (const std::shared_ptr< SymbolicExpr > &factor_expr, const std::vector< TransSubstitution > &mappings, ComputationContext &context)
	将因子表达式中的不定元变量替换回原始超越子表达式.
bool	LMCAS::tf_contains_transcendental (const std::shared_ptr< const SymbolicNode > &node, const std::string &variable)
std::vector< std::shared_ptr< SymbolicExpr > >	LMCAS::tf_detect_exponential_separation (const std::shared_ptr< SymbolicExpr > &expr, const std::string &var, ComputationContext &context)
	检测加法表达式中的公共指数因子并执行分离.
std::vector< std::shared_ptr< SymbolicExpr > >	LMCAS::tf_detect_multiplicative_structure (const std::shared_ptr< SymbolicExpr > &expr)
	检测表达式是否已为独立子表达式的乘积形式.
static std::shared_ptr< const SymbolicNode >	LMCAS::tf_extract_exp_factor (const std::shared_ptr< const SymbolicNode > &node, const std::string &var)
	从乘积项中提取指数函数因子.
bool	LMCAS::tf_is_linear_irreducible (const TransSubstitutionResult &sub_result, const std::string &var)
	判断换元后的表达式是否对所有不定元和原始变量均为线性.
static bool	LMCAS::tf_is_variable_exponential (const std::shared_ptr< const SymbolicNode > &node, const std::string &var)
static std::shared_ptr< const SymbolicNode >	LMCAS::tf_remove_exp_factor (const std::shared_ptr< const SymbolicNode > &node, const std::shared_ptr< const SymbolicNode > &exp_factor)
	从乘积项中移除指定的指数函数因子,返回剩余部分.
std::vector< std::shared_ptr< SymbolicExpr > >	LMCAS::tf_simplify_factors (std::vector< std::shared_ptr< SymbolicExpr > > &factors)
	化简逆换元后的因子，合并数值因子及乘积的数值前导系数。 保留非常数部分，将非 1 的常数积置于结果首位。
std::vector< std::shared_ptr< SymbolicExpr > >	LMCAS::tf_simplify_factors_impl (const std::vector< std::shared_ptr< SymbolicExpr > > &factors, ComputationContext &context)

详细描述

超越因子的逆换元、常数提取与乘法结构识别。

在文件 transcendental_rewrite.cpp 中定义.