integration_definite_support.hpp 文件参考

#include "internal/integration_support.hpp"
#include "internal/exact_algebraic.hpp"

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

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

浏览该文件的源代码.

类
struct	LMCAS::detail::definite::Boundary
struct	LMCAS::detail::definite::RationalFunction

命名空间
namespace	LMCAS
namespace	LMCAS::detail
	多元 Hensel 提升（单变量步）
namespace	LMCAS::detail::definite

类型定义
using	LMCAS::detail::definite::Algebraic = ExactRealAlgebraic
using	LMCAS::detail::definite::Node = std::shared_ptr<const SymbolicNode>
using	LMCAS::detail::definite::Poly = Polynomial<Rational>
using	LMCAS::detail::definite::RationalResult = Result<std::optional<RationalFunction>>

函数
Node	LMCAS::detail::definite::absolute_argument (const SymbolicNode &node)
	识别绝对值节点及公共接口的平方开根表示。
Result< Boundary >	LMCAS::detail::definite::boundary_checked (const SymbolicExpr &expression, ComputationContext &context)
Result< Tribool >	LMCAS::detail::definite::certify_continuity_checked (const SymbolicExpr &expression, const std::string &var, const SymbolicExpr &lower, const SymbolicExpr &upper, ComputationContext &context)
Result< int >	LMCAS::detail::definite::compare_boundaries (const Boundary &a, const Boundary &b, ComputationContext &context)
Result< std::vector< SymbolicExpr > >	LMCAS::detail::definite::definite_partition_checked (const SymbolicExpr &original, const std::string &var, const SymbolicExpr &lower, const SymbolicExpr &upper, ComputationContext &context)
Result< SymbolicExpr >	LMCAS::detail::definite::definite_segment_checked (const SymbolicExpr &original, const SymbolicExpr &primitive, const std::string &var, const SymbolicExpr &a, const SymbolicExpr &b, ComputationContext &context)
template<class T>
Result< T >	LMCAS::detail::definite::divergent ()
std::optional< Rational >	LMCAS::detail::definite::exact_number (const Node &node)
int	LMCAS::detail::definite::infinity_sign (const Node &node)
bool	LMCAS::detail::definite::is_undecided (const CasError &error)
bool	LMCAS::detail::definite::needs_segment_expression (const Node &node)
Result< std::optional< int > >	LMCAS::detail::definite::polynomial_sign_checked (const Poly &polynomial, const Boundary &a, const Boundary &b, ComputationContext &context)
Result< Poly >	LMCAS::detail::definite::product_checked (const Poly &a, const Poly &b, ComputationContext &context)
RationalResult	LMCAS::detail::definite::rational_checked (const Node &node, const std::string &var, ComputationContext &context)
Result< int >	LMCAS::detail::definite::rational_divergence_checked (RationalFunction &rational, const Boundary &a, const Boundary &b, ComputationContext &context)
Result< AssumptionContext >	LMCAS::detail::definite::real_assumptions (const std::string &var, ComputationContext &context)
Result< std::vector< Algebraic > >	LMCAS::detail::definite::roots_checked (const Poly &polynomial, ComputationContext &context)
Result< SymbolicExpr >	LMCAS::detail::definite::segment_expression_checked (const SymbolicExpr &expression, const std::string &var, const SymbolicExpr &lower, const SymbolicExpr &upper, ComputationContext &context)
template<class T>
Result< T >	LMCAS::detail::definite::undecided ()

变量
constexpr const char *	LMCAS::detail::definite::operation = "integrate.definite"

---

类说明

LMCAS::detail::definite::Boundary

struct LMCAS::detail::definite::Boundary

在文件 integration_definite_support.hpp 第 12 行定义.

LMCAS::detail::definite::Boundary 的协作图:

类成员
Algebraic	finite
int	infinity = 0

LMCAS::detail::definite::RationalFunction

struct LMCAS::detail::definite::RationalFunction

在文件 integration_definite_support.hpp 第 17 行定义.

LMCAS::detail::definite::RationalFunction 的协作图:

类成员
Poly	denominator
Poly	numerator