pointwise_comparison.hpp 文件参考

#include "assumption.hpp"
#include "residual_verification.hpp"

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

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

浏览该文件的源代码.

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

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