LMCAS
Lamina Computer Algebra System
载入中...
搜索中...
未找到
exact_algebraic.cpp 文件参考
#include "internal/exact_algebraic.hpp"
#include "internal/exact_sturm.hpp"
#include "rational_polynomial.hpp"
#include <algorithm>
#include <cmath>
#include <exception>
#include <utility>
#include <vector>
exact_algebraic.cpp 的引用(Include)关系图:

浏览该文件的源代码.

命名空间

namespace  LMCAS
namespace  LMCAS::detail
 多元 Hensel 提升(单变量步)
namespace  LMCAS::detail::anonymous_namespace{exact_algebraic.cpp}

函数

Result< bool > LMCAS::detail::anonymous_namespace{exact_algebraic.cpp}::common_root_in_enclosures (const ExactRealAlgebraic &lhs, const ExactRealAlgebraic &rhs, ComputationContext &context)
Result< int > LMCAS::detail::compare_exact_real_algebraic (ExactRealAlgebraic lhs, ExactRealAlgebraic rhs, ComputationContext &context)
Result< bool > LMCAS::detail::equal_exact_real_algebraic (ExactRealAlgebraic lhs, ExactRealAlgebraic rhs, ComputationContext &context)
ExactRealAlgebraicResult LMCAS::detail::make_exact_real_algebraic (Polynomial< Rational > polynomial, std::size_t root_index, std::size_t multiplicity, ComputationContext &context)
Polynomial< Rational > LMCAS::detail::anonymous_namespace{exact_algebraic.cpp}::monic (Polynomial< Rational > polynomial)
bool LMCAS::detail::anonymous_namespace{exact_algebraic.cpp}::overlaps (const Rational &lhs_lower, const Rational &lhs_upper, const Rational &rhs_lower, const Rational &rhs_upper)
Result< void > LMCAS::detail::refine_exact_real_algebraic (ExactRealAlgebraic &value, ComputationContext &context, const std::string &operation)
bool LMCAS::detail::anonymous_namespace{exact_algebraic.cpp}::same_polynomial (const Polynomial< Rational > &lhs, const Polynomial< Rational > &rhs)
int LMCAS::detail::anonymous_namespace{exact_algebraic.cpp}::sign (const Rational &value)

变量

constexpr const char * LMCAS::detail::anonymous_namespace{exact_algebraic.cpp}::kOperation = "exact_algebraic"