LMCAS::detail::matrix_kernel 命名空间参考

函数
Result< std::optional< std::size_t > >	choose_pivot (const ExactMatrixData &matrix, std::size_t first_row, std::size_t column, ComputationContext &context, const std::string &operation)
ExprPtr	exact_add (const ExprPtr &left, const ExprPtr &right, ComputationContext &context)
ExprPtr	exact_divide (const ExprPtr &numerator, const ExprPtr &denominator, ComputationContext &context)
ExprPtr	exact_multiply (const ExprPtr &left, const ExprPtr &right, ComputationContext &context)
ExprPtr	exact_negate (const ExprPtr &expression, ComputationContext &context)
std::optional< Rational >	exact_rational (const ExprPtr &expression)
ExprPtr	exact_subtract (const ExprPtr &left, const ExprPtr &right, ComputationContext &context)
ExprPtr	simplify_expr (ExprPtr expression, ComputationContext &context)
void	swap_rows (ExactMatrixData &matrix, std::size_t first, std::size_t second)
Result< void >	validate_matrix (const ExactMatrixData &matrix, const std::string &operation)

函数说明

choose_pivot()

Result< std::optional< std::size_t > > LMCAS::detail::matrix_kernel::choose_pivot	(	const ExactMatrixData &	matrix,
		std::size_t	first_row,
		std::size_t	column,
		ComputationContext &	context,
		const std::string &	operation )

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

                                {
    bool saw_unknown = false;
    for (std::size_t row = first_row; row < matrix.rows; ++row) {
        auto proof = classify_exact_zero(matrix.at(row, column), context, operation);
        if (!proof) {
            return Result<std::optional<std::size_t>>::failure(proof.error());
        }
        if (proof.value() == ZeroProof::NonZero) {
            return Result<std::optional<std::size_t>>::success(row);
        }
        saw_unknown = saw_unknown || proof.value() == ZeroProof::Unknown;
    }
    if (saw_unknown) {
        return Result<std::optional<std::size_t>>::failure(
            CasErrc::Inconclusive,
            "exact pivot is not provably zero or non-zero", operation);
    }
    return Result<std::optional<std::size_t>>::success(std::nullopt);
}

引用了 LMCAS::detail::ExactMatrixData::at(), choose_pivot(), LMCAS::detail::classify_exact_zero(), LMCAS::detail::context, LMCAS::Inconclusive, LMCAS::detail::NonZero, LMCAS::detail::operation, LMCAS::detail::ExactMatrixData::rows , 以及 LMCAS::detail::Unknown.

被这些函数引用 choose_pivot(), LMCAS::detail::anonymous_namespace{exact_matrix.cpp}::eliminate_forward() , 以及 LMCAS::detail::anonymous_namespace{exact_matrix_determinant.cpp}::symbolic_determinant_value().

函数调用图:

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

exact_add()

ExprPtr LMCAS::detail::matrix_kernel::exact_add	(	const ExprPtr &	left,
		const ExprPtr &	right,
		ComputationContext &	context )

在文件 exact_matrix_support.cpp 第 54 行定义.

                                                                                          {
    return simplify_expr(SymbolicExpr::add(left, right), context);
}

引用了 LMCAS::detail::context, exact_add(), LMCAS::right , 以及 simplify_expr().

被这些函数引用 LMCAS::detail::anonymous_namespace{exact_matrix_determinant.cpp}::determinant_cofactor(), exact_add() , 以及 exact_subtract().

函数调用图:

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

exact_divide()

ExprPtr LMCAS::detail::matrix_kernel::exact_divide	(	const ExprPtr &	numerator,
		const ExprPtr &	denominator,
		ComputationContext &	context )

在文件 exact_matrix_support.cpp 第 71 行定义.

                                                                                                        {
    return simplify_expr(SymbolicExpr::divide(numerator, denominator), context);
}

引用了 LMCAS::detail::context, LMCAS::denominator, exact_divide() , 以及 simplify_expr().

