calculus_utils.hpp 文件参考

微积分工具函数:连续性判定,渐近线分析,对数微分,微分,全微分,反函数导数,反函数求解等. 更多...

#include "computation_context.hpp"
#include "result.hpp"
#include "symbolic.hpp"
#include <vector>
#include <string>
#include <utility>
#include <memory>

calculus_utils.hpp 的引用(Include)关系图:

此图展示该文件被哪些文件直接或间接地引用了:

浏览该文件的源代码.

类
struct	LMCAS::AsymptoteResult
	根据左右极限与函数值，在给定上下文假设下证明实数域中的连续性分类。 跳跃与可去间断的比较需证明逐点不等，相等性需保证各值有定义；形式非恒等不足以证明二者。 参数值或有定义性未确定时返回 Inconclusive；资源、取消和底层证明错误原样传播，不作为分类。 更多...

命名空间
namespace	LMCAS

类型定义
using	LMCAS::AsymptoteAnalysisResult = Result<AsymptoteResult>
using	LMCAS::ContinuityResult = Result<ContinuityType>
using	LMCAS::SymbolicExprVectorResult = Result<std::vector<std::shared_ptr<SymbolicExpr>>>

枚举
enum class	LMCAS::ContinuityType { LMCAS::Continuous , LMCAS::Removable , LMCAS::Jump , LMCAS::Essential }
	连续性类型枚举. 更多...

详细描述

微积分工具函数:连续性判定,渐近线分析,对数微分,微分,全微分,反函数导数,反函数求解等.

在文件 calculus_utils.hpp 中定义.