LMCAS::fglm_detail::GaussianEliminator类 参考

#include </home/runner/work/docs/docs/LMCAS/src/internal/fglm_internal.hpp>

LMCAS::fglm_detail::GaussianEliminator 的协作图:

Public 成员函数
bool	add_vector (const std::vector< Rational > &vector, std::vector< Rational > &combination)

Private 属性
size_t	basis_count_ = 0
std::vector< std::vector< Rational > >	combinations_
std::vector< size_t >	pivots_
std::vector< std::vector< Rational > >	rows_

详细描述

在文件 fglm_internal.hpp 第 30 行定义.

成员函数说明

add_vector()

bool LMCAS::fglm_detail::GaussianEliminator::add_vector	(	const std::vector< Rational > &	vector,
		std::vector< Rational > &	combination )

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

                                                      {
        size_t n = v.size();
 
        for (auto& row : rows_) {
            row.resize(n, Rational(0));
        }
 
        std::vector<Rational> working = v;
 
        combination.assign(basis_count_, Rational(0));
 
        for (size_t i = 0; i < pivots_.size(); ++i) {
            size_t col = pivots_[i];
            if (col >= working.size()) continue;
            if (working[col].is_zero()) continue;
 
            Rational factor = working[col] / rows_[i][col];
            for (size_t j = 0; j < n; ++j) {
                if (j < working.size() && j < rows_[i].size()) {
                    working[j] = working[j] - factor * rows_[i][j];
                }
            }
 
            for (size_t j = 0; j < combinations_[i].size(); ++j) {
                combination[j] =
                    combination[j] - factor * combinations_[i][j];
            }
        }
 
        size_t pivot_col = n;
        for (size_t j = 0; j < n; ++j) {
            if (!working[j].is_zero()) {
                pivot_col = j;
                break;
            }
        }
 
        if (pivot_col == n) {
 
            for (auto& c : combination) {
                c = -c;
            }
            return false;
        }
 
        Rational pivot_val = working[pivot_col];
        for (size_t j = 0; j < n; ++j) {
            working[j] = working[j] / pivot_val;
        }
 
        std::vector<Rational> comb_row(basis_count_ + 1, Rational(0));
        for (size_t j = 0; j < combination.size(); ++j) {
            comb_row[j] = combination[j] / pivot_val;
        }
 
        comb_row[basis_count_] = Rational(1) / pivot_val;
 
        rows_.push_back(working);
        pivots_.push_back(pivot_col);
        combinations_.push_back(comb_row);
        ++basis_count_;
 
        return true;
    }

引用了 basis_count_, LMCAS::c, combinations_, pivots_, rows_ , 以及 LMCAS::v.

被这些函数引用 LMCAS::fglm_convert().

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

类成员变量说明

basis_count_

size_t LMCAS::fglm_detail::GaussianEliminator::basis_count_ = 0

private

在文件 fglm_internal.hpp 第 39 行定义.

被这些函数引用 add_vector().

combinations_

std::vector<std::vector<Rational> > LMCAS::fglm_detail::GaussianEliminator::combinations_

private

在文件 fglm_internal.hpp 第 38 行定义.

被这些函数引用 add_vector().

pivots_

std::vector<size_t> LMCAS::fglm_detail::GaussianEliminator::pivots_

private

在文件 fglm_internal.hpp 第 37 行定义.

被这些函数引用 add_vector().

rows_

std::vector<std::vector<Rational> > LMCAS::fglm_detail::GaussianEliminator::rows_

private

在文件 fglm_internal.hpp 第 36 行定义.

被这些函数引用 add_vector().

---

该类的文档由以下文件生成:

• src/internal/fglm_internal.hpp
• src/fglm_linear.cpp