--- a/src/fourier.rs Tue Aug 01 10:25:09 2023 +0300 +++ b/src/fourier.rs Mon Feb 17 13:54:53 2025 -0500 @@ -3,14 +3,14 @@ */ use alg_tools::types::{Num, Float}; -use alg_tools::mapping::{RealMapping, Mapping}; +use alg_tools::mapping::{RealMapping, Mapping, Space}; use alg_tools::bisection_tree::Weighted; use alg_tools::loc::Loc; /// Trait for Fourier transforms. When F is a non-complex number, the transform /// also has to be non-complex, i.e., the function itself symmetric. pub trait Fourier<F : Num> : Mapping<Self::Domain, Codomain=F> { - type Domain; + type Domain : Space; type Transformed : Mapping<Self::Domain, Codomain=F>; fn fourier(&self) -> Self::Transformed;