LMCAS::detail::anonymous_namespace{exact_algebraic.cpp} 命名空间参考

函数
Result< bool >	common_root_in_enclosures (const ExactRealAlgebraic &lhs, const ExactRealAlgebraic &rhs, ComputationContext &context)
Polynomial< Rational >	monic (Polynomial< Rational > polynomial)
bool	overlaps (const Rational &lhs_lower, const Rational &lhs_upper, const Rational &rhs_lower, const Rational &rhs_upper)
bool	same_polynomial (const Polynomial< Rational > &lhs, const Polynomial< Rational > &rhs)
int	sign (const Rational &value)

变量
constexpr const char *	kOperation = "exact_algebraic"

函数说明

common_root_in_enclosures()

Result< bool > LMCAS::detail::anonymous_namespace{exact_algebraic.cpp}::common_root_in_enclosures	(	const ExactRealAlgebraic &	lhs,
		const ExactRealAlgebraic &	rhs,
		ComputationContext &	context )

在文件 exact_algebraic.cpp 第 42 行定义.

                                 {
    auto common = monic(Polynomial<Rational>::gcd(lhs.polynomial, rhs.polynomial));
    if (common.degree() < 1) {
        return Result<bool>::success(false);
    }
    auto isolated = isolate_real_roots_exact(
        common, context, "exact_algebraic.equal");
    if (!isolated) {
        return Result<bool>::failure(isolated.error());
    }
    for (const auto& interval : isolated.value()) {
        if (overlaps(lhs.lower, lhs.upper, interval.first, interval.second) &&
            overlaps(rhs.lower, rhs.upper, interval.first, interval.second)) {
            return Result<bool>::success(true);
        }
    }
    return Result<bool>::success(false);
}

引用了 common_root_in_enclosures(), LMCAS::detail::context, LMCAS::Result< T >::failure(), LMCAS::Polynomial< CoeffType >::gcd(), LMCAS::interval(), LMCAS::detail::isolate_real_roots_exact(), LMCAS::detail::ExactRealAlgebraic::lower, monic(), overlaps(), LMCAS::detail::ExactRealAlgebraic::polynomial, LMCAS::detail::rhs, LMCAS::Result< T >::success(), LMCAS::detail::ExactRealAlgebraic::upper , 以及 LMCAS::Result< T >::value().

被这些函数引用 common_root_in_enclosures().

函数调用图:

这是这个函数的调用关系图:

monic()

Polynomial< Rational > LMCAS::detail::anonymous_namespace{exact_algebraic.cpp}::monic

(

Polynomial< Rational >

polynomial

)

在文件 exact_algebraic.cpp 第 17 行定义.

                                                            {
    polynomial.trim();
    if (polynomial.is_zero()) return polynomial;
    const Rational leading = polynomial.lead_coeff();
    for (auto& coefficient : polynomial.coeffs) coefficient = coefficient / leading;
    polynomial.trim();
    return polynomial;
}

引用了 LMCAS::Polynomial< CoeffType >::coeffs, LMCAS::Polynomial< CoeffType >::is_zero(), LMCAS::Polynomial< CoeffType >::lead_coeff(), monic() , 以及 LMCAS::Polynomial< CoeffType >::trim().

被这些函数引用 common_root_in_enclosures() , 以及 monic().

函数调用图:

这是这个函数的调用关系图:

overlaps()

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 )

在文件 exact_algebraic.cpp 第 31 行定义.

                                                                    {
    return !(lhs_upper < rhs_lower) && !(rhs_upper < lhs_lower);
}

引用了 overlaps().

被这些函数引用 common_root_in_enclosures() , 以及 overlaps().

函数调用图:

这是这个函数的调用关系图:

same_polynomial()

bool LMCAS::detail::anonymous_namespace{exact_algebraic.cpp}::same_polynomial	(	const Polynomial< Rational > &	lhs,
		const Polynomial< Rational > &	rhs )

在文件 exact_algebraic.cpp 第 26 行定义.

                                                      {
    return lhs.variable_name == rhs.variable_name && lhs.coeffs == rhs.coeffs;
}

引用了 LMCAS::Polynomial< CoeffType >::coeffs, LMCAS::detail::rhs, same_polynomial() , 以及 LMCAS::Polynomial< CoeffType >::variable_name.

被这些函数引用 same_polynomial().

函数调用图:

这是这个函数的调用关系图:

sign()

int LMCAS::detail::anonymous_namespace{exact_algebraic.cpp}::sign

(

const Rational &

value

)

在文件 exact_algebraic.cpp 第 36 行定义.

                                {
    if (value < Rational(0)) return -1;
    if (value > Rational(0)) return 1;
    return 0;
}

引用了 sign() , 以及 LMCAS::value.

被这些函数引用 sign().

函数调用图:

这是这个函数的调用关系图:

变量说明

kOperation

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

constexpr

在文件 exact_algebraic.cpp 第 15 行定义.