|
LMCAS
Lamina Computer Algebra System
|
常系数高阶与 Euler ODE 的解表达式构造和受检 API。 更多...
#include <stdexcept>#include "internal/expression_transform.hpp"#include "symbolic_ode_engine.hpp"#include "internal/symbolic_ast.hpp"#include "symbolic.hpp"#include "poly_utils.hpp"#include "internal/expression_analysis.hpp"#include "internal/ode_support.hpp"#include "internal/ode_characteristic_roots.hpp"#include <algorithm>#include <cmath>#include <limits>#include <memory>#include <string>#include <utility>#include <vector>命名空间 | |
| namespace | LMCAS |
函数 | |
| static std::shared_ptr< SymbolicExpr > | LMCAS::build_euler_solution (const std::vector< CharRoot > &roots, const std::string &x, std::vector< std::string > &constants) |
| static std::shared_ptr< SymbolicExpr > | LMCAS::build_homogeneous_solution (const std::vector< CharRoot > &roots, const std::string &x, std::vector< std::string > &constants) |
| 根据特征根构造齐次通解. | |
| static std::shared_ptr< SymbolicExpr > | LMCAS::clean_number (double val) |
| static bool | LMCAS::has_nonzero_forcing (const std::shared_ptr< SymbolicExpr > &forcing) |
| static bool | LMCAS::is_representable_small_integer (double value) |
| 将 double 值转为"干净"的数值表达式. | |
| ODESolutionResult | LMCAS::solve_euler_ode_checked (const std::vector< double > &euler_coeffs, const std::shared_ptr< SymbolicExpr > &forcing, const std::string &x, const std::string &y) |
| ODESolutionResult | LMCAS::solve_euler_ode_checked (const std::vector< double > &euler_coeffs, const std::shared_ptr< SymbolicExpr > &forcing, const std::string &x, const std::string &y, ComputationContext &context) |
| static Result< ODESolution > | LMCAS::solve_euler_ode_impl (const std::vector< double > &, const std::shared_ptr< SymbolicExpr > &, const std::string &, const std::string &, ComputationContext &context) |
| ODESolutionResult | LMCAS::solve_higher_order_ode_checked (const std::vector< double > &coeffs, const std::shared_ptr< SymbolicExpr > &forcing, const std::string &x, const std::string &y) |
| ODESolutionResult | LMCAS::solve_higher_order_ode_checked (const std::vector< double > &coeffs, const std::shared_ptr< SymbolicExpr > &forcing, const std::string &x, const std::string &y, ComputationContext &context) |
| static Result< ODESolution > | LMCAS::solve_higher_order_ode_impl (const std::vector< double > &, const std::shared_ptr< SymbolicExpr > &, const std::string &, const std::string &, ComputationContext &context) |
| static bool | LMCAS::unsupported_euler_forcing (const std::shared_ptr< SymbolicExpr > &forcing, const std::vector< double > &coefficients) |
常系数高阶与 Euler ODE 的解表达式构造和受检 API。
在文件 ode_linear.cpp 中定义.