类型定义
using	SymbolicMatrix

函数
bool	independent_of_variables (const std::shared_ptr< SymbolicExpr > &expression, const std::vector< std::string > &variables)
std::vector< std::shared_ptr< SymbolicExpr > >	make_variables (const std::vector< std::string > &names)
std::optional< SymbolicMatrix >	quadratic_coefficients (const std::shared_ptr< SymbolicExpr > &expanded, const std::vector< std::string > &variables, ComputationContext &context)
std::shared_ptr< SymbolicExpr >	reconstruct_quadratic_form (const std::vector< std::vector< std::shared_ptr< SymbolicExpr > > > &matrix, const std::vector< std::shared_ptr< SymbolicExpr > > &variables)
bool	reconstructs_expression (const std::shared_ptr< SymbolicExpr > &expanded, const SymbolicMatrix &matrix, const std::vector< std::shared_ptr< SymbolicExpr > > &variables, ComputationContext &context)
bool	valid_variables (const std::vector< std::string > &variables)

类型定义说明

◆ SymbolicMatrix

using LMCAS::anonymous_namespace{matrix_quadratic_form.cpp}::SymbolicMatrix

初始值:

std::vector<std::vector<std::shared_ptr<SymbolicExpr>>>

在文件 matrix_quadratic_form.cpp 第 53 行定义.

函数说明

◆ independent_of_variables()

bool LMCAS::anonymous_namespace{matrix_quadratic_form.cpp}::independent_of_variables	(	const std::shared_ptr< SymbolicExpr > &	expression,
		const std::vector< std::string > &	variables )

在文件 matrix_quadratic_form.cpp 第 24 行定义.

                                           {
    if (!expression || !detail::node(expression)) return false;
    for (const auto& variable : variables) {
        if (expression_depends_on_variable(
                detail::node(expression), variable)) {
            return false;
        }
    }
    return true;
}

引用了 LMCAS::expression_depends_on_variable(), independent_of_variables(), LMCAS::detail::node() , 以及 LMCAS::variable.

被这些函数引用 independent_of_variables() , 以及 quadratic_coefficients().

函数调用图:

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

◆ make_variables()

std::vector< std::shared_ptr< SymbolicExpr > > LMCAS::anonymous_namespace{matrix_quadratic_form.cpp}::make_variables ( const std::vector< std::string > & names )

在文件 matrix_quadratic_form.cpp 第 56 行定义.

                                       {
    std::vector<std::shared_ptr<SymbolicExpr>> variables;
    variables.reserve(names.size());
    for (const auto& name : names) {
        variables.push_back(SymbolicExpr::variable(name));
    }
    return variables;
}

引用了 make_variables() , 以及 LMCAS::name.

被这些函数引用 make_variables().

函数调用图:

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

◆ quadratic_coefficients()

std::optional< SymbolicMatrix > LMCAS::anonymous_namespace{matrix_quadratic_form.cpp}::quadratic_coefficients	(	const std::shared_ptr< SymbolicExpr > &	expanded,
		const std::vector< std::string > &	variables,
		ComputationContext &	context )

在文件 matrix_quadratic_form.cpp 第 66 行定义.

                                                                        {
 
    detail::RewriteBudget transform_budget(context, (context).limits().max_recursion_depth,
                                            (context).limits().max_ast_nodes, "transform");
    const auto half = SymbolicExpr::number(Rational(1, 2));
    SymbolicMatrix matrix(
        variables.size(),
        std::vector<std::shared_ptr<SymbolicExpr>>(variables.size()));
    for (std::size_t row = 0; row < variables.size(); ++row) {
        auto first_derivative = detail::make_expression_ptr(detail::differentiate_node(detail::node(expanded), variables[row], transform_budget));
        if (!first_derivative) {
            return std::nullopt;
        }
        for (std::size_t column = 0; column < variables.size(); ++column) {
            auto second_derivative =
                detail::make_expression_ptr(detail::differentiate_node(detail::node(first_derivative), variables[column], transform_budget));
            if (!second_derivative) {
                return std::nullopt;
            }
            auto coefficient =
                detail::make_expression_ptr(detail::normalize_node(detail::node(SymbolicExpr::multiply(half, second_derivative)), transform_budget));
            if (!independent_of_variables(coefficient, variables)) {
                return std::nullopt;
            }
            matrix[row][column] = std::move(coefficient);
        }
    }
    return matrix;
}

