|
LMCAS
Lamina Computer Algebra System
|
#include "computation_context.hpp"#include "transcendental_factor.hpp"#include "internal/symbolic_ast.hpp"命名空间 | |
| namespace | LMCAS |
函数 | |
| std::shared_ptr< SymbolicExpr > | LMCAS::tf_back_substitute (const std::shared_ptr< SymbolicExpr > &factor_expr, const std::vector< TransSubstitution > &mappings, ComputationContext &context) |
| 将因子表达式中的不定元变量替换回原始超越子表达式. | |
| Result< TfPolyBuildResult > | LMCAS::tf_build_polynomial_impl (const std::shared_ptr< SymbolicExpr > &expression, const std::vector< std::string > &indeterminates, const std::string &original_variable, ComputationContext &context) |
| bool | LMCAS::tf_contains_transcendental (const std::shared_ptr< const SymbolicNode > &node, const std::string &variable) |
| int | LMCAS::tf_degree_in (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) |
| 检测表达式是否已为独立子表达式的乘积形式. | |
| bool | LMCAS::tf_is_linear_irreducible (const TransSubstitutionResult &sub_result, const std::string &var) |
| 判断换元后的表达式是否对所有不定元和原始变量均为线性. | |
| bool | LMCAS::tf_is_transcendental_type (FunctionNode::FuncType ft) |
| 判断函数类型是否支持超越函数换元。 | |
| std::vector< std::shared_ptr< SymbolicExpr > > | LMCAS::tf_simplify_factors_impl (const std::vector< std::shared_ptr< SymbolicExpr > > &factors, ComputationContext &context) |
| std::shared_ptr< SymbolicExpr > | LMCAS::tf_simplify_pythagorean (const std::shared_ptr< SymbolicExpr > &expr, const std::string &var) |
| 在因式分解前用 sin^2(f) + cos^2(f) = 1 化简表达式。 | |