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

函数
Monomial	add_monomials (const Monomial &left, const Monomial &right, std::size_t num_vars)
bool	reduce_leading_term (FGLMPoly &polynomial, const std::vector< FGLMPoly > &basis, const Monomial &leading, const MonomialOrder &order)
void	subtract_leading_multiple (FGLMPoly &polynomial, const FGLMPoly &divisor, const Monomial &divisor_leading, const Monomial &leading, const MonomialOrder &order)
Monomial	subtract_monomials (const Monomial &left, const Monomial &right, std::size_t num_vars)

函数说明

add_monomials()

Monomial LMCAS::anonymous_namespace{fglm_polynomial.cpp}::add_monomials	(	const Monomial &	left,
		const Monomial &	right,
		std::size_t	num_vars )

在文件 fglm_polynomial.cpp 第 20 行定义.

                                                                     {
    Monomial result(num_vars, 0);
    for (std::size_t i = 0; i < num_vars; ++i) {
        const int left_value = i < left.size() ? left[i] : 0;
        const int right_value = i < right.size() ? right[i] : 0;
        result[i] = left_value + right_value;
    }
    return result;
}

引用了 add_monomials() , 以及 LMCAS::right.

被这些函数引用 add_monomials() , 以及 subtract_leading_multiple().

函数调用图:

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

reduce_leading_term()

bool LMCAS::anonymous_namespace{fglm_polynomial.cpp}::reduce_leading_term	(	FGLMPoly &	polynomial,
		const std::vector< FGLMPoly > &	basis,
		const Monomial &	leading,
		const MonomialOrder &	order )

在文件 fglm_polynomial.cpp 第 48 行定义.

                                                         {
    for (const auto& divisor : basis) {
        if (divisor.is_zero()) {
            continue;
        }
        const Monomial divisor_leading = divisor.lead_monomial();
        if (!divides_monomial(divisor_leading, leading)) {
            continue;
        }
        subtract_leading_multiple(
            polynomial, divisor, divisor_leading, leading, order);
        return true;
    }
    return false;
}

引用了 LMCAS::basis, LMCAS::divides_monomial(), LMCAS::order, reduce_leading_term() , 以及 subtract_leading_multiple().

被这些函数引用 reduce_leading_term().

函数调用图:

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

subtract_leading_multiple()

void LMCAS::anonymous_namespace{fglm_polynomial.cpp}::subtract_leading_multiple	(	FGLMPoly &	polynomial,
		const FGLMPoly &	divisor,
		const Monomial &	divisor_leading,
		const Monomial &	leading,
		const MonomialOrder &	order )

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

                                {
    const Monomial quotient = subtract_monomials(
        leading, divisor_leading, polynomial.num_vars);
    const Rational coefficient =
        polynomial.lead_coeff() / divisor.lead_coeff();
    for (const auto& [monomial, value] : divisor.terms) {
        polynomial.add_term(
            add_monomials(quotient, monomial, polynomial.num_vars),
            -(coefficient * value));
    }
    polynomial.sort_terms(order);
    polynomial.normalize();
}

引用了 add_monomials(), LMCAS::order, subtract_leading_multiple(), subtract_monomials() , 以及 LMCAS::value.

被这些函数引用 reduce_leading_term() , 以及 subtract_leading_multiple().

函数调用图:

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

subtract_monomials()

Monomial LMCAS::anonymous_namespace{fglm_polynomial.cpp}::subtract_monomials	(	const Monomial &	left,
		const Monomial &	right,
		std::size_t	num_vars )

在文件 fglm_polynomial.cpp 第 9 行定义.

                                                                     {
    Monomial result(num_vars, 0);
    for (std::size_t i = 0; i < num_vars; ++i) {
        const int left_value = i < left.size() ? left[i] : 0;
        const int right_value = i < right.size() ? right[i] : 0;
        result[i] = left_value - right_value;
    }
    return result;
}

引用了 LMCAS::right , 以及 subtract_monomials().

被这些函数引用 subtract_leading_multiple() , 以及 subtract_monomials().

函数调用图:

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