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
use crate::algebra::{
abstr::{Field, Scalar},
linear::Matrix,
};
use std::ops::Sub;
impl<T> Sub for Matrix<T> where T: Field + Scalar
{
type Output = Matrix<T>;
fn sub(self: Self, rhs: Self) -> Self::Output
{
(&self).sub(&rhs)
}
}
impl<'a, 'b, T> Sub<&'b Matrix<T>> for &'a Matrix<T> where T: Field + Scalar
{
type Output = Matrix<T>;
fn sub(self: Self, rhs: &'b Matrix<T>) -> Self::Output
{
assert_eq!(self.dim(), rhs.dim());
let (m, n) = rhs.dim();
Matrix { m,
n,
data: self.data
.iter()
.zip(rhs.data.iter())
.map(|(x, y)| *x - *y)
.collect::<Vec<T>>() }
}
}
impl<'a, 'b, T> Sub<&'b T> for &'a Matrix<T> where T: Field + Scalar
{
type Output = Matrix<T>;
fn sub(self: Self, rhs: &T) -> Self::Output
{
return self.apply(&|x: &T| -> T { *x - *rhs });
}
}
impl<T> Sub<T> for Matrix<T> where T: Field + Scalar
{
type Output = Matrix<T>;
fn sub(self: Self, rhs: T) -> Self::Output
{
return (&self).sub(&rhs);
}
}