|
LMCAS
Lamina Computer Algebra System
|
#include "computation_context.hpp"#include "rational.hpp"#include "result.hpp"#include <cstddef>#include <optional>#include <string>#include <vector>命名空间 | |
| namespace | LMCAS |
| namespace | LMCAS::detail |
| 多元 Hensel 提升(单变量步) | |
函数 | |
| Result< Rational > | LMCAS::detail::rational_determinant_exact (std::size_t dimension, std::vector< Rational > values, ComputationContext &context, const std::string &operation) |
| Result< Rational > | LMCAS::detail::rational_determinant_value_impl (std::size_t dimension, std::vector< Rational > values, ComputationContext &context, const std::string &operation) |
| bool | LMCAS::detail::rational_system_inconsistent (std::size_t rows, std::size_t coefficient_columns, const std::vector< Rational > &matrix) |
| 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) |