matrix_decomposition_support.cpp 文件参考

#include "internal/expression_transform.hpp"
#include "internal/matrix_decomposition_support.hpp"
#include "internal/expression_analysis.hpp"

matrix_decomposition_support.cpp 的引用(Include)关系图:

浏览该文件的源代码.

命名空间
namespace	LMCAS
namespace	LMCAS::detail
	多元 Hensel 提升（单变量步）
namespace	LMCAS::detail::matrix_decomposition
namespace	LMCAS::detail::matrix_decomposition::anonymous_namespace{matrix_decomposition_support.cpp}

函数
std::optional< std::vector< Rational > >	LMCAS::detail::matrix_decomposition::exact_diagonal_entries (const std::shared_ptr< const MatrixNode > &matrix, ComputationContext &context)
std::shared_ptr< SymbolicExpr >	LMCAS::detail::matrix_decomposition::exact_number_expr (const Rational &value)
std::optional< Rational >	LMCAS::detail::matrix_decomposition::exact_rational_expr (const std::shared_ptr< const SymbolicNode > &node)
std::optional< Rational >	LMCAS::detail::matrix_decomposition::exact_rational_expr (const std::shared_ptr< SymbolicExpr > &expr, ComputationContext &context)
std::optional< std::vector< std::vector< Rational > > >	LMCAS::detail::matrix_decomposition::exact_rational_matrix (const std::shared_ptr< const MatrixNode > &matrix, ComputationContext &context)
std::optional< Rational >	LMCAS::detail::matrix_decomposition::anonymous_namespace{matrix_decomposition_support.cpp}::exact_rational_product (const MultiplyNode &mul)
std::optional< Rational >	LMCAS::detail::matrix_decomposition::anonymous_namespace{matrix_decomposition_support.cpp}::exact_rational_sum (const AddNode &add)
std::optional< std::vector< Rational > >	LMCAS::detail::matrix_decomposition::exact_rectangular_diagonal_entries (const std::shared_ptr< const MatrixNode > &matrix, ComputationContext &context)
std::shared_ptr< SymbolicExpr >	LMCAS::detail::matrix_decomposition::identity_matrix_expr (size_t n)
std::shared_ptr< SymbolicExpr >	LMCAS::detail::matrix_decomposition::rectangular_diagonal_expr (size_t rows, size_t cols, const std::vector< Rational > &diagonal)
std::optional< Rational >	LMCAS::detail::matrix_decomposition::anonymous_namespace{matrix_decomposition_support.cpp}::simplify_exact_rational_expr (const std::shared_ptr< const SymbolicNode > &node, ComputationContext &context)
Result< std::shared_ptr< const MatrixNode > >	LMCAS::detail::matrix_decomposition::validate_decomposition_matrix (const std::shared_ptr< SymbolicExpr > &A, bool require_square, ComputationContext &context, const std::string &operation)
Result< void >	LMCAS::detail::matrix_decomposition::validate_decomposition_output (const std::shared_ptr< SymbolicExpr > &expr, const std::string &name, const std::string &operation)