|
LMCAS
Lamina Computer Algebra System
|
#include <stdexcept>#include "internal/expression_transform.hpp"#include "internal/integration_definite_support.hpp"#include "internal/assumption_facts.hpp"类 | |
| struct | LMCAS::anonymous_namespace{integration_definite.cpp}::DefiniteInterval |
| struct | LMCAS::anonymous_namespace{integration_definite.cpp}::RationalIntegrand |
命名空间 | |
| namespace | LMCAS |
| namespace | LMCAS::anonymous_namespace{integration_definite.cpp} |
函数 | |
| Result< SymbolicExpr > | LMCAS::anonymous_namespace{integration_definite.cpp}::accumulate_segments (Integrator &integrator, const SymbolicExpr &expr, const SymbolicExpr &value_expression, const std::string &var_name, const std::vector< SymbolicExpr > &partition, const std::optional< SymbolicExpr > &primitive, bool reversed, ComputationContext &context) |
| Result< Tribool > | LMCAS::anonymous_namespace{integration_definite.cpp}::certify_partition (const SymbolicExpr &expr, const std::string &var_name, const std::vector< SymbolicExpr > &partition, ComputationContext &context) |
| Result< SymbolicExpr > | LMCAS::anonymous_namespace{integration_definite.cpp}::equal_endpoint_integral (const SymbolicExpr &expr, const std::string &var_name, const SymbolicExpr &lower, const SymbolicExpr &upper, const DefiniteInterval &interval, ComputationContext &context) |
| Result< SymbolicExpr > | LMCAS::anonymous_namespace{integration_definite.cpp}::integrate_interval_checked (Integrator &integrator, const SymbolicExpr &expr, const std::string &var_name, const SymbolicExpr &lower, const SymbolicExpr &upper, ComputationContext &context) |
| Result< SymbolicExpr > | LMCAS::anonymous_namespace{integration_definite.cpp}::integrate_ordered_interval (Integrator &integrator, const SymbolicExpr &expr, const std::string &var_name, const SymbolicExpr &lower, const SymbolicExpr &upper, const DefiniteInterval &interval, ComputationContext &context) |
| Result< SymbolicExpr > | LMCAS::anonymous_namespace{integration_definite.cpp}::integrate_segment_primitive (Integrator &integrator, const SymbolicExpr &value_expression, const std::string &var_name, const SymbolicExpr &lower, const SymbolicExpr &upper, ComputationContext &context) |
| Result< RationalIntegrand > | LMCAS::anonymous_namespace{integration_definite.cpp}::reduced_integrand_checked (const SymbolicExpr &expr, const std::string &var_name, const DefiniteInterval &interval, ComputationContext &context) |
| Result< SymbolicExpr > | LMCAS::anonymous_namespace{integration_definite.cpp}::unresolved_integral (const SymbolicExpr &expr, const std::string &var_name, const SymbolicExpr &lower, const SymbolicExpr &upper) |
| struct LMCAS::anonymous_namespace{integration_definite.cpp}::RationalIntegrand |
在文件 integration_definite.cpp 第 62 行定义.
| 类成员 | ||
|---|---|---|
| int | divergence = 0 | |
| SymbolicExpr | expression | |