LMCAS
Lamina Computer Algebra System
载入中...
搜索中...
未找到
symbolic_matrix_support.hpp
浏览该文件的文档.
1#pragma once
2
3#include "symbolic_matrix.hpp"
6#include <utility>
7
9
11 const std::shared_ptr<SymbolicExpr>& expr, ComputationContext& context,
12 const std::string& operation);
14 const std::shared_ptr<SymbolicExpr>& expr, ComputationContext& context,
15 const std::string& operation);
16ExpressionResult require_matrix_result(std::shared_ptr<SymbolicExpr> result,
17 const std::string& operation);
19std::shared_ptr<SymbolicExpr> exact_matrix_expression(const ExactMatrixData& matrix);
20
21}
22
23namespace LMCAS::detail {
26}
矩阵节点,支持稠密和稀疏两种存储方式。
ExactMatrixData exact_matrix_data(const MatrixNode &matrix)
std::shared_ptr< SymbolicExpr > exact_matrix_expression(const ExactMatrixData &matrix)
Result< std::shared_ptr< const MatrixNode > > require_matrix(const std::shared_ptr< SymbolicExpr > &expr, ComputationContext &context, const std::string &operation)
ExpressionResult require_matrix_result(std::shared_ptr< SymbolicExpr > result, const std::string &operation)
Result< std::shared_ptr< const MatrixNode > > require_square_matrix(const std::shared_ptr< SymbolicExpr > &expr, ComputationContext &context, const std::string &operation)
多元 Hensel 提升(单变量步)
ComputationContext const std::string & operation
std::size_t std::size_t ComputationContext & context
Result< std::vector< std::pair< ExprPtr, std::vector< std::vector< ExprPtr > > > > > matrix_eigenspaces_checked(const ExprPtr &matrix, ComputationContext &context)
Result< std::shared_ptr< SymbolicExpr > > ExpressionResult
Result of an operation that produces a symbolic expression.
std::shared_ptr< SymbolicExpr > ExprPtr
内部 AST 定义。
符号矩阵运算:乘法、行列式、逆、旋转/反射/缩放矩阵、特征值。