residual_verification.hpp 文件参考

#include "computation_context.hpp"
#include "equivalence_options.hpp"
#include "proof_outcome.hpp"
#include "result.hpp"
#include "symbolic.hpp"
#include <variant>

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

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

浏览该文件的源代码.

类
struct	LMCAS::ProvedNonIdentityResidual
	证明残差在原公共定义域上非恒零，例如非零有理多项式。 残差仍可能在特定参数值处为零；点值不等性、定义域及上下文假设下的非零性均需另行证明。 更多...
struct	LMCAS::ProvedZeroResidual
	在表达式的原公共定义域上认证值相等；点值定义域与分母条件需另行证明。 更多...
struct	LMCAS::UnprovedResidual

命名空间
namespace	LMCAS

类型定义
using	LMCAS::ResidualCheck
using	LMCAS::ResidualCheckResult = Result<ResidualCheck>

函数
__attribute__((visibility("default"))) Result< EqvProfile > eqv_profile_from_name(const std	LMCAS::__attribute__ ((visibility("default"))) BerlekampResult berlekamp_factor(const Polynomial< Rational > &poly
	Berlekamp 模素数分解(内部接口).

变量
const ExprPtr &	LMCAS::right

---

类说明

LMCAS::ProvedNonIdentityResidual

struct LMCAS::ProvedNonIdentityResidual

证明残差在原公共定义域上非恒零，例如非零有理多项式。 残差仍可能在特定参数值处为零；点值不等性、定义域及上下文假设下的非零性均需另行证明。

在文件 residual_verification.hpp 第 23 行定义.

LMCAS::ProvedNonIdentityResidual 的协作图:

类成员
ExprPtr	normalized_residual

LMCAS::ProvedZeroResidual

struct LMCAS::ProvedZeroResidual

在表达式的原公共定义域上认证值相等；点值定义域与分母条件需另行证明。

在文件 residual_verification.hpp 第 15 行定义.

LMCAS::ProvedZeroResidual 的协作图:

类成员
ProofCertificate	certificate

LMCAS::UnprovedResidual

struct LMCAS::UnprovedResidual

在文件 residual_verification.hpp 第 27 行定义.

LMCAS::UnprovedResidual 的协作图:

类成员
ExprPtr	normalized_residual