1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
//! Implementation of ?posv - Solve a positve definite system of linear equations with Cholesky
//! factorization.
use lapack::{cposv, dposv, sposv, zposv};
use crate::base_types::LapackResult;
use crate::base_types::{c32, c64};
use crate::dense::linalg::lapack::interface::lapack_return;
/// `Uplo` parameter for `?posv` to specify which triangular part of the matrix is stored.
#[derive(Clone, Copy, Debug, PartialEq, Eq)]
#[repr(u8)]
pub enum PosvUplo {
/// Upper triangular part of the matrix is stored.
Upper = b'U',
/// Lower triangular part of the matrix is stored.
Lower = b'L',
}
/// ?posv - Solve a positive definite system of linear equations with Cholesky factorization.
pub trait Posv: Sized {
/// Solve a positive definite system of linear equations with Cholesky factorization.
///
/// **Arguments:**
/// - `uplo`: Specifies whether the upper or lower triangular part of the matrix is stored.
/// - `n`: The order of the matrix A.
/// - `nrhs`: The number of right-hand sides (columns in B).
/// - `a`: The matrix A to be factored.
/// - `lda`: The leading dimension of the matrix A.
/// - `b`: The right-hand side matrix B.
/// - `ldb`: The leading dimension of the matrix B.
///
/// **Returns:**
/// A `LapackResult<()>` indicating success or failure.
fn posv(
uplo: PosvUplo,
n: usize,
nrhs: usize,
a: &mut [Self],
lda: usize,
b: &mut [Self],
ldb: usize,
) -> LapackResult<()>;
}
macro_rules! implement_posv {
($scalar:ty, $posv:expr) => {
impl Posv for $scalar {
fn posv(
uplo: PosvUplo,
n: usize,
nrhs: usize,
a: &mut [Self],
lda: usize,
b: &mut [Self],
ldb: usize,
) -> LapackResult<()> {
assert_eq!(
a.len(),
lda * n,
"Require `a.len()` {} == `lda * n` {}.",
a.len(),
lda * n
);
assert!(
lda >= std::cmp::max(1, n),
"Require `lda` {} >= `max(1, n)` {}.",
lda,
std::cmp::max(1, n)
);
assert_eq!(
b.len(),
ldb * nrhs,
"Require `b.len()` {} == `ldb * nrhs` {}.",
b.len(),
ldb * nrhs
);
assert!(
ldb >= std::cmp::max(1, n),
"Require `ldb` {} >= `max(1, n)` {}.",
ldb,
std::cmp::max(1, n)
);
let mut info = 0;
unsafe {
$posv(
uplo as u8,
n as i32,
nrhs as i32,
a,
lda as i32,
b,
ldb as i32,
&mut info,
);
}
lapack_return(info, ())
}
}
};
}
implement_posv!(f32, sposv);
implement_posv!(f64, dposv);
implement_posv!(c32, cposv);
implement_posv!(c64, zposv);