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

函数
bool	rd_factor_piece (const Polynomial< Rational > &piece, int mult, std::vector< std::pair< Polynomial< Rational >, int > > &factors_out)
bool	rd_factor_quadratic (Polynomial< Rational > &current, int mult, std::vector< std::pair< Polynomial< Rational >, int > > &factors_out)

函数说明

rd_factor_piece()

bool LMCAS::anonymous_namespace{integration_rational_factorization.cpp}::rd_factor_piece	(	const Polynomial< Rational > &	piece,
		int	mult,
		std::vector< std::pair< Polynomial< Rational >, int > > &	factors_out )

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

                                                                {
    auto current = piece.make_monic();
    if (current.degree() == 0) { return true; }
    if (current.degree() == 1) {
        factors_out.push_back({current, mult});
        return true;
    }
    if (current.degree() == 2) { return rd_factor_quadratic(current, mult, factors_out); }
        auto roots = find_rational_roots(current);
        for (const auto& r : roots) {
            Polynomial<Rational> linear({Rational(0) - r, Rational(1)}, current.variable_name);
            auto qr = current.div_mod(linear);
            if (qr.second.is_zero()) {
                factors_out.push_back({linear, mult});
                current = qr.first;
                if (current.degree() <= 0) { break; }
            }
        }
 
        if (current.degree() <= 0) { return true; }
        if (current.degree() == 1) {
            factors_out.push_back({current.make_monic(), mult});
            return true;
        }
        if (current.degree() == 2) {
            factors_out.push_back({current.make_monic(), mult});
            return true;
        }
        return false;
}

引用了 LMCAS::Polynomial< CoeffType >::div_mod(), LMCAS::find_rational_roots(), LMCAS::Polynomial< CoeffType >::is_zero(), LMCAS::Polynomial< CoeffType >::make_monic(), LMCAS::r, rd_factor_piece(), rd_factor_quadratic() , 以及 LMCAS::roots().

被这些函数引用 rd_factor_piece().

函数调用图:

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

rd_factor_quadratic()

bool LMCAS::anonymous_namespace{integration_rational_factorization.cpp}::rd_factor_quadratic	(	Polynomial< Rational > &	current,
		int	mult,
		std::vector< std::pair< Polynomial< Rational >, int > > &	factors_out )

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

                                                                {
                auto roots = find_rational_roots(current);
                if (!roots.empty()) {
                    for (const auto& r : roots) {
                        Polynomial<Rational> linear({Rational(0) - r, Rational(1)}, current.variable_name);
                        auto qr = current.div_mod(linear);
                        if (!qr.second.is_zero()) {
                            return false;
                        }
                        factors_out.push_back({linear, mult});
                        current = qr.first;
                        if (current.degree() == 0) { break; }
                    }
                }
                if (current.degree() == 2) {
                    factors_out.push_back({current.make_monic(), mult});
                    current = Polynomial<Rational>({Rational(1)}, current.variable_name);
                } else if (current.degree() == 1) {
                    factors_out.push_back({current.make_monic(), mult});
                    current = Polynomial<Rational>({Rational(1)}, current.variable_name);
                }
    return true;
}

引用了 LMCAS::Polynomial< CoeffType >::degree(), LMCAS::Polynomial< CoeffType >::div_mod(), LMCAS::find_rational_roots(), LMCAS::Polynomial< CoeffType >::is_zero(), LMCAS::Polynomial< CoeffType >::make_monic(), LMCAS::r, rd_factor_quadratic(), LMCAS::roots() , 以及 LMCAS::Polynomial< CoeffType >::variable_name.

被这些函数引用 rd_factor_piece() , 以及 rd_factor_quadratic().

函数调用图:

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