|
LMCAS
Lamina Computer Algebra System
|
命名空间 | |
| namespace | LMCAS |
| namespace | LMCAS::detail |
| 多元 Hensel 提升(单变量步) | |
| namespace | LMCAS::detail::anonymous_namespace{exact_rational_solve.cpp} |
函数 | |
| bool | LMCAS::detail::rational_system_inconsistent (std::size_t rows, std::size_t coefficient_columns, const std::vector< Rational > &matrix) |
| void | LMCAS::detail::anonymous_namespace{exact_rational_solve.cpp}::reduce_rational_pivot (std::vector< Rational > &matrix, std::size_t rows, std::size_t columns, std::size_t pivot_row, std::size_t column, std::size_t first_target) |
| std::vector< std::optional< std::size_t > > | LMCAS::detail::reduce_rational_rows (std::size_t rows, std::size_t coefficient_columns, std::vector< Rational > &matrix, bool start_at_pivot) |
| Result< std::vector< Rational > > | LMCAS::detail::solve_rational_unique (std::size_t rows, std::size_t coefficient_columns, std::vector< Rational > matrix, ComputationContext &context, const std::string &operation) |