| 1 //! Basic definitions for measures |
|
| 2 |
|
| 3 use serde::Serialize; |
|
| 4 use alg_tools::types::Num; |
|
| 5 use alg_tools::norms::{Norm, NormExponent}; |
|
| 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<F, Radon> { |
|
| 16 type Domain; |
|
| 17 } |
|
| 18 |
|
| 19 /// Decomposition of measures |
|
| 20 pub struct MeasureDecomp; |
|
| 21 |
|