|
LMCAS
Lamina Computer Algebra System
|
#include "internal/matrix_decomposition_support.hpp"#include "internal/exact_rational_matrix.hpp"#include <algorithm>#include <new>命名空间 | |
| namespace | LMCAS |
| namespace | LMCAS::anonymous_namespace{matrix_decomposition_cholesky.cpp} |
函数 | |
| CholeskyDecompositionResult | LMCAS::cholesky_decomposition_checked (const std::shared_ptr< SymbolicExpr > &A) |
| CholeskyDecompositionResult | LMCAS::cholesky_decomposition_checked (const std::shared_ptr< SymbolicExpr > &A, ComputationContext &context) |
| static bool | LMCAS::anonymous_namespace{matrix_decomposition_cholesky.cpp}::cholesky_decomposition_impl (const std::shared_ptr< SymbolicExpr > &A, std::shared_ptr< SymbolicExpr > &L) |
| Result< void > | LMCAS::anonymous_namespace{matrix_decomposition_cholesky.cpp}::prove_exact_spd (const std::shared_ptr< const MatrixNode > &matrix, ComputationContext &context, const std::string &operation) |