被这些函数引用 LMCAS::detail::anonymous_namespace{exact_matrix.cpp}::eliminate_below(), exact_divide(), LMCAS::detail::anonymous_namespace{exact_matrix.cpp}::reduce_above() , 以及 LMCAS::detail::anonymous_namespace{exact_matrix_determinant.cpp}::symbolic_determinant_value().

函数调用图:

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

exact_multiply()

ExprPtr LMCAS::detail::matrix_kernel::exact_multiply	(	const ExprPtr &	left,
		const ExprPtr &	right,
		ComputationContext &	context )

在文件 exact_matrix_support.cpp 第 67 行定义.

                                                                                               {
    return simplify_expr(SymbolicExpr::multiply(left, right), context);
}

引用了 LMCAS::detail::context, exact_multiply(), LMCAS::right , 以及 simplify_expr().

被这些函数引用 LMCAS::detail::anonymous_namespace{exact_matrix_determinant.cpp}::determinant_cofactor(), exact_multiply(), LMCAS::detail::anonymous_namespace{exact_matrix.cpp}::subtract_pivot_row() , 以及 LMCAS::detail::anonymous_namespace{exact_matrix_determinant.cpp}::symbolic_determinant_value().

函数调用图:

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

exact_negate()

ExprPtr LMCAS::detail::matrix_kernel::exact_negate	(	const ExprPtr &	expression,
		ComputationContext &	context )

在文件 exact_matrix_support.cpp 第 58 行定义.

                                                                             {
    return simplify_expr(SymbolicExpr::multiply(
        SymbolicExpr::number(-1), expression), context);
}

引用了 LMCAS::detail::context, exact_negate() , 以及 simplify_expr().

被这些函数引用 LMCAS::detail::anonymous_namespace{exact_matrix_determinant.cpp}::determinant_cofactor(), exact_negate(), exact_subtract(), LMCAS::detail::nullspace_exact(), LMCAS::detail::solve_linear_exact() , 以及 LMCAS::detail::anonymous_namespace{exact_matrix_determinant.cpp}::symbolic_determinant_value().

函数调用图:

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

exact_rational()

std::optional< Rational > LMCAS::detail::matrix_kernel::exact_rational

(

const ExprPtr &

expression

)

在文件 exact_matrix_support.cpp 第 36 行定义.

                                                                {
    if (!expression || !node(expression)) {
        return std::nullopt;
    }
    return exact_rational_value(node(expression));
}

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

被这些函数引用 LMCAS::detail::anonymous_namespace{exact_matrix_support.cpp}::classify_numeric_power(), LMCAS::detail::anonymous_namespace{exact_matrix_support.cpp}::classify_numeric_sqrt(), LMCAS::detail::anonymous_namespace{exact_matrix_support.cpp}::classify_numeric_value(), LMCAS::detail::anonymous_namespace{exact_matrix_determinant.cpp}::determinant_cofactor(), LMCAS::detail::determinant_exact(), exact_rational(), LMCAS::detail::anonymous_namespace{exact_matrix_determinant.cpp}::rational_determinant(), LMCAS::detail::anonymous_namespace{exact_matrix_solve.cpp}::rational_linear_solve() , 以及 LMCAS::detail::solve_linear_exact().

函数调用图:

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

exact_subtract()

ExprPtr LMCAS::detail::matrix_kernel::exact_subtract	(	const ExprPtr &	left,
		const ExprPtr &	right,
		ComputationContext &	context )

在文件 exact_matrix_support.cpp 第 63 行定义.

                                                                                               {
    return exact_add(left, exact_negate(right, context), context);
}

引用了 LMCAS::detail::context, exact_add(), exact_negate(), exact_subtract() , 以及 LMCAS::right.

