LMCAS
Lamina Computer Algebra System
载入中...
搜索中...
未找到
calculus_inverse.cpp 文件参考
calculus_inverse.cpp 的引用(Include)关系图:

浏览该文件的源代码.

命名空间

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)