函数
Result< void >	eliminate_below (ExactMatrixData &matrix, std::size_t pivot_row, std::size_t column, const ExprPtr &pivot_value, ComputationContext &context, const std::string &operation)
Result< void >	eliminate_forward (EliminationResult &result, std::size_t coefficient_columns, ComputationContext &context, const std::string &operation)
Result< void >	reduce_above (EliminationResult &result, ComputationContext &context, const std::string &operation)
void	subtract_pivot_row (ExactMatrixData &matrix, std::size_t row, std::size_t pivot_row, const ExprPtr &factor, ComputationContext &context)

函数说明

◆ eliminate_below()

Result< void > LMCAS::detail::anonymous_namespace{exact_matrix.cpp}::eliminate_below	(	ExactMatrixData &	matrix,
		std::size_t	pivot_row,
		std::size_t	column,
		const ExprPtr &	pivot_value,
		ComputationContext &	context,
		const std::string &	operation )

在文件 exact_matrix.cpp 第 21 行定义.

                                                        {
    for (std::size_t row = pivot_row + 1; row < matrix.rows; ++row) {
        auto proof = classify_exact_zero(matrix.at(row, column), context, operation);
        if (!proof) return Result<void>::failure(proof.error());
        if (proof.value() == ZeroProof::Zero) continue;
        auto factor = exact_divide(matrix.at(row, column), pivot_value, context);
        subtract_pivot_row(matrix, row, pivot_row, factor, context);
    }
    return Result<void>::success();
}

引用了 LMCAS::detail::ExactMatrixData::at(), LMCAS::detail::classify_exact_zero(), LMCAS::detail::context, eliminate_below(), LMCAS::detail::matrix_kernel::exact_divide(), LMCAS::Result< T >::failure(), LMCAS::detail::operation, LMCAS::detail::ExactMatrixData::rows, subtract_pivot_row(), LMCAS::Result< T >::success() , 以及 LMCAS::detail::Zero.

被这些函数引用 eliminate_below() , 以及 eliminate_forward().

函数调用图:

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

◆ eliminate_forward()

Result< void > LMCAS::detail::anonymous_namespace{exact_matrix.cpp}::eliminate_forward	(	EliminationResult &	result,
		std::size_t	coefficient_columns,
		ComputationContext &	context,
		const std::string &	operation )

在文件 exact_matrix.cpp 第 59 行定义.

                                                             {
    std::size_t pivot_row = 0;
    for (std::size_t column = 0;
         column < coefficient_columns && pivot_row < result.matrix.rows;
         ++column) {
        auto pivot = choose_pivot(
            result.matrix, pivot_row, column, context, operation);
        if (!pivot) return Result<void>::failure(pivot.error());
        if (!pivot.value()) continue;
        if (*pivot.value() != pivot_row) {
            swap_rows(result.matrix, *pivot.value(), pivot_row);
            ++result.row_swaps;
        }
        auto pivot_value = simplify_expr(result.matrix.at(pivot_row, column), context);
        result.pivot_columns.push_back(column);
        result.pivot_values.push_back(pivot_value);
        auto reduced = eliminate_below(
            result.matrix, pivot_row, column, pivot_value, context, operation);
        if (!reduced) return Result<void>::failure(reduced.error());
        ++pivot_row;
    }
    result.rank = result.pivot_columns.size();
    return Result<void>::success();
}

引用了 LMCAS::detail::ExactMatrixData::at(), LMCAS::detail::matrix_kernel::choose_pivot(), LMCAS::detail::context, eliminate_below(), eliminate_forward(), LMCAS::Result< T >::failure(), LMCAS::detail::EliminationResult::matrix, LMCAS::detail::operation, LMCAS::detail::EliminationResult::pivot_columns, LMCAS::detail::EliminationResult::pivot_values, LMCAS::detail::EliminationResult::rank, LMCAS::detail::EliminationResult::row_swaps, LMCAS::detail::ExactMatrixData::rows, LMCAS::detail::matrix_kernel::simplify_expr(), LMCAS::Result< T >::success() , 以及 LMCAS::detail::matrix_kernel::swap_rows().

被这些函数引用 eliminate_forward().

函数调用图:

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

◆ reduce_above()

Result< void > LMCAS::detail::anonymous_namespace{exact_matrix.cpp}::reduce_above	(	EliminationResult &	result,
		ComputationContext &	context,
		const std::string &	operation )

在文件 exact_matrix.cpp 第 35 行定义.

                                                     {
    for (std::size_t pivot_index = result.rank; pivot_index-- > 0;) {
        const std::size_t row = pivot_index;
        const std::size_t column = result.pivot_columns[pivot_index];
        auto pivot_value = simplify_expr(result.matrix.at(row, column), context);
        for (std::size_t target = 0; target < result.matrix.cols; ++target) {
            result.matrix.at(row, target) = exact_divide(
                result.matrix.at(row, target), pivot_value, context);
        }
        for (std::size_t upper = 0; upper < row; ++upper) {
            auto proof = classify_exact_zero(
                result.matrix.at(upper, column), context, operation);
            if (!proof) return Result<void>::failure(proof.error());
            if (proof.value() == ZeroProof::Zero) continue;
            auto factor = result.matrix.at(upper, column);
            subtract_pivot_row(result.matrix, upper, row, factor, context);
        }
    }
    return Result<void>::success();
}

引用了 LMCAS::detail::ExactMatrixData::at(), LMCAS::detail::classify_exact_zero(), LMCAS::detail::ExactMatrixData::cols, LMCAS::detail::context, LMCAS::detail::matrix_kernel::exact_divide(), LMCAS::Result< T >::failure(), LMCAS::detail::EliminationResult::matrix, LMCAS::detail::operation, LMCAS::detail::EliminationResult::pivot_columns, LMCAS::detail::EliminationResult::rank, reduce_above(), LMCAS::detail::matrix_kernel::simplify_expr(), subtract_pivot_row(), LMCAS::Result< T >::success(), LMCAS::target, LMCAS::upper , 以及 LMCAS::detail::Zero.

被这些函数引用 reduce_above().

函数调用图:

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

◆ subtract_pivot_row()

void LMCAS::detail::anonymous_namespace{exact_matrix.cpp}::subtract_pivot_row	(	ExactMatrixData &	matrix,
		std::size_t	row,
		std::size_t	pivot_row,
		const ExprPtr &	factor,
		ComputationContext &	context )

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

                                                                                                 {
    for (std::size_t target = 0; target < matrix.cols; ++target) {
        matrix.at(row, target) = exact_subtract(
            matrix.at(row, target),
            exact_multiply(factor, matrix.at(pivot_row, target), context), context);
    }
}

引用了 LMCAS::detail::ExactMatrixData::at(), LMCAS::detail::ExactMatrixData::cols, LMCAS::detail::context, LMCAS::detail::matrix_kernel::exact_multiply(), LMCAS::detail::matrix_kernel::exact_subtract(), subtract_pivot_row() , 以及 LMCAS::target.

被这些函数引用 eliminate_below(), reduce_above() , 以及 subtract_pivot_row().

函数调用图:

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