被这些函数引用 exact_subtract(), LMCAS::detail::anonymous_namespace{exact_matrix.cpp}::subtract_pivot_row() , 以及 LMCAS::detail::anonymous_namespace{exact_matrix_determinant.cpp}::symbolic_determinant_value().

函数调用图:

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

simplify_expr()

ExprPtr LMCAS::detail::matrix_kernel::simplify_expr	(	ExprPtr	expression,
		ComputationContext &	context )

在文件 exact_matrix_support.cpp 第 43 行定义.

                                                                       {
 
    detail::RewriteBudget transform_budget(context, (context).limits().max_recursion_depth,
                                            (context).limits().max_ast_nodes, "transform");
    if (!expression) {
        return expression;
    }
    auto simplified = detail::make_expression_ptr(detail::normalize_node(detail::node(expression), transform_budget));
    return simplified ? simplified : expression;
}

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

被这些函数引用 LMCAS::detail::classify_exact_zero(), LMCAS::detail::anonymous_namespace{exact_matrix_determinant.cpp}::determinant_cofactor(), LMCAS::detail::anonymous_namespace{exact_matrix.cpp}::eliminate_forward(), exact_add(), exact_divide(), exact_multiply(), exact_negate(), LMCAS::detail::anonymous_namespace{exact_matrix.cpp}::reduce_above(), simplify_expr() , 以及 LMCAS::detail::anonymous_namespace{exact_matrix_determinant.cpp}::symbolic_determinant_value().

函数调用图:

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

swap_rows()

void LMCAS::detail::matrix_kernel::swap_rows	(	ExactMatrixData &	matrix,
		std::size_t	first,
		std::size_t	second )

在文件 exact_matrix_support.cpp 第 75 行定义.

                                                                           {
    if (first == second) {
        return;
    }
    for (std::size_t column = 0; column < matrix.cols; ++column) {
        std::swap(matrix.at(first, column), matrix.at(second, column));
    }
}

引用了 LMCAS::detail::ExactMatrixData::at(), LMCAS::detail::ExactMatrixData::cols , 以及 swap_rows().

被这些函数引用 LMCAS::detail::anonymous_namespace{exact_matrix.cpp}::eliminate_forward(), swap_rows() , 以及 LMCAS::detail::anonymous_namespace{exact_matrix_determinant.cpp}::symbolic_determinant_value().

函数调用图:

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

validate_matrix()

Result< void > LMCAS::detail::matrix_kernel::validate_matrix	(	const ExactMatrixData &	matrix,
		const std::string &	operation )

在文件 exact_matrix_support.cpp 第 12 行定义.

                                {
    if (matrix.rows == 0 || matrix.cols == 0) {
        return Result<void>::failure(
            CasErrc::InvalidArgument,
            "exact matrix dimensions must be non-zero", operation);
    }
    if (matrix.rows > std::numeric_limits<std::size_t>::max() / matrix.cols ||
        matrix.entries.size() != matrix.rows * matrix.cols) {
        return Result<void>::failure(
            CasErrc::InvalidArgument,
            "exact matrix storage does not match its dimensions", operation);
    }
    for (const auto& entry : matrix.entries) {
        if (!entry || !node(entry)) {
            return Result<void>::failure(
                CasErrc::InvalidArgument,
                "exact matrix entries cannot be null", operation);
        }
    }
    return Result<void>::success();
}

引用了 LMCAS::detail::ExactMatrixData::cols, LMCAS::detail::ExactMatrixData::entries, LMCAS::Result< T >::failure(), LMCAS::InvalidArgument, LMCAS::detail::node(), LMCAS::detail::operation, LMCAS::detail::ExactMatrixData::rows, LMCAS::Result< T >::success() , 以及 validate_matrix().

被这些函数引用 LMCAS::detail::determinant_exact(), LMCAS::detail::eliminate_exact(), LMCAS::detail::inverse_exact(), LMCAS::detail::nullspace_exact(), LMCAS::detail::solve_linear_exact() , 以及 validate_matrix().

函数调用图:

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