d2/dcc/pointwise__comparison_8hpp_source.html

#pragma once


#include "assumption.hpp"

#include "residual_verification.hpp"


namespace LMCAS::detail {


/**

 * @brief 在给定假设的 Real 或 Complex 域内比较逐点值，并保留错误。

 * True/False 分别证明值处处有定义且相等/不等；定义性未证实也归为 Unknown，

 * 仅有非恒等残差不足以判定 False。

 */

Result<Tribool> compare_pointwise_values(

    const ExprPtr& left, const ExprPtr& right,

    ComputationContext& context, Domain domain);


}

assumption.hpp
Core enumerations and forward declarations for the Assumption System.

LMCAS::detail
多元 Hensel 提升（单变量步）
定义 assumption_context.hpp:31

LMCAS::detail::domain
RewriteBudget const FactsQuery Domain domain
定义 expression_transform.hpp:17

LMCAS::detail::compare_pointwise_values
Result< Tribool > compare_pointwise_values(const ExprPtr &left, const ExprPtr &right, ComputationContext &context, Domain domain)
在给定假设的 Real 或 Complex 域内比较逐点值，并保留错误。 True/False 分别证明值处处有定义且相等/不等；定义性未证实也归为 Unknown， 仅有非恒等残差不足以判定 Fals...
定义 residual_comparison.cpp:126

LMCAS::detail::context
std::size_t std::size_t ComputationContext & context
定义 exact_algebraic.hpp:27

LMCAS::Domain
Domain
Mathematical domain hierarchy (least specific → most specific). Complex ⊃ Real ⊃ Algebraic ⊃ Rational...
定义 assumption.hpp:15

LMCAS::ExprPtr
std::shared_ptr< SymbolicExpr > ExprPtr
定义 conditional_result.hpp:19

LMCAS::right
const ExprPtr & right
定义 residual_verification.hpp:50

residual_verification.hpp