|
LMCAS
Lamina Computer Algebra System
|
#include "computation_context.hpp"#include "matrix_decomposition.hpp"#include "internal/symbolic_ast.hpp"#include <optional>命名空间 | |
| namespace | LMCAS |
| namespace | LMCAS::detail |
| 多元 Hensel 提升(单变量步) | |
| namespace | LMCAS::detail::matrix_decomposition |
函数 | |
| 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< 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 (std::size_t n) |
| std::shared_ptr< SymbolicExpr > | LMCAS::detail::matrix_decomposition::rectangular_diagonal_expr (std::size_t rows, std::size_t cols, const std::vector< Rational > &diagonal) |
| 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) |