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

函数
std::vector< Poly >	convert_polynomials (const std::vector< SymbolicExpr > &expressions, PolyContext &context)
void	extend_basis (std::vector< Poly > &basis, size_t num_vars)
std::vector< SymbolicExpr >	reconstruct_basis (const std::vector< Poly > &basis, const PolyContext &context)

函数说明

convert_polynomials()

std::vector< Poly > LMCAS::anonymous_namespace{solver_groebner.cpp}::convert_polynomials	(	const std::vector< SymbolicExpr > &	expressions,
		PolyContext &	context )

在文件 solver_groebner.cpp 第 8 行定义.

                                                            {
    std::vector<Poly> polynomials;
    for (const auto& expression : expressions) {
        Poly polynomial = to_poly(expression, context);
        if (!polynomial.is_zero()) polynomials.push_back(polynomial);
    }
    return polynomials;
}

引用了 LMCAS::context, convert_polynomials(), LMCAS::expressions(), LMCAS::groebner_detail::Poly::is_zero() , 以及 LMCAS::groebner_detail::to_poly().

被这些函数引用 convert_polynomials().

函数调用图:

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

extend_basis()

void LMCAS::anonymous_namespace{solver_groebner.cpp}::extend_basis	(	std::vector< Poly > &	basis,
		size_t	num_vars )

在文件 solver_groebner.cpp 第 18 行定义.

                                                           {
    for (auto& polynomial : basis) extend_variables(polynomial, num_vars);
}

引用了 LMCAS::basis, extend_basis() , 以及 LMCAS::groebner_detail::extend_variables().

被这些函数引用 extend_basis().

函数调用图:

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

reconstruct_basis()

std::vector< SymbolicExpr > LMCAS::anonymous_namespace{solver_groebner.cpp}::reconstruct_basis	(	const std::vector< Poly > &	basis,
		const PolyContext &	context )

在文件 solver_groebner.cpp 第 22 行定义.

                                                              {
    std::vector<SymbolicExpr> expressions;
    for (const auto& polynomial : basis) {
        expressions.push_back(from_poly_ext(polynomial, context));
    }
    return expressions;
}

引用了 LMCAS::basis, LMCAS::context, LMCAS::expressions(), LMCAS::groebner_detail::from_poly_ext() , 以及 reconstruct_basis().

被这些函数引用 reconstruct_basis().

函数调用图:

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