use crate::solver_error::SolverErrors;
use crate::solver_parts::*;
use num_traits::Float;
#[cfg(feature = "std")]
use std::mem::swap;
#[cfg(not(feature = "std"))]
use core::mem::swap;
#[derive(Clone, Debug)]
pub struct TridiagonalSystemPrecomputed<T: Float, const D: usize, const S: usize> {
diag: [T; D],
sup1: Option<[T; S]>,
sup2: Option<[T; S]>,
sins_cosins: Option<[(T, T); S]>
}
#[inline]
fn compute_x<T: Float, const D: usize>(rhs: &[T], d: &[T], a: &[T], u: &[T]) -> Result<[T; D], SolverErrors> {
let mut x = [T::zero(); D];
for i in (0..D).rev() {
let mut sum = T::zero();
if i < D - 1 {
sum = a[i] * x[i + 1];
}
if D > 1 && i < D - 2 {
sum = sum + u[i] * x[i + 2];
}
let rhs_sum = rhs[i] - sum;
let di = d[i];
if is_zero_eps_mag(di, rhs_sum) {
return Err(SolverErrors::DivisionByZero);
}
x[i] = (rhs_sum) / di;
}
Ok(x)
}
pub fn solve_givens<T: Float, const D: usize, const S: usize>(sup: &[T; S], diag: &[T; D], sub: &[T; S], rhs: &[T; D]) -> Result<[T; D], SolverErrors>
{
const { assert!(D == S + 1, "Sub and sup diagonals must be exctly 1 element smaller than main diagonal") };
let mut a = sup.clone();
let mut d = diag.clone();
let mut rhs = rhs.clone();
let mut ur = [T::zero(); S];
let u = if S > 1 {&mut ur[..S-1]} else {&mut []};
for i in 0..(D - 1) {
let bi = sub[i];
let di = d[i];
if is_zero_eps_mag(bi, di) {
continue;
} else if is_zero_eps_mag(di, bi) {
d[i] = sub[i];
swap(&mut d[i + 1], &mut a[i]);
rhs.swap(i, i + 1);
if i < u.len() {
u[i] = a[i + 1];
a[i + 1] = T::zero();
}
continue;
}
let ai = a[i];
let di1 = d[i + 1];
let rhsi = rhs[i];
let rhsi1 = rhs[i + 1];
let c;
let s;
(d[i], a[i], d[i + 1], s, c) = rotate_primary(ai, di, bi, di1)?;
(rhs[i], rhs[i + 1]) = rotate_rhs(rhsi, rhsi1, s, c);
if i < u.len() {
(u[i], a[i + 1]) = rotate_secondary(a[i + 1], s, c);
}
}
compute_x(&rhs, &d, &a, &u)
}
pub fn precompute_givens<T: Float, const D: usize, const S: usize>(sup: &[T; S], diag: &[T; D], sub: &[T; S]) -> Result<TridiagonalSystemPrecomputed<T, D, S>, SolverErrors> {
const { assert!(D == S + 1, "Sub and sup diagonals must be exctly 1 element smaller than main diagonal") };
let mut a = sup.clone();
let mut d = diag.clone();
let mut ur = [T::zero(); S];
let u = if S > 1 {&mut ur[..S-1]} else {&mut []};
let mut sins_cosins = [(T::zero(), T::zero()); S];
for i in 0..(D - 1) {
let bi = sub[i];
let di = d[i];
if is_zero_eps_mag(bi, di) {
sins_cosins[i] = (T::zero(), T::one().copysign(di));
continue;
} else if is_zero_eps_mag(di, bi) {
sins_cosins[i] = (-T::one().copysign(bi), T::zero());
continue;
}
let ai = a[i];
let di1 = d[i + 1];
let c;
let s;
(d[i], a[i], d[i + 1], s, c) = rotate_primary(ai, di, bi, di1)?;
sins_cosins[i] = (s, c);
if i < u.len() {
(u[i], a[i + 1]) = rotate_secondary(a[i + 1], s, c);
}
}
Ok(TridiagonalSystemPrecomputed {
diag: d,
sup1: if a.len() > 0 {Some(a)} else {None},
sup2: if u.len() > 0 {Some(ur)} else {None},
sins_cosins: if sins_cosins.len() > 0 {Some(sins_cosins)} else {None},
})
}
impl<T: Float, const D: usize, const S: usize> TridiagonalSystemPrecomputed<T, D, S> {
pub fn solve_givens_rhs(&self, rhs: &[T; D]) -> Result<[T; D], SolverErrors> {
let mut rhsl = rhs.clone();
if let Some(sins_cosins) = &self.sins_cosins{
for (i, &(s, c)) in sins_cosins.iter().enumerate() {
if s.abs() < T::epsilon() {
continue;
} else if c.abs() < T::epsilon() {
rhsl.swap(i, i + 1);
continue;
}
(rhsl[i], rhsl[i + 1]) = rotate_rhs(rhsl[i], rhsl[i + 1], s, c);
}
}
compute_x(
&rhsl,
&self.diag,
self.sup1.as_ref().map_or(&[], |v| v.as_slice()),
self.sup2.as_ref().map_or(&[], |v| v.as_slice()),
)
}
}