|
LMCAS
Lamina Computer Algebra System
|
#include "computation_context.hpp"#include "rational.hpp"#include <algorithm>#include <limits>#include <utility>类 | |
| 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) |