exact_algebraic_refinement.cpp 文件参考

#include "internal/exact_algebraic.hpp"
#include "internal/exact_sturm.hpp"
#include <algorithm>
#include <cmath>
#include <exception>

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

浏览该文件的源代码.

类
struct	LMCAS::detail::anonymous_namespace{exact_algebraic_refinement.cpp}::DyadicProposal

命名空间
namespace	LMCAS
namespace	LMCAS::detail
	多元 Hensel 提升（单变量步）
namespace	LMCAS::detail::anonymous_namespace{exact_algebraic_refinement.cpp}

函数
double	LMCAS::detail::anonymous_namespace{exact_algebraic_refinement.cpp}::approximate_root (const ExactRealAlgebraic &value)
Result< bool >	LMCAS::detail::anonymous_namespace{exact_algebraic_refinement.cpp}::certify_dyadic_candidate (ExactRealAlgebraic &value, const DyadicProposal &proposal, const BigInt &candidate, const BigInt &scale, ComputationContext &context, const std::string &operation)
double	LMCAS::detail::anonymous_namespace{exact_algebraic_refinement.cpp}::evaluate_polynomial_double (const Polynomial< Rational > &polynomial, double point)
Result< DyadicProposal >	LMCAS::detail::anonymous_namespace{exact_algebraic_refinement.cpp}::propose_dyadic_bracket (const ExactRealAlgebraic &value, double absolute_tolerance, double relative_tolerance, const std::string &operation)
Result< void >	LMCAS::detail::refine_exact_real_algebraic_to_tolerance (ExactRealAlgebraic &value, double absolute_tolerance, double relative_tolerance, ComputationContext &context, const std::string &operation)
Result< bool >	LMCAS::detail::anonymous_namespace{exact_algebraic_refinement.cpp}::search_dyadic_scale (ExactRealAlgebraic &value, const DyadicProposal &proposal, int depth, ComputationContext &context, const std::string &operation)

---

类说明

LMCAS::detail::anonymous_namespace{exact_algebraic_refinement.cpp}::DyadicProposal

struct LMCAS::detail::anonymous_namespace{exact_algebraic_refinement.cpp}::DyadicProposal

在文件 exact_algebraic_refinement.cpp 第 11 行定义.

LMCAS::detail::anonymous_namespace{exact_algebraic_refinement.cpp}::DyadicProposal 的协作图:

类成员
Rational	base
Rational	fraction
int	initial_depth
Rational	span