Struct HyperfiniteSet 

pub struct HyperfiniteSet {
    pub cardinality: usize,
    pub label: String,
}

A hyperfinite set represented by a hypernatural cardinality N (as usize for computability).

Fields

cardinality: usize

The (hyper)natural cardinality of the set (as an ordinary usize for computational purposes).

label: String

An optional label for the set.

Implementations

impl HyperfiniteSet

pub fn new(cardinality: usize, label: &str) -> Self

Create a hyperfinite set with given cardinality.

pub fn hyperfinite_sum<F: Fn(usize) -> f64>(&self, f: F) -> f64

Compute the sum of a function over this hyperfinite set (approximation).

pub fn hyperfinite_product<F: Fn(usize) -> f64>(&self, f: F) -> f64

Compute the product of a function over this hyperfinite set (approximation).

pub fn loeb_integral<F: Fn(usize) -> f64>(&self, f: F) -> f64

Compute the normalized sum (Loeb-measure approximation).

pub fn is_nonempty(&self) -> bool

Check whether the set is nonempty.