exact_matrix_support.cpp 文件参考

#include "internal/expression_transform.hpp"
#include "internal/exact_matrix_support.hpp"
#include "internal/normalization_utils.hpp"
#include "assumption_context.hpp"
#include "internal/expression_analysis.hpp"
#include <limits>
#include <new>

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

浏览该文件的源代码.

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

函数
Result< std::optional< std::size_t > >	LMCAS::detail::matrix_kernel::choose_pivot (const ExactMatrixData &matrix, std::size_t first_row, std::size_t column, ComputationContext &context, const std::string &operation)
Result< ZeroProof >	LMCAS::detail::classify_exact_zero (const ExprPtr &expression, ComputationContext &context, const std::string &operation)
std::optional< ZeroProof >	LMCAS::detail::anonymous_namespace{exact_matrix_support.cpp}::classify_numeric_power (const ExprPtr &simplified)
std::optional< ZeroProof >	LMCAS::detail::anonymous_namespace{exact_matrix_support.cpp}::classify_numeric_sqrt (const ExprPtr &simplified)
std::optional< ZeroProof >	LMCAS::detail::anonymous_namespace{exact_matrix_support.cpp}::classify_numeric_value (const ExprPtr &expression)
ExprPtr	LMCAS::detail::matrix_kernel::exact_add (const ExprPtr &left, const ExprPtr &right, ComputationContext &context)
ExprPtr	LMCAS::detail::matrix_kernel::exact_divide (const ExprPtr &numerator, const ExprPtr &denominator, ComputationContext &context)
ExprPtr	LMCAS::detail::matrix_kernel::exact_multiply (const ExprPtr &left, const ExprPtr &right, ComputationContext &context)
ExprPtr	LMCAS::detail::matrix_kernel::exact_negate (const ExprPtr &expression, ComputationContext &context)
std::optional< Rational >	LMCAS::detail::matrix_kernel::exact_rational (const ExprPtr &expression)
ExprPtr	LMCAS::detail::matrix_kernel::exact_subtract (const ExprPtr &left, const ExprPtr &right, ComputationContext &context)
ExprPtr	LMCAS::detail::matrix_kernel::simplify_expr (ExprPtr expression, ComputationContext &context)
void	LMCAS::detail::matrix_kernel::swap_rows (ExactMatrixData &matrix, std::size_t first, std::size_t second)
Result< void >	LMCAS::detail::matrix_kernel::validate_matrix (const ExactMatrixData &matrix, const std::string &operation)