series_engine.cpp 文件参考

#include <stdexcept>
#include "internal/expression_transform.hpp"
#include "series_engine.hpp"
#include "symbolic.hpp"
#include "internal/symbolic_ast.hpp"
#include "integration.hpp"
#include "internal/expression_analysis.hpp"
#include "internal/normalization_utils.hpp"
#include "internal/series_support.hpp"
#include <cstdint>
#include <memory>
#include <string>
#include <cstdio>
#include <typeinfo>
#include <algorithm>
#include <limits>
#include <optional>

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

浏览该文件的源代码.

命名空间
namespace	LMCAS
namespace	LMCAS::anonymous_namespace{series_engine.cpp}
namespace	LMCAS::detail
	多元 Hensel 提升（单变量步）
namespace	LMCAS::detail::series_support

函数
static Result< void >	LMCAS::composition_inner_powers (const std::vector< std::shared_ptr< SymbolicExpr > > &g, std::vector< std::vector< std::shared_ptr< SymbolicExpr > > > &gp, int order, ComputationContext &context, const std::string &operation)
std::optional< int >	LMCAS::detail::series_support::integer_value_from_node (const std::shared_ptr< const SymbolicNode > &node)
static std::optional< int >	LMCAS::detail::series_support::laurent_power_of_power (const PowerNode &power, const std::string &var)
std::vector< std::shared_ptr< SymbolicExpr > >	LMCAS::power_series_add (const std::vector< std::shared_ptr< SymbolicExpr > > &a, const std::vector< std::shared_ptr< SymbolicExpr > > &b)
PowerSeriesResult	LMCAS::power_series_compose_checked (const std::vector< std::shared_ptr< SymbolicExpr > > &f, const std::vector< std::shared_ptr< SymbolicExpr > > &g, int order)
PowerSeriesResult	LMCAS::power_series_compose_checked (const std::vector< std::shared_ptr< SymbolicExpr > > &f, const std::vector< std::shared_ptr< SymbolicExpr > > &g, int order, ComputationContext &context)
PowerSeriesResult	LMCAS::power_series_multiply_checked (const std::vector< std::shared_ptr< SymbolicExpr > > &a, const std::vector< std::shared_ptr< SymbolicExpr > > &b, int order)
PowerSeriesResult	LMCAS::power_series_multiply_checked (const std::vector< std::shared_ptr< SymbolicExpr > > &a, const std::vector< std::shared_ptr< SymbolicExpr > > &b, int order, ComputationContext &context)
std::optional< int >	LMCAS::detail::series_support::supported_laurent_integer_power (const std::shared_ptr< const SymbolicNode > &node, const std::string &variable)
std::shared_ptr< SymbolicExpr >	LMCAS::symbolic_product (const std::shared_ptr< SymbolicExpr > &body, const std::string &index, const std::shared_ptr< SymbolicExpr > &lower, const std::shared_ptr< SymbolicExpr > &upper)
std::shared_ptr< SymbolicExpr >	LMCAS::symbolic_sum (const std::shared_ptr< SymbolicExpr > &body, const std::string &index, const std::shared_ptr< SymbolicExpr > &lower, const std::shared_ptr< SymbolicExpr > &upper)
Result< void >	LMCAS::detail::series_support::validate_power_series_coefficients (const std::vector< std::shared_ptr< SymbolicExpr > > &coefficients, const std::string &operation, const std::string &name)
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::anonymous_namespace{series_engine.cpp}::validate_power_series_order (int order, ComputationContext &context, const std::string &operation)
Result< void >	LMCAS::detail::series_support::validate_series_variable (const std::string &variable, ComputationContext &context, const std::string &operation)