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

函数
std::shared_ptr< const SymbolicNode >	extract_small_square_factor (const BigInt &value, const BigInt &root, detail::RewriteBudget *budget)
std::shared_ptr< const SymbolicNode >	half_numeric_power (const NumberNode &base, detail::RewriteBudget *budget)
std::shared_ptr< const SymbolicNode >	integer_numeric_power (const std::shared_ptr< const NumberNode > &base, const BigInt &exponent)
bool	is_half_exponent (const NumberNode &exponent)
std::shared_ptr< const NumberNode >	reciprocal_exact_number (const NumberNode &number)
std::shared_ptr< const NumberNode >	small_exact_power (const NumberNode &base, const BigInt &exponent)

函数说明

extract_small_square_factor()

std::shared_ptr< const SymbolicNode > LMCAS::anonymous_namespace{normalization_numeric_powers.cpp}::extract_small_square_factor	(	const BigInt &	value,
		const BigInt &	root,
		detail::RewriteBudget *	budget )

在文件 normalization_numeric_powers.cpp 第 64 行定义.

                                                                          {
    if (value <= BigInt(0) || value >= BigInt(1000000)) {
        return nullptr;
    }
    for (BigInt factor = root; factor >= BigInt(2); factor -= BigInt(1)) {
        const BigInt square = factor * factor;
        if (!(value % square).is_zero()) {
            continue;
        }
        if (budget) { budget->require_nodes(5); }
        auto coefficient = detail::make_node<NumberNode>(factor);
        auto radicand = detail::make_node<NumberNode>(value / square);
        auto half = detail::make_node<NumberNode>(Rational(1, 2));
        auto radical = detail::make_node<PowerNode>(radicand, half);
        return SymbolicFactory::create_multiply({coefficient, radical}, budget);
    }
    return nullptr;
}

引用了 LMCAS::SymbolicFactory::create_multiply(), extract_small_square_factor(), LMCAS::detail::make_node(), LMCAS::detail::RewriteBudget::require_nodes() , 以及 LMCAS::value.

被这些函数引用 extract_small_square_factor() , 以及 half_numeric_power().

函数调用图:

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

half_numeric_power()

std::shared_ptr< const SymbolicNode > LMCAS::anonymous_namespace{normalization_numeric_powers.cpp}::half_numeric_power	(	const NumberNode &	base,
		detail::RewriteBudget *	budget )

在文件 normalization_numeric_powers.cpp 第 84 行定义.

                                                         {
    if (const auto* integer = std::get_if<BigInt>(&base.value())) {
        if (*integer < BigInt(0)) {
            return nullptr;
        }
        const BigInt root = integer->sqrt();
        if (root * root == *integer) {
            return detail::make_node<NumberNode>(root);
        }
        return extract_small_square_factor(*integer, root, budget);
    }
    if (auto root = normalization_exact_square_root(base)) {
        return root;
    }
    return nullptr;
}

引用了 extract_small_square_factor(), half_numeric_power(), LMCAS::integer, LMCAS::detail::make_node(), LMCAS::normalization_exact_square_root() , 以及 LMCAS::NumberNode::value().

被这些函数引用 half_numeric_power().

函数调用图:

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

integer_numeric_power()

std::shared_ptr< const SymbolicNode > LMCAS::anonymous_namespace{normalization_numeric_powers.cpp}::integer_numeric_power	(	const std::shared_ptr< const NumberNode > &	base,
		const BigInt &	exponent )

在文件 normalization_numeric_powers.cpp 第 35 行定义.

                                                                         {
    const bool small = exponent > BigInt(-64) && exponent < BigInt(64);
    if (exponent == BigInt(-1)) {
        return reciprocal_exact_number(*base);
    }
    if (exponent.is_zero()) {
        return detail::make_node<NumberNode>(BigInt(1));
    }
    if (!small) {
        return nullptr;
    }
    auto powered = small_exact_power(*base, exponent);
    if (!powered) {
        return nullptr;
    }
    if (exponent > BigInt(0)) {
        return powered;
    }
    return reciprocal_exact_number(*powered);
}

引用了 LMCAS::exponent, integer_numeric_power(), LMCAS::detail::make_node(), reciprocal_exact_number() , 以及 small_exact_power().

被这些函数引用 integer_numeric_power().

函数调用图:

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

is_half_exponent()

bool LMCAS::anonymous_namespace{normalization_numeric_powers.cpp}::is_half_exponent

(

const NumberNode &

exponent

)

在文件 normalization_numeric_powers.cpp 第 57 行定义.

                                                  {
    if (const auto* rational = std::get_if<Rational>(&exponent.value())) {
        return *rational == Rational(1, 2);
    }
    return false;
}

引用了 LMCAS::exponent, is_half_exponent() , 以及 LMCAS::rational().

被这些函数引用 is_half_exponent().

函数调用图:

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

reciprocal_exact_number()

std::shared_ptr< const NumberNode > LMCAS::anonymous_namespace{normalization_numeric_powers.cpp}::reciprocal_exact_number

(

const NumberNode &

number

)

在文件 normalization_numeric_powers.cpp 第 6 行定义.

                                                                                  {
    if (const auto* integer = std::get_if<BigInt>(&number.value())) {
        return detail::make_node<NumberNode>(Rational(BigInt(1), *integer));
    }
    if (const auto* rational = std::get_if<Rational>(&number.value())) {
        if (!rational->get_numerator().is_zero()) {
            return detail::make_node<NumberNode>(
                Rational(rational->get_denominator(), rational->get_numerator()));
        }
    }
    return nullptr;
}

引用了 LMCAS::integer, LMCAS::detail::make_node(), LMCAS::rational(), reciprocal_exact_number() , 以及 LMCAS::NumberNode::value().

被这些函数引用 integer_numeric_power() , 以及 reciprocal_exact_number().

函数调用图:

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

small_exact_power()

std::shared_ptr< const NumberNode > LMCAS::anonymous_namespace{normalization_numeric_powers.cpp}::small_exact_power	(	const NumberNode &	base,
		const BigInt &	exponent )

在文件 normalization_numeric_powers.cpp 第 19 行定义.

                                                                           {
    const auto count = exponent.abs().try_to_uint64();
    if (const auto* integer = std::get_if<BigInt>(&base.value())) {
        BigInt value(1);
        for (std::uint64_t k = 0; k < *count; ++k) value = value * *integer;
        return detail::make_node<NumberNode>(value);
    }
    if (const auto* rational = std::get_if<Rational>(&base.value())) {
        Rational value(1);
        for (std::uint64_t k = 0; k < *count; ++k) value = value * *rational;
        return detail::make_node<NumberNode>(value);
    }
    return nullptr;
}

引用了 LMCAS::exponent, LMCAS::integer, LMCAS::detail::make_node(), LMCAS::rational(), small_exact_power(), LMCAS::NumberNode::value() , 以及 LMCAS::value.

被这些函数引用 integer_numeric_power() , 以及 small_exact_power().

函数调用图:

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