2017-08-14 01:53:04 +08:00
|
|
|
#[cfg(feature = "serde-serialize")]
|
|
|
|
use serde;
|
|
|
|
|
2017-08-07 01:41:12 +08:00
|
|
|
use num::Zero;
|
|
|
|
use num_complex::Complex;
|
|
|
|
|
|
|
|
use alga::general::Real;
|
|
|
|
|
2018-02-02 19:26:35 +08:00
|
|
|
use ComplexHelper;
|
|
|
|
use na::{DefaultAllocator, Matrix, MatrixN, Scalar, VectorN};
|
2017-08-07 01:41:12 +08:00
|
|
|
use na::dimension::{Dim, U1};
|
|
|
|
use na::storage::Storage;
|
|
|
|
use na::allocator::Allocator;
|
|
|
|
|
|
|
|
use lapack::fortran as interface;
|
|
|
|
|
|
|
|
/// Eigendecomposition of a real square matrix with real eigenvalues.
|
2017-08-14 01:53:04 +08:00
|
|
|
#[cfg_attr(feature = "serde-serialize", derive(Serialize, Deserialize))]
|
|
|
|
#[cfg_attr(feature = "serde-serialize",
|
2018-02-02 19:26:35 +08:00
|
|
|
serde(bound(serialize = "DefaultAllocator: Allocator<N, D, D> + Allocator<N, D>,
|
2017-08-14 01:53:04 +08:00
|
|
|
VectorN<N, D>: serde::Serialize,
|
|
|
|
MatrixN<N, D>: serde::Serialize")))]
|
|
|
|
#[cfg_attr(feature = "serde-serialize",
|
2018-02-02 19:26:35 +08:00
|
|
|
serde(bound(deserialize = "DefaultAllocator: Allocator<N, D, D> + Allocator<N, D>,
|
2017-08-14 01:53:04 +08:00
|
|
|
VectorN<N, D>: serde::Serialize,
|
|
|
|
MatrixN<N, D>: serde::Deserialize<'de>")))]
|
|
|
|
#[derive(Clone, Debug)]
|
2017-08-07 01:41:12 +08:00
|
|
|
pub struct RealSchur<N: Scalar, D: Dim>
|
2018-02-02 19:26:35 +08:00
|
|
|
where
|
|
|
|
DefaultAllocator: Allocator<N, D> + Allocator<N, D, D>,
|
|
|
|
{
|
2017-08-07 01:41:12 +08:00
|
|
|
re: VectorN<N, D>,
|
|
|
|
im: VectorN<N, D>,
|
2018-02-02 19:26:35 +08:00
|
|
|
t: MatrixN<N, D>,
|
|
|
|
q: MatrixN<N, D>,
|
2017-08-07 01:41:12 +08:00
|
|
|
}
|
|
|
|
|
2017-08-14 01:53:04 +08:00
|
|
|
impl<N: Scalar, D: Dim> Copy for RealSchur<N, D>
|
2018-02-02 19:26:35 +08:00
|
|
|
where
|
|
|
|
DefaultAllocator: Allocator<N, D, D> + Allocator<N, D>,
|
|
|
|
MatrixN<N, D>: Copy,
|
|
|
|
VectorN<N, D>: Copy,
|
|
|
|
{
|
|
|
|
}
|
2017-08-07 01:41:12 +08:00
|
|
|
|
2017-08-14 01:52:58 +08:00
|
|
|
impl<N: RealSchurScalar + Real, D: Dim> RealSchur<N, D>
|
2018-02-02 19:26:35 +08:00
|
|
|
where
|
|
|
|
DefaultAllocator: Allocator<N, D, D> + Allocator<N, D>,
|
|
|
|
{
|
2017-08-07 01:41:12 +08:00
|
|
|
/// Computes the eigenvalues and real Schur foorm of the matrix `m`.
|
|
|
|
///
|
|
|
|
/// Panics if the method did not converge.
|
|
|
|
pub fn new(m: MatrixN<N, D>) -> Self {
|
|
|
|
Self::try_new(m).expect("RealSchur decomposition: convergence failed.")
|
|
|
|
}
|
|
|
|
|
|
|
|
/// Computes the eigenvalues and real Schur foorm of the matrix `m`.
|
|
|
|
///
|
|
|
|
/// Returns `None` if the method did not converge.
|
|
|
|
pub fn try_new(mut m: MatrixN<N, D>) -> Option<Self> {
|
2018-02-02 19:26:35 +08:00
|
|
|
assert!(
|
|
|
|
m.is_square(),
|
|
|
|
"Unable to compute the eigenvalue decomposition of a non-square matrix."
|
|
|
|
);
|
2017-08-07 01:41:12 +08:00
|
|
|
|
|
|
|
let (nrows, ncols) = m.data.shape();
|
|
|
|
let n = nrows.value();
|
|
|
|
|
|
|
|
let lda = n as i32;
|
|
|
|
|
|
|
|
let mut info = 0;
|
|
|
|
|
|
|
|
let mut wr = unsafe { Matrix::new_uninitialized_generic(nrows, U1) };
|
|
|
|
let mut wi = unsafe { Matrix::new_uninitialized_generic(nrows, U1) };
|
2018-02-02 19:26:35 +08:00
|
|
|
let mut q = unsafe { Matrix::new_uninitialized_generic(nrows, ncols) };
|
2017-08-07 01:41:12 +08:00
|
|
|
// Placeholders:
|
2018-02-02 19:26:35 +08:00
|
|
|
let mut bwork = [0i32];
|
2017-08-07 01:41:12 +08:00
|
|
|
let mut unused = 0;
|
|
|
|
|
2018-02-02 19:26:35 +08:00
|
|
|
let lwork = N::xgees_work_size(
|
|
|
|
b'V',
|
|
|
|
b'N',
|
|
|
|
n as i32,
|
|
|
|
m.as_mut_slice(),
|
|
|
|
lda,
|
|
|
|
&mut unused,
|
|
|
|
wr.as_mut_slice(),
|
|
|
|
wi.as_mut_slice(),
|
|
|
|
q.as_mut_slice(),
|
|
|
|
n as i32,
|
|
|
|
&mut bwork,
|
|
|
|
&mut info,
|
|
|
|
);
|
2017-08-07 01:41:12 +08:00
|
|
|
lapack_check!(info);
|
|
|
|
|
|
|
|
let mut work = unsafe { ::uninitialized_vec(lwork as usize) };
|
|
|
|
|
2018-02-02 19:26:35 +08:00
|
|
|
N::xgees(
|
|
|
|
b'V',
|
|
|
|
b'N',
|
|
|
|
n as i32,
|
|
|
|
m.as_mut_slice(),
|
|
|
|
lda,
|
|
|
|
&mut unused,
|
|
|
|
wr.as_mut_slice(),
|
|
|
|
wi.as_mut_slice(),
|
|
|
|
q.as_mut_slice(),
|
|
|
|
n as i32,
|
|
|
|
&mut work,
|
|
|
|
lwork,
|
|
|
|
&mut bwork,
|
|
|
|
&mut info,
|
|
|
|
);
|
2017-08-07 01:41:12 +08:00
|
|
|
lapack_check!(info);
|
|
|
|
|
2018-02-02 19:26:35 +08:00
|
|
|
Some(RealSchur {
|
|
|
|
re: wr,
|
|
|
|
im: wi,
|
|
|
|
t: m,
|
|
|
|
q: q,
|
|
|
|
})
|
2017-08-07 01:41:12 +08:00
|
|
|
}
|
|
|
|
|
|
|
|
/// Retrieves the unitary matrix `Q` and the upper-quasitriangular matrix `T` such that the
|
|
|
|
/// decomposed matrix equals `Q * T * Q.transpose()`.
|
|
|
|
pub fn unpack(self) -> (MatrixN<N, D>, MatrixN<N, D>) {
|
|
|
|
(self.q, self.t)
|
|
|
|
}
|
|
|
|
|
|
|
|
/// Computes the real eigenvalues of the decomposed matrix.
|
|
|
|
///
|
|
|
|
/// Return `None` if some eigenvalues are complex.
|
|
|
|
pub fn eigenvalues(&self) -> Option<VectorN<N, D>> {
|
|
|
|
if self.im.iter().all(|e| e.is_zero()) {
|
|
|
|
Some(self.re.clone())
|
2018-02-02 19:26:35 +08:00
|
|
|
} else {
|
2017-08-07 01:41:12 +08:00
|
|
|
None
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
/// Computes the complex eigenvalues of the decomposed matrix.
|
|
|
|
pub fn complex_eigenvalues(&self) -> VectorN<Complex<N>, D>
|
2018-02-02 19:26:35 +08:00
|
|
|
where
|
|
|
|
DefaultAllocator: Allocator<Complex<N>, D>,
|
|
|
|
{
|
2017-08-07 01:41:12 +08:00
|
|
|
let mut out = unsafe { VectorN::new_uninitialized_generic(self.t.data.shape().0, U1) };
|
|
|
|
|
2018-02-02 19:26:35 +08:00
|
|
|
for i in 0..out.len() {
|
2017-08-07 01:41:12 +08:00
|
|
|
out[i] = Complex::new(self.re[i], self.im[i])
|
|
|
|
}
|
|
|
|
|
|
|
|
out
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
/*
|
|
|
|
*
|
|
|
|
* Lapack functions dispatch.
|
|
|
|
*
|
|
|
|
*/
|
2017-08-14 01:52:58 +08:00
|
|
|
/// Trait implemented by scalars for which Lapack implements the Real Schur decomposition.
|
|
|
|
pub trait RealSchurScalar: Scalar {
|
|
|
|
#[allow(missing_docs)]
|
2018-02-02 19:26:35 +08:00
|
|
|
fn xgees(
|
|
|
|
jobvs: u8,
|
|
|
|
sort: u8,
|
|
|
|
// select: ???
|
|
|
|
n: i32,
|
|
|
|
a: &mut [Self],
|
|
|
|
lda: i32,
|
|
|
|
sdim: &mut i32,
|
|
|
|
wr: &mut [Self],
|
|
|
|
wi: &mut [Self],
|
|
|
|
vs: &mut [Self],
|
|
|
|
ldvs: i32,
|
|
|
|
work: &mut [Self],
|
|
|
|
lwork: i32,
|
|
|
|
bwork: &mut [i32],
|
|
|
|
info: &mut i32,
|
|
|
|
);
|
2017-08-14 01:52:58 +08:00
|
|
|
|
|
|
|
#[allow(missing_docs)]
|
2018-02-02 19:26:35 +08:00
|
|
|
fn xgees_work_size(
|
|
|
|
jobvs: u8,
|
|
|
|
sort: u8,
|
|
|
|
// select: ???
|
|
|
|
n: i32,
|
|
|
|
a: &mut [Self],
|
|
|
|
lda: i32,
|
|
|
|
sdim: &mut i32,
|
|
|
|
wr: &mut [Self],
|
|
|
|
wi: &mut [Self],
|
|
|
|
vs: &mut [Self],
|
|
|
|
ldvs: i32,
|
|
|
|
bwork: &mut [i32],
|
|
|
|
info: &mut i32,
|
|
|
|
) -> i32;
|
2017-08-07 01:41:12 +08:00
|
|
|
}
|
|
|
|
|
|
|
|
macro_rules! real_eigensystem_scalar_impl (
|
|
|
|
($N: ty, $xgees: path) => (
|
2017-08-14 01:52:58 +08:00
|
|
|
impl RealSchurScalar for $N {
|
2017-08-07 01:41:12 +08:00
|
|
|
#[inline]
|
2018-02-02 19:26:35 +08:00
|
|
|
fn xgees(jobvs: u8,
|
|
|
|
sort: u8,
|
2017-08-07 01:41:12 +08:00
|
|
|
// select: ???
|
2018-02-02 19:26:35 +08:00
|
|
|
n: i32,
|
|
|
|
a: &mut [$N],
|
|
|
|
lda: i32,
|
|
|
|
sdim: &mut i32,
|
|
|
|
wr: &mut [$N],
|
|
|
|
wi: &mut [$N],
|
|
|
|
vs: &mut [$N],
|
|
|
|
ldvs: i32,
|
|
|
|
work: &mut [$N],
|
|
|
|
lwork: i32,
|
|
|
|
bwork: &mut [i32],
|
2017-08-07 01:41:12 +08:00
|
|
|
info: &mut i32) {
|
|
|
|
$xgees(jobvs, sort, None, n, a, lda, sdim, wr, wi, vs, ldvs, work, lwork, bwork, info);
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
#[inline]
|
2018-02-02 19:26:35 +08:00
|
|
|
fn xgees_work_size(jobvs: u8,
|
|
|
|
sort: u8,
|
2017-08-07 01:41:12 +08:00
|
|
|
// select: ???
|
2018-02-02 19:26:35 +08:00
|
|
|
n: i32,
|
|
|
|
a: &mut [$N],
|
|
|
|
lda: i32,
|
|
|
|
sdim: &mut i32,
|
|
|
|
wr: &mut [$N],
|
|
|
|
wi: &mut [$N],
|
|
|
|
vs: &mut [$N],
|
|
|
|
ldvs: i32,
|
|
|
|
bwork: &mut [i32],
|
2017-08-07 01:41:12 +08:00
|
|
|
info: &mut i32)
|
|
|
|
-> i32 {
|
|
|
|
let mut work = [ Zero::zero() ];
|
|
|
|
let lwork = -1 as i32;
|
|
|
|
|
|
|
|
$xgees(jobvs, sort, None, n, a, lda, sdim, wr, wi, vs, ldvs, &mut work, lwork, bwork, info);
|
|
|
|
ComplexHelper::real_part(work[0]) as i32
|
|
|
|
}
|
|
|
|
}
|
|
|
|
)
|
|
|
|
);
|
|
|
|
|
|
|
|
real_eigensystem_scalar_impl!(f32, interface::sgees);
|
|
|
|
real_eigensystem_scalar_impl!(f64, interface::dgees);
|