|
LMCAS
Lamina Computer Algebra System
|
#include <stdexcept>#include "internal/expression_transform.hpp"#include "root_of_utils.hpp"#include "solve_strategies.hpp"#include "internal/calculus_utils_support.hpp"#include "internal/symbolic_ast.hpp"命名空间 | |
| namespace | LMCAS |
枚举 | |
| enum class | LMCAS::CalculusRealCandidateStatus { LMCAS::Real , LMCAS::NonReal , LMCAS::Inconclusive } |
函数 | |
| static bool | LMCAS::any_nonreal_sqrt (const std::vector< std::shared_ptr< const SymbolicNode > > &children, ComputationContext &context) |
| static bool | LMCAS::calculus_utils_contains_complex (const std::shared_ptr< const SymbolicNode > &node) |
| static bool | LMCAS::calculus_utils_contains_nonreal_sqrt (const std::shared_ptr< const SymbolicNode > &node, ComputationContext &context) |
| static CalculusRealCandidateStatus | LMCAS::calculus_utils_extract_real_candidate (const std::shared_ptr< SymbolicExpr > &candidate, std::shared_ptr< SymbolicExpr > &real_candidate, ComputationContext &context) |
| static bool | LMCAS::calculus_utils_is_negative_number (const std::shared_ptr< const NumberNode > &number) |
| static bool | LMCAS::contains_inverse_candidate (const std::vector< std::shared_ptr< SymbolicExpr > > &candidates, const std::shared_ptr< SymbolicExpr > &candidate) |
| static SymbolicExprVectorResult | LMCAS::explicit_inverse_candidates (const FiniteSolutions &finite, const std::string &operation) |
| static ExpressionResult | LMCAS::inverse_branch_derivative (const std::shared_ptr< SymbolicExpr > &f, const std::string &var, const std::vector< std::shared_ptr< SymbolicExpr > > &candidates, const std::string &operation, ComputationContext &context) |
| ExpressionResult | LMCAS::inverse_derivative_checked (const std::shared_ptr< SymbolicExpr > &f, const std::string &var, const std::shared_ptr< SymbolicExpr > &point) |
| ExpressionResult | LMCAS::inverse_derivative_checked (const std::shared_ptr< SymbolicExpr > &f, const std::string &var, const std::shared_ptr< SymbolicExpr > &point, ComputationContext &context) |
| SymbolicExprVectorResult | LMCAS::inverse_function_checked (const std::shared_ptr< SymbolicExpr > &f, const std::string &var, const std::shared_ptr< SymbolicExpr > &y) |
| SymbolicExprVectorResult | LMCAS::inverse_function_checked (const std::shared_ptr< SymbolicExpr > &f, const std::string &var, const std::shared_ptr< SymbolicExpr > &y, ComputationContext &context) |
| static bool | LMCAS::is_nonreal_sqrt (const FunctionNode &function, ComputationContext &context) |
| static SymbolicExprVectorResult | LMCAS::verified_real_inverse_candidates (const std::vector< std::shared_ptr< SymbolicExpr > > &candidates, const std::shared_ptr< SymbolicExpr > &equation, const std::string &var, const std::string &operation, ComputationContext &context) |