|
LMCAS
Lamina Computer Algebra System
|
#include <stdexcept>#include "solve_strategies.hpp"#include "internal/calculus_utils_support.hpp"#include "internal/symbolic_ast.hpp"#include "internal/assumption_facts.hpp"#include "internal/expression_transform.hpp"命名空间 | |
| namespace | LMCAS |
函数 | |
| static ExpressionResult | LMCAS::checked_derivative (const ExprPtr &expression, const std::string &variable, ComputationContext &context, const char *operation) |
| static SymbolicExprVectorResult | LMCAS::classify_inflection_candidates (const FiniteSolutions &finite, const std::shared_ptr< SymbolicExpr > &f, const std::shared_ptr< SymbolicExpr > &f_prime, const std::shared_ptr< SymbolicExpr > &f_double_prime, const std::string &var, const FactsQuery &facts, ComputationContext &context, const std::string &operation) |
| ExpressionResult | LMCAS::curvature_checked (const std::shared_ptr< SymbolicExpr > &f, const std::string &var) |
| ExpressionResult | LMCAS::curvature_checked (const std::shared_ptr< SymbolicExpr > &f, const std::string &var, ComputationContext &context) |
| ExpressionResult | LMCAS::curvature_parametric_checked (const std::shared_ptr< SymbolicExpr > &x_t, const std::shared_ptr< SymbolicExpr > &y_t, const std::string &t) |
| ExpressionResult | LMCAS::curvature_parametric_checked (const std::shared_ptr< SymbolicExpr > &x_t, const std::shared_ptr< SymbolicExpr > &y_t, const std::string &t, ComputationContext &context) |
| static Result< bool > | LMCAS::inflection_curve_defined (const std::shared_ptr< SymbolicExpr > &f, const std::shared_ptr< SymbolicExpr > &f_prime, const std::shared_ptr< SymbolicExpr > &f_double_prime, const std::shared_ptr< SymbolicExpr > &point, const std::string &var, const FactsQuery &facts, const std::string &operation, ComputationContext &context) |
| SymbolicExprVectorResult | LMCAS::inflection_points_checked (const std::shared_ptr< SymbolicExpr > &f, const std::string &var) |
| SymbolicExprVectorResult | LMCAS::inflection_points_checked (const std::shared_ptr< SymbolicExpr > &f, const std::string &var, ComputationContext &context) |