e7975ce09a
Rebase and update nalgebra version for nalgebra-sparse
2021-01-26 10:11:24 +01:00
7473d54d74
rustfmt
2021-01-26 10:11:24 +01:00
795d818ae5
Improve documentation of errors and panics
2021-01-26 10:11:24 +01:00
5d5ed5be0b
Various minor doc and comment fixes
2021-01-26 10:11:24 +01:00
ccf1f18991
Merge SolveError into OperationError
2021-01-26 10:11:24 +01:00
7b6333e9d1
Rename some Csr/Csc/SparsityPattern methods
2021-01-26 10:11:24 +01:00
cf1bd284f1
Improve ops docs
2021-01-26 10:11:24 +01:00
f98e64aafd
Improve docs for SparsityPattern
2021-01-26 10:11:24 +01:00
cf220c9d2b
Improve docs for CooMatrix
2021-01-26 10:11:24 +01:00
e8a35ddb62
CSC docs and improved CSR docs
2021-01-26 10:11:24 +01:00
afcad0ccc8
Documentation for CsrMatrix
2021-01-26 10:11:24 +01:00
0bee9be6c7
Extend CSC/CSR * Dense to work for combinations of ref and owned
2021-01-26 10:11:24 +01:00
74cd0283eb
Partial top-level documentation
2021-01-26 10:11:24 +01:00
1fa0de92ae
Preserve column dim type in CSR * Dense
...
This is necessary so that CSR * Vector == Vector (before it would
also yield a DMatrix).
2021-01-26 10:11:24 +01:00
15c4382fa9
Docs for most items in nalgebra-sparse
2021-01-26 10:11:24 +01:00
7a083d50f7
Increase tolerance to ensure tests pass
...
It's possible that some particularly bad inputs cause
severe loss of significance in the triangular solves.
This is exacerbated by the fact that the way we test
the (residual) error is also prone to loss of significance,
so that the error measure itself is problematic.
We could maybe improve this in the future by using arbitrary-
precision arithmetic to remove some sources of error and testing
against appropriate bounds.
2021-01-26 10:11:24 +01:00
31c911d4fb
Change proptest strategies to use DimRange
2021-01-26 10:11:24 +01:00
9cd1540496
Improve and test proptest generators
...
Due to a bug in proptest, we were required to pull in and modify
parts of proptest::strategy::Shuffle. Once the below PR has been merged
and released on crates.io, we can remove this code.
https://github.com/AltSysrq/proptest/pull/217
2021-01-26 10:11:24 +01:00
3eab45d81b
Replace spmm_pattern with spmm_{csr/csc}_pattern
2021-01-26 10:11:24 +01:00
cb0f9a5190
Add Csr/CscMatrix::pattern_and_values_mut()
2021-01-26 10:11:24 +01:00
c43a2b1679
Impl Csr/CscMatrix::into_pattern_and_values
2021-01-26 10:11:24 +01:00
e655fed4fa
Replace Arc<SparsityPattern> with SparsityPattern
...
After much deliberation, I have come to the conclusion that the
benefits do not really outweigh the added complexity. Even though
the added complexity is relatively minor, it makes it somewhat
more complicated to inter-op with other sparse linear algebra
libraries in the future.
2021-01-26 10:11:24 +01:00
9b46a43c7f
Add proptest regressions
2021-01-26 10:11:24 +01:00
fc0c22bf78
Add CscCholesky::solve and ::solve_mut
2021-01-26 10:11:24 +01:00
d6b4f1ac2f
Add CscCholesky::factor_numerical
2021-01-26 10:11:24 +01:00
cd9c3baead
Clean up CscCholesky
2021-01-26 10:11:24 +01:00
4b395523dd
Fix issue with UninitVec and zero-sized types
2021-01-26 10:11:24 +01:00
ef3477f411
Remove Zero bound for transpose and impl SparsityPattern::transpose
2021-01-26 10:11:24 +01:00
3b1303d1e0
Implement lower/upper triangular solve for CSC matrices
2021-01-26 10:11:24 +01:00
c988ebb4e7
Fail test compilation if compare feature is missing
2021-01-26 10:11:24 +01:00
5869f784e5
Implement CsrMatrix/CscMatrix::filter and associated helpers
...
Includes ::lower_triangle(), ::upper_triangle() and
::diagonal_matrix().
2021-01-26 10:11:24 +01:00
3453577a16
Use matrixcompare 0.2 with prop_assert_matrix_eq in Cholesky test
2021-01-26 10:11:24 +01:00
84557d8046
Implement matrixcompare traits for sparse matrices
2021-01-26 10:11:24 +01:00
aad2216c56
Initial port from nalgebra::CsCholesky factorization to CscCholesky
2021-01-26 10:11:24 +01:00
6e34c23d05
Implement Csr/CscMatrix::identity
2021-01-26 10:11:24 +01:00
ea6c1451b4
Rename Op::unwrap to Op::into_inner
2021-01-26 10:11:24 +01:00
885480a634
Implement CSR/CSC * Dense std operations
2021-01-26 10:11:24 +01:00
b7a7f967b8
Implement Neg, Div, DivAssign for Csr/CscMatrix
2021-01-26 10:11:24 +01:00
0b4356eb0e
Implement Sub for Csr/CscMatrix
2021-01-26 10:11:24 +01:00
7aeb663165
Implement matrix-scalar multiplication
2021-01-26 10:11:24 +01:00
dbdf5567fc
Implement arithmetic operations for CSC matrices
2021-01-26 10:11:24 +01:00
6a1d12705f
Remove old .get() API for CscMatrix in favor of entry API
...
This essentially makes the API of CscMatrix analogous to
that of CsrMatrix.
2021-01-26 10:11:24 +01:00
e261e7c388
Remove use of unsafe for CsLaneIterMut
2021-01-26 10:11:24 +01:00
b59c4a3216
Refactor most of Csr/CscMatrix logic into helper type CsMatrix
...
Still need to update CSC API so that it mirrors CsrMatrix
in terms of get_entry and so on.
2021-01-26 10:11:24 +01:00
8983027b39
Minor refactoring for sp* ops
2021-01-26 10:11:24 +01:00
66cbd26702
Add prealloc suffix to spmm_csr and spadd_csr
...
The suffix is intended to communicate that these methods
assume `preallocated` storage, i.e. they try to store the
result in a matrix which already has the correct sparsity
pattern for the operation.
2021-01-26 10:11:24 +01:00
4af3fcbdd3
Reorder parameters in ops to intuitive order
2021-01-26 10:11:24 +01:00
061024ab1f
Improve Ops API
2021-01-26 10:11:24 +01:00
fe8592fde1
Refactor ops to use new Op type instead of separate Transpose flag
2021-01-26 10:11:24 +01:00
c6a8fcdee2
Simplify spadd_pattern API and name
2021-01-26 10:11:24 +01:00
6a100c085a
Add proptest regressions
2021-01-26 10:11:24 +01:00
b25848838b
Implement CSR-CSR matrix multiplication
2021-01-26 10:11:24 +01:00
d9cfe5cb3e
Improve dimension assertions for spadd_csr
2021-01-26 10:11:24 +01:00
2d534a6133
Implement spmm_csr
2021-01-26 10:11:24 +01:00
9db17f00e7
Implement spmm_pattern
2021-01-26 10:11:24 +01:00
c4285d9fb3
remove spmv_coo
2021-01-26 10:11:24 +01:00
41941e62c8
Implement CSR-CSR addition
2021-01-26 10:11:24 +01:00
921686c490
Rename CsrMatrix::get(_mut) to get_entry(_mut) and change semantics
2021-01-26 10:11:24 +01:00
830df6d07b
Implement Csr/CscMatrix::transpose()
2021-01-26 10:11:24 +01:00
8b7b836a37
Make CsrMatrix/CscMatrix::pattern() return reference
2021-01-26 10:11:24 +01:00
4420237ede
Implement spadd_build_pattern
2021-01-26 10:11:24 +01:00
7c68950614
Simplify transposition API in spmm_csr_dense
2021-01-26 10:11:24 +01:00
1ae03d9ebb
Implement spmm_csr_dense
2021-01-26 10:11:24 +01:00
95ee65fa8e
Implement remaining conversions (missing docs)
2021-01-26 10:11:24 +01:00
6083d24dd6
Add csr, csc, sparsity_pattern proptest generators (untested)
2021-01-26 10:11:24 +01:00
41ce9a23df
Remove CooMatrix::to_dense() and `Scalar` trait bound, add ::nnz()
2021-01-26 10:11:24 +01:00
f20e764edc
nalgebra-sparse: Move slow tests and imports into 'slow' child module
...
This way it's easier to prevent accidental unused imports when
running tests without the slow-tests feature.
2021-01-26 10:11:24 +01:00
54329146c9
Initial COO <-> Dense conversion routines
2021-01-26 10:11:24 +01:00
7260f05b07
Improved CooMatrix proptest strategies
2021-01-26 10:11:24 +01:00
46442d6060
Initial basic proptest support for CooMatrix (missing tests)
2021-01-26 10:11:24 +01:00
67aba82675
Update nalgebra version for nalgebra-sparse
2021-01-26 10:11:24 +01:00
ec339f9108
Implement CSC matrix basic API
...
The CSC matrix API mirrors the CSR matrix API. However, there
are subtle differences throughout (both in the available
methods and the implementation) that I believe makes any attempt
to avoid the duplicate effort futile.
2021-01-26 10:11:24 +01:00
082416e3ec
Make SparseFormatErrorKind #[non_exhaustive]
2021-01-26 10:11:24 +01:00
4cd47327c9
Test that CSR::disassemble avoids cloning when possible
2021-01-26 10:11:24 +01:00
df1ef991f3
Test SparsityPattern and CSR try_* constructors
2021-01-26 10:11:24 +01:00
d98f2d2ad7
sparse-nalgebra: Update nalgebra version
2021-01-26 10:11:24 +01:00
ff435110b9
Implement CSR::disassemble and SparsityPattern::disassemble
2021-01-26 10:11:24 +01:00
a15e78a6b7
Put COO, CSR, SparsityPattern and related types in their own modules
...
This mimics how std does it, e.g. std::vec::Vec. This avoids potential
problems down the road, where adding more types might clutter the
API interface and generated documentation.
2021-01-26 10:11:24 +01:00
7a5f8ef1ea
Redesign error handling for CSR and SparsityPattern construction
...
SparsityPattern's constructor now returns a fine-grained error
enum that enumerates possible errors. We use this to build a more
user-friendly error when constructing CSR matrices.
We also overhauled the main SparseFormatError error type by
making it a struct containing a *Kind type and an underlying error
that contains the message.
2021-01-26 10:11:24 +01:00
7e94a1539a
Add an (incomplete) overview of planned functionality for nalgebra-sparse
...
The way it is currently written is temporary, but it helps structure
the work towards an initial MVP.
2021-01-26 10:11:24 +01:00
b1199da206
Verify data validity in try_* constructors
...
We can easily create the CSR and CSC constructors by using the
SparsityPattern constructors. However, one lingering problem
is giving meaningful error messages. When forwarding error messages
from the SparsityPattern constructor, the error messages must
be written in terms of "major" or "minor" dimensions, and using
general terms like "lanes", instead of "rows" and "columns".
When forwarding these messages up to CSR or CSC constructors,
they are not directly meaningful to an end user. We should find
a better solution to this problem, so that end users get
more meaningful messages.
2021-01-26 10:11:24 +01:00
7f5b702a49
CSR row access and iterators
2021-01-26 10:11:24 +01:00
41425ae52c
Use inline instead of inline(always)
2021-01-26 10:11:24 +01:00
b0ffd55962
Initial CSR and SparsityPattern impls (WIP)
2021-01-26 10:11:24 +01:00
1dbccfeb7c
Initial COO implementation
2021-01-26 10:11:24 +01:00
Andreas Longva