|
LMCAS
Lamina Computer Algebra System
|
#include "computation_context.hpp"#include "internal/exact_root.hpp"#include "internal/exact_sturm.hpp"类 | |
| struct | LMCAS::detail::complex_root::CoordinateProjections |
| struct | LMCAS::detail::complex_root::RationalRectangle |
| struct | LMCAS::detail::complex_root::RectangleCount |
命名空间 | |
| namespace | LMCAS |
| namespace | LMCAS::detail |
| 多元 Hensel 提升(单变量步) | |
| namespace | LMCAS::detail::complex_root |
类型定义 | |
| using | LMCAS::detail::complex_root::Poly = Polynomial<Rational> |
函数 | |
| Poly | LMCAS::detail::complex_root::clear_denominators (Poly polynomial) |
| Result< CoordinateProjections > | LMCAS::detail::complex_root::coordinate_projections (const Poly &polynomial, ComputationContext &context, const std::string &operation) |
| Result< RectangleCount > | LMCAS::detail::complex_root::count_rectangle_roots (const Poly &polynomial, const RationalRectangle &rectangle, ComputationContext &context, const std::string &operation) |
| Result< std::vector< ComplexIsolation > > | LMCAS::detail::complex_root::isolate_nonreal_roots (const Poly &polynomial, std::size_t complex_count, ComputationContext &context, const std::string &operation) |
| int | LMCAS::detail::complex_root::rational_sign (const Rational &value) |
| Result< void > | LMCAS::detail::complex_root::refine_interval (const Poly &polynomial, RationalInterval &interval, ComputationContext &context, const std::string &operation) |
| Poly | LMCAS::detail::complex_root::scale_poly (Poly polynomial, const Rational &scalar) |
| struct LMCAS::detail::complex_root::CoordinateProjections |
在文件 complex_root_isolation.hpp 第 23 行定义.
| 类成员 | ||
|---|---|---|
| Poly | imaginary | |
| Poly | real | |
| struct LMCAS::detail::complex_root::RationalRectangle |
在文件 complex_root_isolation.hpp 第 11 行定义.
| 类成员 | ||
|---|---|---|
| Rational | imaginary_lower | |
| Rational | imaginary_upper | |
| Rational | real_lower | |
| Rational | real_upper | |
| struct LMCAS::detail::complex_root::RectangleCount |
在文件 complex_root_isolation.hpp 第 18 行定义.
| 类成员 | ||
|---|---|---|
| bool | boundary_clear = false | |
| size_t | count = 0 | |