src/base.rs

changeset 0
e8f3b6c55ce7
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/src/base.rs	Fri Nov 28 12:48:17 2025 -0500
@@ -0,0 +1,20 @@
+//! Basic definitions for measures
+
+use alg_tools::norms::{Norm, NormExponent};
+use alg_tools::types::Num;
+use serde::Serialize;
+
+/// This is used with [`Norm::norm`] to indicate that a Radon norm is to be computed.
+#[derive(Copy, Clone, Serialize, Debug)]
+pub struct Radon;
+impl NormExponent for Radon {}
+
+/// A trait for (Radon) measures.
+///
+/// Currently has no methods, just the requirement that the Radon norm be implemented.
+pub trait Measure<F: Num>: Norm<Radon, F> {
+    type Domain;
+}
+
+/// Decomposition of measures
+pub struct MeasureDecomp;

mercurial