|
LMCAS
Lamina Computer Algebra System
|
复变函数分析实现。 更多...
#include <stdexcept>#include "internal/expression_transform.hpp"#include "limit_result.hpp"#include "complex_analysis.hpp"#include "poly_utils.hpp"#include "internal/expression_analysis.hpp"#include "symbolic.hpp"#include "internal/symbolic_ast.hpp"#include "internal/visitors/differentiation_visitor.hpp"#include <cmath>#include <optional>命名空间 | |
| namespace | LMCAS |
| namespace | LMCAS::anonymous_namespace{complex_analysis.cpp} |
函数 | |
| std::shared_ptr< SymbolicExpr > | LMCAS::analytic_continuation (const std::shared_ptr< SymbolicExpr > &f, const std::string &) |
| std::optional< int > | LMCAS::anonymous_namespace{complex_analysis.cpp}::bounded_complex_power (const std::shared_ptr< const SymbolicNode > &node) |
| ExpressionResult | LMCAS::calculate_residue_checked (const std::shared_ptr< SymbolicExpr > &f, const std::string &z, const std::shared_ptr< SymbolicExpr > &z0, int order) |
| ExpressionResult | LMCAS::calculate_residue_checked (const std::shared_ptr< SymbolicExpr > &f, const std::string &z, const std::shared_ptr< SymbolicExpr > &z0, int order, ComputationContext &context) |
| static ExpressionResult | LMCAS::calculate_residue_impl (const std::shared_ptr< SymbolicExpr > &, const std::string &, const std::shared_ptr< SymbolicExpr > &, int, ComputationContext &) |
| ExpressionResult | LMCAS::cauchy_integral_checked (const std::shared_ptr< SymbolicExpr > &f, const std::string &z, const std::shared_ptr< SymbolicExpr > &z0, int n) |
| ExpressionResult | LMCAS::cauchy_integral_checked (const std::shared_ptr< SymbolicExpr > &f, const std::string &z, const std::shared_ptr< SymbolicExpr > &z0, int n, ComputationContext &context) |
| static ExpressionResult | LMCAS::cauchy_integral_impl (const std::shared_ptr< SymbolicExpr > &, const std::string &, const std::shared_ptr< SymbolicExpr > &, int, ComputationContext &) |
| ExpressionResult | LMCAS::conjugate_checked (const std::shared_ptr< SymbolicExpr > &expr) |
| ExpressionResult | LMCAS::conjugate_checked (const std::shared_ptr< SymbolicExpr > &expr, ComputationContext &context) |
| bool | LMCAS::anonymous_namespace{complex_analysis.cpp}::contains_explicit_complex (const detail::SymbolicNodePtr &node) |
| static std::shared_ptr< SymbolicExpr > | LMCAS::differentiate_if_dependent (const std::shared_ptr< SymbolicExpr > &expression, const std::string &variable, ComputationContext &context) |
| bool | LMCAS::anonymous_namespace{complex_analysis.cpp}::has_function_of_explicit_complex (const detail::SymbolicNodePtr &node) |
| bool | LMCAS::anonymous_namespace{complex_analysis.cpp}::has_z_dependent_function (const detail::SymbolicNodePtr &node, const std::string &z) |
| ExpressionResult | LMCAS::imag_part_checked (const std::shared_ptr< SymbolicExpr > &expr) |
| ExpressionResult | LMCAS::imag_part_checked (const std::shared_ptr< SymbolicExpr > &expr, ComputationContext &context) |
| ComplexBoolResult | LMCAS::is_analytic_checked (const std::shared_ptr< SymbolicExpr > &f, const std::string &z) |
| ComplexBoolResult | LMCAS::is_analytic_checked (const std::shared_ptr< SymbolicExpr > &f, const std::string &z, ComputationContext &context) |
| static bool | LMCAS::is_analytic_impl (const std::shared_ptr< SymbolicExpr > &, const std::string &, ComputationContext &context) |
| ExpressionResult | LMCAS::real_part_checked (const std::shared_ptr< SymbolicExpr > &expr) |
| ExpressionResult | LMCAS::real_part_checked (const std::shared_ptr< SymbolicExpr > &expr, ComputationContext &context) |
| ExpressionResult | LMCAS::residue_checked (const std::shared_ptr< SymbolicExpr > &f, const std::string &z, const std::shared_ptr< SymbolicExpr > &z0, int order) |
| ExpressionResult | LMCAS::residue_checked (const std::shared_ptr< SymbolicExpr > &f, const std::string &z, const std::shared_ptr< SymbolicExpr > &z0, int order, ComputationContext &context) |
| void | LMCAS::anonymous_namespace{complex_analysis.cpp}::split_real_imag (const std::shared_ptr< const SymbolicNode > &node, std::shared_ptr< SymbolicExpr > &re, std::shared_ptr< SymbolicExpr > &im, ComputationContext &context) |
| 递归地将表达式分解为 (实部, 虚部),把 ComplexNode 视为 a+bi。 仅处理加法、乘法、数值与 ComplexNode 组合;其余子表达式视为实值。 | |
| Result< void > | LMCAS::anonymous_namespace{complex_analysis.cpp}::validate_complex_expr_input (const std::shared_ptr< SymbolicExpr > &expr, ComputationContext &context, const std::string &operation) |
| Result< void > | LMCAS::anonymous_namespace{complex_analysis.cpp}::validate_complex_expr_point_input (const std::shared_ptr< SymbolicExpr > &expr, const std::string &z, const std::shared_ptr< SymbolicExpr > &z0, int order, ComputationContext &context, const std::string &operation) |
复变函数分析实现。
在文件 complex_analysis.cpp 中定义.