LMCAS::AsymptoteResult结构体 参考

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

#include <calculus_utils.hpp>

LMCAS::AsymptoteResult 的协作图:

Public 属性
std::vector< std::shared_ptr< SymbolicExpr > >	horizontal
	水平渐近线 y = L
std::vector< std::pair< std::shared_ptr< SymbolicExpr >, std::shared_ptr< SymbolicExpr > > >	oblique
	斜渐近线 (斜率, 截距)
std::vector< std::shared_ptr< SymbolicExpr > >	vertical
	垂直渐近线 x = a

详细描述

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

渐近线分析结果.

在文件 calculus_utils.hpp 第 47 行定义.

类成员变量说明

horizontal

std::vector<std::shared_ptr<SymbolicExpr> > LMCAS::AsymptoteResult::horizontal

水平渐近线 y = L

在文件 calculus_utils.hpp 第 49 行定义.

被这些函数引用 LMCAS::collect_infinite_asymptotes().

oblique

std::vector<std::pair<std::shared_ptr<SymbolicExpr>, std::shared_ptr<SymbolicExpr> > > LMCAS::AsymptoteResult::oblique

斜渐近线 (斜率, 截距)

在文件 calculus_utils.hpp 第 51 行定义.

被这些函数引用 LMCAS::collect_infinite_asymptotes(), LMCAS::collect_oblique_asymptote() , 以及 LMCAS::has_oblique_asymptote().

vertical

std::vector<std::shared_ptr<SymbolicExpr> > LMCAS::AsymptoteResult::vertical

垂直渐近线 x = a

在文件 calculus_utils.hpp 第 48 行定义.

被这些函数引用 LMCAS::collect_vertical_asymptotes().

---

该结构体的文档由以下文件生成:

• include/calculus_utils.hpp