use crate::algebra::{
abstr::{Field, Scalar},
linear::matrix::Diagonal,
};
use std::ops::Sub;
impl<T> Sub<Diagonal<T>> for Diagonal<T>
where
T: Field + Scalar,
{
type Output = Diagonal<T>;
fn sub(mut self, rhs: Self) -> Self::Output {
let _ = (&mut self).sub(&rhs);
self
}
}
impl<'a, T> Sub<&'a Diagonal<T>> for &Diagonal<T>
where
T: Field + Scalar,
{
type Output = Diagonal<T>;
fn sub(self, rhs: &'a Diagonal<T>) -> Self::Output {
debug_assert_eq!(self.dim(), rhs.dim());
let (m, n) = self.dim();
let k = m.min(n);
let mut this = self.clone();
for i in 0..k {
this[[i, i]] -= rhs[[i, i]];
}
this
}
}
impl<'a, 'b, T> Sub<&'b Diagonal<T>> for &'a mut Diagonal<T>
where
T: Field + Scalar,
{
type Output = &'a mut Diagonal<T>;
fn sub(self, rhs: &'b Diagonal<T>) -> Self::Output {
debug_assert_eq!(self.dim(), rhs.dim());
let (m, n) = self.dim();
let k = m.min(n);
for i in 0..k {
self[[i, i]] -= rhs[[i, i]];
}
self
}
}
impl<'a, T> Sub<&'a T> for &Diagonal<T>
where
T: Field + Scalar,
{
type Output = Diagonal<T>;
fn sub(self, rhs: &'a T) -> Self::Output {
self.apply(&|x: &T| -> T { *x - *rhs })
}
}
impl<'a, T> Sub<&'a T> for &'a mut Diagonal<T>
where
T: Field + Scalar,
{
type Output = &'a mut Diagonal<T>;
fn sub(self, rhs: &'a T) -> Self::Output {
let (m, n) = self.dim();
let k = m.min(n);
for i in 0..k {
self[[i, i]] -= *rhs;
}
self
}
}
impl<T> Sub<T> for Diagonal<T>
where
T: Field + Scalar,
{
type Output = Diagonal<T>;
fn sub(mut self, rhs: T) -> Self::Output {
let _ = (&mut self).sub(&rhs);
self
}
}