LMCAS
Lamina Computer Algebra System
载入中...
搜索中...
未找到
complex_analysis.cpp 文件参考

复变函数分析实现。 更多...

#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>
complex_analysis.cpp 的引用(Include)关系图:

浏览该文件的源代码.

类

class  LMCAS::anonymous_namespace{complex_analysis.cpp}::ExplicitComplexFinder
class  LMCAS::anonymous_namespace{complex_analysis.cpp}::FunctionDependencyFinder
class  LMCAS::anonymous_namespace{complex_analysis.cpp}::FunctionOfExplicitComplexFinder

命名空间

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 中定义.