LMCAS
Lamina Computer Algebra System
载入中...
搜索中...
未找到
exact_constant_bounds.hpp 文件参考
#include "computation_context.hpp"
#include "rational.hpp"
#include <algorithm>
#include <limits>
#include <utility>
exact_constant_bounds.hpp 的引用(Include)关系图:
此图展示该文件被哪些文件直接或间接地引用了:

浏览该文件的源代码.

类

class  LMCAS::detail::ExactBoundArithmetic
 常数及根式包围区间共用的内部算术策略。 保守界覆盖未约分 Rational 的交叉乘积及结果;受检入口统一捕获 CasError,仅返回完整结果。 更多...

命名空间

namespace  LMCAS
namespace  LMCAS::detail
 多元 Hensel 提升(单变量步)

类型定义

using LMCAS::detail::ExactConstantInterval = std::pair<Rational, Rational>

函数

Result< ExactConstantInterval > LMCAS::detail::exact_atan_bounds (const Rational &value, std::size_t precision_bits, ComputationContext &context)
Result< ExactConstantInterval > LMCAS::detail::exact_e_bounds (std::size_t precision_bits, ComputationContext &context)
Result< ExactConstantInterval > LMCAS::detail::exact_pi_bounds (std::size_t precision_bits, ComputationContext &context)