series_convergence.cpp 文件参考

#include <stdexcept>
#include "internal/expression_transform.hpp"
#include "limit_result.hpp"
#include "series_engine.hpp"
#include "symbolic.hpp"
#include "internal/symbolic_ast.hpp"
#include "internal/expression_analysis.hpp"
#include "internal/series_support.hpp"
#include <cmath>
#include <limits>
#include <memory>
#include <optional>
#include <string>
#include <variant>

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

浏览该文件的源代码.

命名空间
namespace	LMCAS
namespace	LMCAS::detail
	多元 Hensel 提升（单变量步）
namespace	LMCAS::detail::series_support

函数
static ConvergenceInfo	LMCAS::classify_ratio_limit (const std::shared_ptr< SymbolicExpr > &lim, ComputationContext &context)
static std::optional< std::shared_ptr< SymbolicExpr > >	LMCAS::coefficient_power_radius (const PowerNode &power, const std::string &index_var, ComputationContext &context)
ExpressionResult	LMCAS::convergence_radius_checked (const std::shared_ptr< SymbolicExpr > &general_coefficient, const std::string &index_var)
ExpressionResult	LMCAS::convergence_radius_checked (const std::shared_ptr< SymbolicExpr > &general_coefficient, const std::string &index_var, ComputationContext &context)
ExpressionResult	LMCAS::convergence_radius_checked (const std::vector< std::shared_ptr< SymbolicExpr > > &coefficients, const std::string &var)
ExpressionResult	LMCAS::convergence_radius_checked (const std::vector< std::shared_ptr< SymbolicExpr > > &coefficients, const std::string &var, ComputationContext &context)
ConvergenceInfoResult	LMCAS::convergence_test_checked (const std::shared_ptr< SymbolicExpr > &general_term, const std::string &index_var)
ConvergenceInfoResult	LMCAS::convergence_test_checked (const std::shared_ptr< SymbolicExpr > &general_term, const std::string &index_var, ComputationContext &context)
static ConvergenceInfoResult	LMCAS::convergence_test_impl (const std::shared_ptr< SymbolicExpr > &, const std::string &, ComputationContext &)
static std::optional< ConvergenceInfo >	LMCAS::geometric_term_convergence (const std::shared_ptr< const SymbolicNode > &node, const std::string &index_var)
static std::optional< ConvergenceInfo >	LMCAS::power_term_convergence (const std::shared_ptr< const SymbolicNode > &node, const std::string &index_var)
static ConvergenceInfoResult	LMCAS::ratio_convergence_test (const std::shared_ptr< SymbolicExpr > &general_term, const std::string &index_var, ComputationContext &context)
double	LMCAS::detail::series_support::series_get_double (const std::shared_ptr< SymbolicExpr > &expression)
double	LMCAS::series_get_double (const std::shared_ptr< SymbolicExpr > &expression)
static bool	LMCAS::series_index_variable (const std::shared_ptr< const VariableNode > &variable, const std::string &index_var)
bool	LMCAS::detail::series_support::series_is_infinity (const std::shared_ptr< SymbolicExpr > &expression)
bool	LMCAS::series_is_infinity (const std::shared_ptr< SymbolicExpr > &expression)
bool	LMCAS::detail::series_support::series_is_number (const std::shared_ptr< SymbolicExpr > &expression)
bool	LMCAS::series_is_number (const std::shared_ptr< SymbolicExpr > &expression)
double	LMCAS::detail::series_support::series_number_value (const NumberNode &number)
double	LMCAS::series_number_value (const NumberNode &number)
std::optional< int >	LMCAS::supported_laurent_integer_power (const std::shared_ptr< const SymbolicNode > &node, const std::string &variable)
Result< void >	LMCAS::validate_power_series_coefficients (const std::vector< std::shared_ptr< SymbolicExpr > > &coefficients, const std::string &operation, const std::string &name)
Result< void >	LMCAS::validate_series_variable (const std::string &variable, ComputationContext &context, const std::string &operation)