exact_sturm.cpp 文件参考

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

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

浏览该文件的源代码.

类
struct	LMCAS::detail::anonymous_namespace{exact_sturm.cpp}::PendingInterval

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

类型定义
using	LMCAS::detail::anonymous_namespace{exact_sturm.cpp}::SturmSequence = std::vector<Polynomial<Rational>>

函数
Result< void >	LMCAS::detail::anonymous_namespace{exact_sturm.cpp}::clear_isolation_endpoints (const Polynomial< Rational > &square_free, const SturmSequence &sequence, PendingInterval &interval, ComputationContext &context, const std::string &operation)
Result< std::size_t >	LMCAS::detail::anonymous_namespace{exact_sturm.cpp}::count_open_roots (const Polynomial< Rational > &square_free, const SturmSequence &sequence, const Rational &lower, const Rational &upper, ComputationContext &context, const std::string &operation)
Result< std::size_t >	LMCAS::detail::count_real_roots_exact (const Polynomial< Rational > &polynomial, const Rational &lower, const Rational &upper, ComputationContext &context, const std::string &operation)
Result< std::vector< RationalInterval > >	LMCAS::detail::isolate_real_roots_exact (const Polynomial< Rational > &polynomial, ComputationContext &context, const std::string &operation)
Result< std::vector< RationalInterval > >	LMCAS::detail::anonymous_namespace{exact_sturm.cpp}::isolate_sturm_sequence (const Polynomial< Rational > &square_free, const SturmSequence &sequence, ComputationContext &context, const std::string &operation)
Result< SturmSequence >	LMCAS::detail::anonymous_namespace{exact_sturm.cpp}::make_sturm_sequence (Polynomial< Rational > polynomial, ComputationContext &context, const std::string &operation)
int	LMCAS::detail::anonymous_namespace{exact_sturm.cpp}::polynomial_sign_at (const Polynomial< Rational > &polynomial, const Rational &point)
int	LMCAS::detail::anonymous_namespace{exact_sturm.cpp}::sign_changes (const std::vector< int > &signs)
Result< void >	LMCAS::detail::anonymous_namespace{exact_sturm.cpp}::subdivide_isolation (const Polynomial< Rational > &square_free, const SturmSequence &sequence, const PendingInterval &current, std::vector< PendingInterval > &pending, std::vector< RationalInterval > &isolated, ComputationContext &context, const std::string &operation)
Result< int >	LMCAS::detail::anonymous_namespace{exact_sturm.cpp}::variations_at (const SturmSequence &sequence, const Rational &point, ComputationContext &context, const std::string &operation)

---

类说明

LMCAS::detail::anonymous_namespace{exact_sturm.cpp}::PendingInterval

struct LMCAS::detail::anonymous_namespace{exact_sturm.cpp}::PendingInterval

在文件 exact_sturm.cpp 第 137 行定义.

LMCAS::detail::anonymous_namespace{exact_sturm.cpp}::PendingInterval 的协作图:

类成员
size_t	count
Rational	lower
Rational	upper