matrix_decomposition_eigen.cpp 文件参考

#include "internal/expression_transform.hpp"
#include "internal/matrix_decomposition_support.hpp"
#include "internal/symbolic_matrix_support.hpp"
#include "internal/assumption_facts.hpp"
#include "assumption_context.hpp"
#include <new>
#include <optional>

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

浏览该文件的源代码.

类
struct	LMCAS::anonymous_namespace{matrix_decomposition_eigen.cpp}::QuadraticSigns

命名空间
namespace	LMCAS
namespace	LMCAS::anonymous_namespace{matrix_decomposition_eigen.cpp}

函数
JordanDecompositionResult	LMCAS::anonymous_namespace{matrix_decomposition_eigen.cpp}::certified_jordan (const ExprPtr &A, JordanDecomposition value, ComputationContext &context)
std::string	LMCAS::classify_quadratic_form (const ExprPtr &A)
JordanDecompositionResult	LMCAS::anonymous_namespace{matrix_decomposition_eigen.cpp}::diagonalization_checked (const ExprPtr &A, ComputationContext &context)
bool	LMCAS::anonymous_namespace{matrix_decomposition_eigen.cpp}::is_defective_upper_pair (const std::vector< std::vector< Rational > > &matrix)
bool	LMCAS::anonymous_namespace{matrix_decomposition_eigen.cpp}::jordan_dimensions_match (const MatrixNode &a, const MatrixNode &p, const MatrixNode &j)
JordanDecompositionResult	LMCAS::jordan_form_checked (const ExprPtr &A)
JordanDecompositionResult	LMCAS::jordan_form_checked (const ExprPtr &A, ComputationContext &context)
ExprPtr	LMCAS::matrix_exp (const ExprPtr &A)
ExprPtr	LMCAS::matrix_log (const ExprPtr &A)
std::optional< int >	LMCAS::anonymous_namespace{matrix_decomposition_eigen.cpp}::quadratic_eigenvalue_sign (const ExprPtr &eigenvalue, const detail::AssumptionFacts &facts, ComputationContext &context)
std::optional< int >	LMCAS::anonymous_namespace{matrix_decomposition_eigen.cpp}::symbolic_quadratic_sign (const ExprPtr &value, const detail::AssumptionFacts &facts, ComputationContext &context)
Result< void >	LMCAS::anonymous_namespace{matrix_decomposition_eigen.cpp}::verify_jordan_decomposition (const ExprPtr &A, const JordanDecomposition &value, ComputationContext &context)
Result< void >	LMCAS::anonymous_namespace{matrix_decomposition_eigen.cpp}::verify_jordan_identity (const ExprPtr &A, const JordanDecomposition &value, const MatrixNode &matrix, ComputationContext &context, const std::string &operation)