nalgebra/tests/linalg/tridiagonal.rs

57 lines
2.1 KiB
Rust
Raw Normal View History

2021-03-01 00:52:14 +08:00
#![cfg(feature = "proptest-support")]
macro_rules! gen_tests(
2021-03-01 00:52:14 +08:00
($module: ident, $scalar: expr) => {
mod $module {
#[allow(unused_imports)]
2019-03-23 21:29:07 +08:00
use crate::core::helper::{RandScalar, RandComplex};
2021-03-01 00:52:14 +08:00
use crate::proptest::*;
use proptest::{prop_assert, proptest};
2021-03-01 00:52:14 +08:00
proptest! {
#[test]
fn symm_tridiagonal(m in dmatrix_($scalar)) {
let m = &m * m.adjoint();
let tri = m.clone().symmetric_tridiagonalize();
let recomp = tri.recompose();
2021-03-01 00:52:14 +08:00
prop_assert!(relative_eq!(m.lower_triangle(), recomp.lower_triangle(), epsilon = 1.0e-7));
}
2021-03-01 00:52:14 +08:00
#[test]
fn symm_tridiagonal_singular(m in dmatrix_($scalar)) {
let mut m = &m * m.adjoint();
let n = m.nrows();
m.row_mut(n / 2).fill(na::zero());
m.column_mut(n / 2).fill(na::zero());
let tri = m.clone().symmetric_tridiagonalize();
let recomp = tri.recompose();
2021-03-01 00:52:14 +08:00
prop_assert!(relative_eq!(m.lower_triangle(), recomp.lower_triangle(), epsilon = 1.0e-7));
}
2021-03-01 00:52:14 +08:00
#[test]
fn symm_tridiagonal_static_square(m in matrix4_($scalar)) {
let m = m.hermitian_part();
let tri = m.symmetric_tridiagonalize();
let recomp = tri.recompose();
2021-03-01 00:52:14 +08:00
prop_assert!(relative_eq!(m.lower_triangle(), recomp.lower_triangle(), epsilon = 1.0e-7));
}
2021-03-01 00:52:14 +08:00
#[test]
fn symm_tridiagonal_static_square_2x2(m in matrix2_($scalar)) {
let m = m.hermitian_part();
let tri = m.symmetric_tridiagonalize();
let recomp = tri.recompose();
2021-03-01 00:52:14 +08:00
prop_assert!(relative_eq!(m.lower_triangle(), recomp.lower_triangle(), epsilon = 1.0e-7));
}
}
}
2019-03-18 18:23:19 +08:00
}
);
2019-03-18 18:23:19 +08:00
2021-03-01 00:52:14 +08:00
gen_tests!(complex, complex_f64());
gen_tests!(f64, PROPTEST_F64);