residual_verification.cpp 文件参考

#include "residual_verification.hpp"
#include "internal/equivalence_engine.hpp"
#include "internal/exact_matrix.hpp"
#include "internal/exact_matrix_support.hpp"
#include "internal/expression_analysis.hpp"
#include "poly_utils.hpp"
#include "irrational.hpp"
#include "multivariate_poly.hpp"
#include "internal/normalization_utils.hpp"
#include "internal/expression_transform.hpp"
#include "internal/rewrite_budget.hpp"
#include "internal/assumption_facts.hpp"
#include "internal/facts_query.hpp"
#include <algorithm>
#include <exception>
#include <new>
#include <limits>
#include <optional>
#include <utility>

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

浏览该文件的源代码.

类
class	LMCAS::anonymous_namespace{residual_verification.cpp}::FormalResidual
	在原公共定义域上证明形式有理恒等式。 将不透明标量子式视为不定元，保留其点值可能为零的情况； 交叉相乘免去因式分解及符号系数 GCD。 更多...
struct	LMCAS::anonymous_namespace{residual_verification.cpp}::FormalResidual::Angle
class	LMCAS::anonymous_namespace{residual_verification.cpp}::FormalResidual::AngleCollector
struct	LMCAS::anonymous_namespace{residual_verification.cpp}::FormalResidual::Fraction
class	LMCAS::anonymous_namespace{residual_verification.cpp}::ResidualBranch
struct	LMCAS::anonymous_namespace{residual_verification.cpp}::ResidualProfiles
class	LMCAS::anonymous_namespace{residual_verification.cpp}::ResidualRecursionScope

命名空间
namespace	LMCAS
namespace	LMCAS::anonymous_namespace{residual_verification.cpp}

类型定义
using	LMCAS::anonymous_namespace{residual_verification.cpp}::RootReplacementResult

函数
Result< void >	LMCAS::anonymous_namespace{residual_verification.cpp}::check_residual_coefficient (const Rational &value, ComputationContext &context, const std::string &operation)
ResidualCheckResult	LMCAS::check_zero_residual (const ExprPtr &residual, ComputationContext &context, const LMCAS::EqvOptions &options)
ResidualCheckResult	LMCAS::anonymous_namespace{residual_verification.cpp}::classify_residual (const ExprPtr &expression, detail::RewriteBudget &budget, const std::string &operation)
void	LMCAS::anonymous_namespace{residual_verification.cpp}::collect_function_profile (const FunctionNode &function, ResidualProfiles &profiles)
void	LMCAS::anonymous_namespace{residual_verification.cpp}::collect_residual_profile_children (const std::vector< detail::SymbolicNodePtr > &children, ResidualProfiles &profiles)
void	LMCAS::anonymous_namespace{residual_verification.cpp}::collect_residual_profiles (const detail::SymbolicNodePtr &node, ResidualProfiles &profiles)
Result< bool >	LMCAS::anonymous_namespace{residual_verification.cpp}::has_zero_root_remainder (Polynomial< Rational > remainder, const Polynomial< Rational > &defining, ComputationContext &context, const std::string &operation)
bool	LMCAS::anonymous_namespace{residual_verification.cpp}::is_decided (const ResidualCheck &result)
ResidualCheckResult	LMCAS::anonymous_namespace{residual_verification.cpp}::prove_exact_root_residual (const ExprPtr &expression, detail::RewriteBudget &budget, const std::string &operation)
ResidualCheckResult	LMCAS::anonymous_namespace{residual_verification.cpp}::prove_normalized_residual (const ExprPtr &residual, detail::RewriteBudget &budget, const EqvOptions &options, const std::string &operation)
std::optional< ResidualCheckResult >	LMCAS::anonymous_namespace{residual_verification.cpp}::prove_piecewise_residual (const ExprPtr &residual, detail::RewriteBudget &budget, const EqvOptions &options)
ResidualCheckResult	LMCAS::anonymous_namespace{residual_verification.cpp}::prove_with_profiles (const ExprPtr &current, ComputationContext &context, const EqvOptions &options)
RootReplacementResult	LMCAS::anonymous_namespace{residual_verification.cpp}::replace_exact_root (const detail::SymbolicNodePtr &node, const detail::ExactRootId *&identity, detail::RewriteBudget &budget, const std::string &operation)
RootReplacementResult	LMCAS::anonymous_namespace{residual_verification.cpp}::replace_root_operands (const detail::SymbolicNodePtr &node, const std::vector< detail::SymbolicNodePtr > &operands, bool sum, const detail::ExactRootId *&identity, detail::RewriteBudget &budget, const std::string &operation)
RootReplacementResult	LMCAS::anonymous_namespace{residual_verification.cpp}::replace_root_power (const detail::SymbolicNodePtr &node, const PowerNode &power, const detail::ExactRootId *&identity, detail::RewriteBudget &budget, const std::string &operation)
const PiecewiseNode *	LMCAS::anonymous_namespace{residual_verification.cpp}::residual_piecewise (const detail::SymbolicNodePtr &node, detail::RewriteBudget &budget)

---

类说明

LMCAS::anonymous_namespace{residual_verification.cpp}::FormalResidual::Angle

struct LMCAS::anonymous_namespace{residual_verification.cpp}::FormalResidual::Angle

在文件 residual_verification.cpp 第 56 行定义.

LMCAS::anonymous_namespace{residual_verification.cpp}::FormalResidual::Angle 的协作图:

类成员
Node	base
bool	hyperbolic
Rational	scale

LMCAS::anonymous_namespace{residual_verification.cpp}::FormalResidual::Fraction

struct LMCAS::anonymous_namespace{residual_verification.cpp}::FormalResidual::Fraction

在文件 residual_verification.cpp 第 45 行定义.

LMCAS::anonymous_namespace{residual_verification.cpp}::FormalResidual::Fraction 的协作图:

类成员
MultiPoly	denominator
MultiPoly	numerator

LMCAS::anonymous_namespace{residual_verification.cpp}::ResidualProfiles

struct LMCAS::anonymous_namespace{residual_verification.cpp}::ResidualProfiles

在文件 residual_verification.cpp 第 849 行定义.

LMCAS::anonymous_namespace{residual_verification.cpp}::ResidualProfiles 的协作图:

类成员
bool	exp_log = false
bool	trig = false