|
LMCAS
Lamina Computer Algebra System
|
ODE 方程类型检测与分类。 更多...
#include "internal/expression_transform.hpp"#include "symbolic_ode_engine.hpp"#include "internal/symbolic_ast.hpp"#include "symbolic.hpp"#include "poly_utils.hpp"#include "residual_verification.hpp"#include "internal/expression_analysis.hpp"#include "lmmc/config.h"#include "lmmc/numeric.h"#include "internal/ode_support.hpp"#include <cmath>#include <cstdint>#include <memory>#include <string>#include <limits>#include <map>#include <optional>#include <vector>命名空间 | |
| namespace | LMCAS |
函数 | |
| static bool | LMCAS::accumulate_bernoulli_exponent (int value, int &exponent) |
| static std::optional< int > | LMCAS::bernoulli_integer_exponent (const NumberNode &number) |
| ODEClassification | LMCAS::classify_first_order_ode (const std::shared_ptr< SymbolicExpr > &rhs, const std::string &x, const std::string &y) |
| ODEClassification | LMCAS::classify_higher_order_ode (const std::vector< std::shared_ptr< SymbolicExpr > > &coeffs, const std::shared_ptr< SymbolicExpr > &forcing, const std::string &x, const std::string &) |
| static bool | LMCAS::collect_bernoulli_coefficients (const std::vector< std::shared_ptr< const SymbolicNode > > &terms, const std::string &y, std::map< int, std::shared_ptr< SymbolicExpr > > &coefficients, ComputationContext &context) |
| static bool | LMCAS::extract_bernoulli_factor (const std::shared_ptr< const SymbolicNode > &factor, const std::string &y, int &exponent, std::shared_ptr< SymbolicExpr > &coefficient, ComputationContext &context) |
| static bool | LMCAS::extract_bernoulli_monomial (const std::shared_ptr< const SymbolicNode > &term, const std::string &y, int &exponent, std::shared_ptr< SymbolicExpr > &coefficient, ComputationContext &context) |
| bool | LMCAS::is_bernoulli_ode (const std::shared_ptr< SymbolicExpr > &rhs, const std::string &x, const std::string &y, std::shared_ptr< SymbolicExpr > &P, std::shared_ptr< SymbolicExpr > &Q, int &n) |
| bool | LMCAS::is_constant_coefficient (const std::vector< std::shared_ptr< SymbolicExpr > > &coeffs, const std::string &x) |
| bool | LMCAS::is_euler_equation (const std::vector< std::shared_ptr< SymbolicExpr > > &coeffs, const std::string &x, std::vector< double > &euler_consts) |
| bool | LMCAS::is_exact_ode (const std::shared_ptr< SymbolicExpr > &M, const std::shared_ptr< SymbolicExpr > &N, const std::string &x, const std::string &y) |
| bool | LMCAS::is_homogeneous_ode (const std::shared_ptr< SymbolicExpr > &rhs, const std::string &x, const std::string &y) |
| bool | LMCAS::is_linear_first_order (const std::shared_ptr< SymbolicExpr > &rhs, const std::string &x, const std::string &y, std::shared_ptr< SymbolicExpr > &P, std::shared_ptr< SymbolicExpr > &Q) |
| bool | LMCAS::is_separable (const std::shared_ptr< SymbolicExpr > &rhs, const std::string &x, const std::string &y) |
| static bool | LMCAS::separable_product (const MultiplyNode &product, const std::string &x, const std::string &y) |
| static bool | LMCAS::separable_reciprocal (const PowerNode &power, const std::string &x, const std::string &y) |
| static bool | LMCAS::valid_classifier_variables (const std::string &x, const std::string &y) |
ODE 方程类型检测与分类。
在文件 ode_classification.cpp 中定义.