引用了 LMCAS::context, LMCAS::detail::differentiate_node(), independent_of_variables(), LMCAS::detail::make_expression_ptr(), LMCAS::detail::node(), LMCAS::detail::normalize_node() , 以及 quadratic_coefficients().

被这些函数引用 quadratic_coefficients().

函数调用图:

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

◆ reconstruct_quadratic_form()

std::shared_ptr< SymbolicExpr > LMCAS::anonymous_namespace{matrix_quadratic_form.cpp}::reconstruct_quadratic_form	(	const std::vector< std::vector< std::shared_ptr< SymbolicExpr > > > &	matrix,
		const std::vector< std::shared_ptr< SymbolicExpr > > &	variables )

在文件 matrix_quadratic_form.cpp 第 37 行定义.

                                                             {
    auto reconstructed = SymbolicExpr::number(0);
    for (std::size_t row = 0; row < matrix.size(); ++row) {
        for (std::size_t column = 0; column < matrix.size(); ++column) {
            if (detail::node(matrix[row][column])->is_zero()) continue;
            auto term = SymbolicExpr::multiply(
                matrix[row][column],
                SymbolicExpr::multiply(variables[row], variables[column]));
            reconstructed = SymbolicExpr::add(reconstructed, term);
        }
    }
    return reconstructed;
}

引用了 LMCAS::detail::node() , 以及 reconstruct_quadratic_form().

被这些函数引用 reconstruct_quadratic_form() , 以及 reconstructs_expression().

函数调用图:

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

◆ reconstructs_expression()

bool LMCAS::anonymous_namespace{matrix_quadratic_form.cpp}::reconstructs_expression	(	const std::shared_ptr< SymbolicExpr > &	expanded,
		const SymbolicMatrix &	matrix,
		const std::vector< std::shared_ptr< SymbolicExpr > > &	variables,
		ComputationContext &	context )

在文件 matrix_quadratic_form.cpp 第 98 行定义.

                                                                                          {
 
    detail::RewriteBudget transform_budget(context, (context).limits().max_recursion_depth,
                                            (context).limits().max_ast_nodes, "transform");
    auto reconstructed = reconstruct_quadratic_form(matrix, variables);
    auto residual = SymbolicExpr::add(
        expanded,
        SymbolicExpr::multiply(
            SymbolicExpr::number(-1), reconstructed));
    residual = detail::make_expression_ptr(detail::expand_node(detail::node(residual), transform_budget));
    if (residual) {
        residual = detail::make_expression_ptr(detail::normalize_node(detail::node(residual), transform_budget));
    }
    return residual && detail::node(residual) &&
        detail::node(residual)->is_zero();
}

引用了 LMCAS::context, LMCAS::detail::expand_node(), LMCAS::SymbolicNode::is_zero(), LMCAS::detail::make_expression_ptr(), LMCAS::detail::node(), LMCAS::detail::normalize_node(), reconstruct_quadratic_form() , 以及 reconstructs_expression().

被这些函数引用 reconstructs_expression().

函数调用图:

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

◆ valid_variables()

bool LMCAS::anonymous_namespace{matrix_quadratic_form.cpp}::valid_variables ( const std::vector< std::string > & variables )

在文件 matrix_quadratic_form.cpp 第 13 行定义.

                                                            {
    if (variables.empty()) return false;
    for (std::size_t index = 0; index < variables.size(); ++index) {
        if (variables[index].empty()) return false;
        for (std::size_t previous = 0; previous < index; ++previous) {
            if (variables[index] == variables[previous]) return false;
        }
    }
    return true;
}

引用了 valid_variables().

被这些函数引用 valid_variables().

函数调用图:

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