--- a/src/scaled.rs Sun Dec 15 01:10:52 2024 -0500 +++ b/src/scaled.rs Thu Dec 19 15:55:32 2024 -0500 @@ -2,7 +2,7 @@ Implementation of scaling of functions on a manifold by a scalar. */ -use alg_tools::mapping::{Mapping, Instance}; +use alg_tools::mapping::{Mapping, Instance, Space}; use crate::manifold::ManifoldPoint; use crate::fb::{Grad, Desc, Prox}; @@ -22,7 +22,7 @@ } } -impl<M, G : Mapping<M, Codomain=f64>> Mapping<M> for Scaled< G> { +impl<M : Space, G : Mapping<M, Codomain=f64>> Mapping<M> for Scaled< G> { type Codomain = f64; fn apply<I : Instance<M>>(&self, x : I) -> Self::Codomain {