src/measures/base.rs

Mon, 17 Feb 2025 14:10:52 -0500

author
Tuomo Valkonen <tuomov@iki.fi>
date
Mon, 17 Feb 2025 14:10:52 -0500
changeset 54
b3312eee105c
parent 35
b087e3eab191
permissions
-rw-r--r--

Make some math in documentation render

//! Basic definitions for measures

use serde::Serialize;
use alg_tools::types::Num;
use alg_tools::norms::{Norm, NormExponent};

/// 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<F, Radon> {
    type Domain;
}

/// Decomposition of measures
pub struct MeasureDecomp;

mercurial