Tue, 06 Dec 2022 14:12:20 +0200
v1.0.0-pre-arxiv (missing arXiv links)
0 | 1 | /*! |
2 | This module implementes delta measures, i.e., single spikes $\alpha \delta_x$ for some | |
3 | location $x$ and mass $\alpha$. | |
4 | */ | |
5 | ||
6 | use super::base::*; | |
7 | use crate::types::*; | |
8 | use std::ops::{Div, Mul, DivAssign, MulAssign, Neg}; | |
9 | use serde::ser::{Serialize, Serializer, SerializeStruct}; | |
10 | use alg_tools::norms::{Norm, Dist}; | |
11 | use alg_tools::linops::{Apply, Linear}; | |
12 | ||
13 | /// Representation of a delta measure. | |
14 | /// | |
15 | /// This is a single spike $\alpha \delta\_x$ for some location $x$ in `Domain` and | |
16 | /// a mass $\alpha$ in `F`. | |
17 | #[derive(Clone,Copy,Debug)] | |
18 | pub struct DeltaMeasure<Domain, F : Num> { | |
19 | // This causes [`csv`] to crash. | |
20 | //#[serde(flatten)] | |
21 | /// Location of the spike | |
22 | pub x : Domain, | |
23 | /// Mass of the spike | |
24 | pub α : F | |
25 | } | |
26 | ||
27 | const COORDINATE_NAMES : &'static [&'static str] = &[ | |
28 | "x0", "x1", "x2", "x3", "x4", "x5", "x6", "x7" | |
29 | ]; | |
30 | ||
31 | // Need to manually implement serialisation as [`csv`] writer fails on | |
32 | // structs with nested arrays as well as with #[serde(flatten)]. | |
33 | impl<F : Num, const N : usize> Serialize for DeltaMeasure<Loc<F, N>, F> | |
34 | where | |
35 | F: Serialize, | |
36 | { | |
37 | fn serialize<S>(&self, serializer: S) -> Result<S::Ok, S::Error> | |
38 | where | |
39 | S: Serializer, | |
40 | { | |
41 | assert!(N <= COORDINATE_NAMES.len()); | |
42 | ||
43 | let mut s = serializer.serialize_struct("DeltaMeasure", N+1)?; | |
44 | for (i, e) in (0..).zip(self.x.iter()) { | |
45 | s.serialize_field(COORDINATE_NAMES[i], e)?; | |
46 | } | |
47 | s.serialize_field("weight", &self.α)?; | |
48 | s.end() | |
49 | } | |
50 | } | |
51 | ||
52 | ||
53 | impl<Domain : PartialEq, F : Float> Measure<F> for DeltaMeasure<Domain, F> { | |
54 | type Domain = Domain; | |
55 | } | |
56 | ||
57 | impl<Domain : PartialEq, F : Float> Norm<F, Radon> for DeltaMeasure<Domain, F> { | |
58 | #[inline] | |
59 | fn norm(&self, _ : Radon) -> F { | |
60 | self.α.abs() | |
61 | } | |
62 | } | |
63 | ||
64 | impl<Domain : PartialEq, F : Float> Dist<F, Radon> for DeltaMeasure<Domain, F> { | |
65 | #[inline] | |
66 | fn dist(&self, other : &Self, _ : Radon) -> F { | |
67 | if self.x == other. x { | |
68 | (self.α - other.α).abs() | |
69 | } else { | |
70 | self.α.abs() + other.α.abs() | |
71 | } | |
72 | } | |
73 | } | |
74 | ||
75 | impl<'b, Domain, G, F : Num, V : Mul<F, Output=V>> Apply<G> for DeltaMeasure<Domain, F> | |
76 | where G: for<'a> Apply<&'a Domain, Output = V>, | |
77 | V : Mul<F> { | |
78 | type Output = V; | |
79 | ||
80 | #[inline] | |
81 | fn apply(&self, g : G) -> Self::Output { | |
82 | g.apply(&self.x) * self.α | |
83 | } | |
84 | } | |
85 | ||
86 | impl<Domain, G, F : Num, V : Mul<F, Output=V>> Linear<G> for DeltaMeasure<Domain, F> | |
87 | where G: for<'a> Apply<&'a Domain, Output = V> { | |
88 | type Codomain = V; | |
89 | } | |
90 | ||
91 | // /// Partial blanket implementation of [`DeltaMeasure`] as a linear functional of [`Mapping`]s. | |
92 | // /// A full blanket implementation is not possible due to annoying Rust limitations: only [`Apply`] | |
93 | // /// on a reference is implemented, but a consuming [`Apply`] has to be implemented on a case-by-case | |
94 | // /// basis, not because an implementation could not be written, but because the Rust trait system | |
95 | // /// chokes up. | |
96 | // impl<Domain, G, F : Num, V> Linear<G> for DeltaMeasure<Domain, F> | |
97 | // where G: for<'a> Apply<&'a Domain, Output = V>, | |
98 | // V : Mul<F>, | |
99 | // Self: Apply<G, Output = <V as Mul<F>>::Output> { | |
100 | // type Codomain = <V as Mul<F>>::Output; | |
101 | // } | |
102 | ||
103 | // impl<'b, Domain, G, F : Num, V> Apply<&'b G> for DeltaMeasure<Domain, F> | |
104 | // where G: for<'a> Apply<&'a Domain, Output = V>, | |
105 | // V : Mul<F> { | |
106 | // type Output = <V as Mul<F>>::Output; | |
107 | ||
108 | // #[inline] | |
109 | // fn apply(&self, g : &'b G) -> Self::Output { | |
110 | // g.apply(&self.x) * self.α | |
111 | // } | |
112 | // } | |
113 | ||
114 | // /// Implementation of the necessary apply for BTFNs | |
115 | // mod btfn_apply { | |
116 | // use super::*; | |
117 | // use alg_tools::bisection_tree::{BTFN, BTImpl, SupportGenerator, LocalAnalysis}; | |
118 | ||
119 | // impl<F : Float, BT, G, V, const N : usize> Apply<BTFN<F, G, BT, N>> | |
120 | // for DeltaMeasure<Loc<F, N>, F> | |
121 | // where BT : BTImpl<F, N>, | |
122 | // G : SupportGenerator<F, N, Id=BT::Data>, | |
123 | // G::SupportType : LocalAnalysis<F, BT::Agg, N> + for<'a> Apply<&'a Loc<F, N>, Output = V>, | |
124 | // V : std::iter::Sum + Mul<F> { | |
125 | ||
126 | // type Output = <V as Mul<F>>::Output; | |
127 | ||
128 | // #[inline] | |
129 | // fn apply(&self, g : BTFN<F, G, BT, N>) -> Self::Output { | |
130 | // g.apply(&self.x) * self.α | |
131 | // } | |
132 | // } | |
133 | // } | |
134 | ||
135 | ||
136 | impl<D, Domain, F : Num> From<(D, F)> for DeltaMeasure<Domain, F> | |
137 | where D : Into<Domain> { | |
138 | #[inline] | |
139 | fn from((x, α) : (D, F)) -> Self { | |
140 | DeltaMeasure{x: x.into(), α: α} | |
141 | } | |
142 | } | |
143 | ||
144 | /*impl<F : Num> From<(F, F)> for DeltaMeasure<Loc<F, 1>, F> { | |
145 | #[inline] | |
146 | fn from((x, α) : (F, F)) -> Self { | |
147 | DeltaMeasure{x: Loc([x]), α: α} | |
148 | } | |
149 | }*/ | |
150 | ||
151 | impl<Domain, F : Num> DeltaMeasure<Domain, F> { | |
152 | /// Set the mass of the spike. | |
153 | #[inline] | |
154 | pub fn set_mass(&mut self, α : F) { | |
155 | self.α = α | |
156 | } | |
157 | ||
158 | /// Set the location of the spike. | |
159 | #[inline] | |
160 | pub fn set_location(&mut self, x : Domain) { | |
161 | self.x = x | |
162 | } | |
163 | ||
164 | /// Get the mass of the spike. | |
165 | #[inline] | |
166 | pub fn get_mass(&self) -> F { | |
167 | self.α | |
168 | } | |
169 | ||
170 | /// Get a mutable reference to the mass of the spike. | |
171 | #[inline] | |
172 | pub fn get_mass_mut(&mut self) -> &mut F { | |
173 | &mut self.α | |
174 | } | |
175 | ||
176 | /// Get a reference to the location of the spike. | |
177 | #[inline] | |
178 | pub fn get_location(&self) -> &Domain { | |
179 | &self.x | |
180 | } | |
181 | ||
182 | /// Get a mutable reference to the location of the spike. | |
183 | #[inline] | |
184 | pub fn get_location_mut(&mut self) -> &mut Domain { | |
185 | &mut self.x | |
186 | } | |
187 | } | |
188 | ||
189 | ||
190 | macro_rules! make_delta_scalarop_rhs { | |
191 | ($trait:ident, $fn:ident, $trait_assign:ident, $fn_assign:ident) => { | |
192 | impl<F : Num, Domain> $trait<F> for DeltaMeasure<Domain, F> { | |
193 | type Output = Self; | |
194 | fn $fn(mut self, b : F) -> Self { | |
195 | self.α.$fn_assign(b); | |
196 | self | |
197 | } | |
198 | } | |
199 | ||
200 | impl<'a, F : Num, Domain> $trait<&'a F> for DeltaMeasure<Domain, F> { | |
201 | type Output = Self; | |
202 | fn $fn(mut self, b : &'a F) -> Self { | |
203 | self.α.$fn_assign(*b); | |
204 | self | |
205 | } | |
206 | } | |
207 | ||
208 | impl<'b, F : Num, Domain : Clone> $trait<F> for &'b DeltaMeasure<Domain, F> { | |
209 | type Output = DeltaMeasure<Domain, F>; | |
210 | fn $fn(self, b : F) -> Self::Output { | |
211 | DeltaMeasure { α : self.α.$fn(b), x : self.x.clone() } | |
212 | } | |
213 | } | |
214 | ||
215 | impl<'a, 'b, F : Num, Domain : Clone> $trait<&'a F> for &'b DeltaMeasure<Domain, F> { | |
216 | type Output = DeltaMeasure<Domain, F>; | |
217 | fn $fn(self, b : &'a F) -> Self::Output { | |
218 | DeltaMeasure { α : self.α.$fn(*b), x : self.x.clone() } | |
219 | } | |
220 | } | |
221 | ||
222 | impl<F : Num, Domain> $trait_assign<F> for DeltaMeasure<Domain, F> { | |
223 | fn $fn_assign(&mut self, b : F) { | |
224 | self.α.$fn_assign(b) | |
225 | } | |
226 | } | |
227 | ||
228 | impl<'a, F : Num, Domain> $trait_assign<&'a F> for DeltaMeasure<Domain, F> { | |
229 | fn $fn_assign(&mut self, b : &'a F) { | |
230 | self.α.$fn_assign(*b) | |
231 | } | |
232 | } | |
233 | } | |
234 | } | |
235 | ||
236 | make_delta_scalarop_rhs!(Mul, mul, MulAssign, mul_assign); | |
237 | make_delta_scalarop_rhs!(Div, div, DivAssign, div_assign); | |
238 | ||
239 | macro_rules! make_delta_scalarop_lhs { | |
240 | ($trait:ident, $fn:ident; $($f:ident)+) => { $( | |
241 | impl<Domain> $trait<DeltaMeasure<Domain, $f>> for $f { | |
242 | type Output = DeltaMeasure<Domain, $f>; | |
243 | fn $fn(self, mut δ : DeltaMeasure<Domain, $f>) -> Self::Output { | |
244 | δ.α = self.$fn(δ.α); | |
245 | δ | |
246 | } | |
247 | } | |
248 | ||
249 | impl<'a, Domain : Clone> $trait<&'a DeltaMeasure<Domain, $f>> for $f { | |
250 | type Output = DeltaMeasure<Domain, $f>; | |
251 | fn $fn(self, δ : &'a DeltaMeasure<Domain, $f>) -> Self::Output { | |
252 | DeltaMeasure{ x : δ.x.clone(), α : self.$fn(δ.α) } | |
253 | } | |
254 | } | |
255 | ||
256 | impl<'b, Domain> $trait<DeltaMeasure<Domain, $f>> for &'b $f { | |
257 | type Output = DeltaMeasure<Domain, $f>; | |
258 | fn $fn(self, mut δ : DeltaMeasure<Domain, $f>) -> Self::Output { | |
259 | δ.α = self.$fn(δ.α); | |
260 | δ | |
261 | } | |
262 | } | |
263 | ||
264 | impl<'a, 'b, Domain : Clone> $trait<&'a DeltaMeasure<Domain, $f>> for &'b $f { | |
265 | type Output = DeltaMeasure<Domain, $f>; | |
266 | fn $fn(self, δ : &'a DeltaMeasure<Domain, $f>) -> Self::Output { | |
267 | DeltaMeasure{ x : δ.x.clone(), α : self.$fn(δ.α) } | |
268 | } | |
269 | } | |
270 | )+ } | |
271 | } | |
272 | ||
273 | make_delta_scalarop_lhs!(Mul, mul; f32 f64 i8 i16 i32 i64 isize u8 u16 u32 u64 usize); | |
274 | make_delta_scalarop_lhs!(Div, div; f32 f64 i8 i16 i32 i64 isize u8 u16 u32 u64 usize); | |
275 | ||
276 | macro_rules! make_delta_unary { | |
277 | ($trait:ident, $fn:ident, $type:ty) => { | |
278 | impl<'a, F : Num + Neg<Output=F>, Domain : Clone> Neg for $type { | |
279 | type Output = DeltaMeasure<Domain, F>; | |
280 | fn $fn(self) -> Self::Output { | |
281 | let mut tmp = self.clone(); | |
282 | tmp.α = tmp.α.$fn(); | |
283 | tmp | |
284 | } | |
285 | } | |
286 | } | |
287 | } | |
288 | ||
289 | make_delta_unary!(Neg, neg, DeltaMeasure<Domain, F>); | |
290 | make_delta_unary!(Neg, neg, &'a DeltaMeasure<Domain, F>); | |
291 |