exact_matrix.hpp 文件参考

#include "computation_context.hpp"
#include "internal/exact_rational_matrix.hpp"
#include "result.hpp"
#include "symbolic.hpp"
#include <cstddef>
#include <string>
#include <variant>
#include <vector>

exact_matrix.hpp 的引用(Include)关系图:

此图展示该文件被哪些文件直接或间接地引用了:

浏览该文件的源代码.

类
struct	LMCAS::detail::EliminationResult
struct	LMCAS::detail::ExactMatrixData
struct	LMCAS::detail::InconsistentLinearSolution
struct	LMCAS::detail::ParametricLinearSolution
struct	LMCAS::detail::UniqueLinearSolution

命名空间
namespace	LMCAS
namespace	LMCAS::detail
	多元 Hensel 提升（单变量步）

类型定义
using	LMCAS::detail::ExactLinearSolution

枚举
enum class	LMCAS::detail::EliminationForm { LMCAS::detail::Echelon , LMCAS::detail::ReducedRowEchelon }
enum class	LMCAS::detail::ZeroProof { LMCAS::detail::Zero , LMCAS::detail::NonZero , LMCAS::detail::Unknown }

函数
Result< ZeroProof >	LMCAS::detail::classify_exact_zero (const ExprPtr &expression, ComputationContext &context, const std::string &operation)
Result< ExprPtr >	LMCAS::detail::determinant_exact (const ExactMatrixData &input, ComputationContext &context, const std::string &operation)
Result< EliminationResult >	LMCAS::detail::eliminate_exact (ExactMatrixData input, std::size_t coefficient_columns, EliminationForm form, ComputationContext &context, const std::string &operation)
Result< ExactMatrixData >	LMCAS::detail::inverse_exact (const ExactMatrixData &input, ComputationContext &context, const std::string &operation)
Result< std::vector< std::vector< ExprPtr > > >	LMCAS::detail::nullspace_exact (ExactMatrixData coefficients, ComputationContext &context, const std::string &operation)
Result< std::size_t >	LMCAS::detail::rank_exact (ExactMatrixData input, std::size_t coefficient_columns, ComputationContext &context, const std::string &operation)
Result< ExactMatrixData >	LMCAS::detail::rref_exact (ExactMatrixData input, std::size_t coefficient_columns, ComputationContext &context, const std::string &operation)
Result< ExactLinearSolution >	LMCAS::detail::solve_linear_exact (ExactMatrixData augmented, std::size_t coefficient_columns, ComputationContext &context, const std::string &operation)

---

类说明

LMCAS::detail::EliminationResult

struct LMCAS::detail::EliminationResult

在文件 exact_matrix.hpp 第 44 行定义.

LMCAS::detail::EliminationResult 的协作图:

类成员
ExactMatrixData	matrix
vector< size_t >	pivot_columns
vector< ExprPtr >	pivot_values
size_t	rank = 0
size_t	row_swaps = 0

LMCAS::detail::InconsistentLinearSolution

struct LMCAS::detail::InconsistentLinearSolution

在文件 exact_matrix.hpp 第 93 行定义.

LMCAS::detail::InconsistentLinearSolution 的协作图:

LMCAS::detail::ParametricLinearSolution

struct LMCAS::detail::ParametricLinearSolution

在文件 exact_matrix.hpp 第 87 行定义.

LMCAS::detail::ParametricLinearSolution 的协作图:

类成员
vector< size_t >	free_columns
vector< vector< ExprPtr > >	nullspace_basis
vector< ExprPtr >	particular

LMCAS::detail::UniqueLinearSolution

struct LMCAS::detail::UniqueLinearSolution

在文件 exact_matrix.hpp 第 83 行定义.

LMCAS::detail::UniqueLinearSolution 的协作图:

类成员
vector< ExprPtr >	values