| |
1 //! Basic definitions for measures |
| |
2 |
| |
3 use alg_tools::norms::{Norm, NormExponent}; |
| |
4 use alg_tools::types::Num; |
| |
5 use serde::Serialize; |
| |
6 |
| |
7 /// This is used with [`Norm::norm`] to indicate that a Radon norm is to be computed. |
| |
8 #[derive(Copy, Clone, Serialize, Debug)] |
| |
9 pub struct Radon; |
| |
10 impl NormExponent for Radon {} |
| |
11 |
| |
12 /// A trait for (Radon) measures. |
| |
13 /// |
| |
14 /// Currently has no methods, just the requirement that the Radon norm be implemented. |
| |
15 pub trait Measure<F: Num>: Norm<Radon, F> { |
| |
16 type Domain; |
| |
17 } |
| |
18 |
| |
19 /// Decomposition of measures |
| |
20 pub struct MeasureDecomp; |