exact_sturm.hpp 文件参考

#include "computation_context.hpp"
#include "polynomial.hpp"
#include "result.hpp"
#include <string>
#include <utility>
#include <vector>

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

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

浏览该文件的源代码.

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

类型定义
using	LMCAS::detail::RationalInterval = std::pair<Rational, Rational>

函数
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)
Rational	LMCAS::detail::strict_cauchy_root_bound (const Polynomial< Rational > &polynomial)