--- a/src/fb.rs Thu Dec 19 15:55:32 2024 -0500 +++ b/src/fb.rs Sat Dec 28 19:31:21 2024 -0500 @@ -3,9 +3,10 @@ */ use alg_tools::iterate::{AlgIteratorFactory, LogRepr}; -use alg_tools::mapping::{Mapping, Sum}; +use alg_tools::mapping::Mapping; +use alg_tools::operator_arithmetic::MappingSum; use serde::Serialize; -use std::iter::Sum as SumTrait; +use std::iter::Sum; use colored::ColoredString; use crate::manifold::{EmbeddedManifoldPoint, ManifoldPoint}; @@ -27,10 +28,10 @@ } }*/ -impl<M, T > Desc<M> for Sum<M, T> +impl<M, T> Desc<M> for MappingSum<T> where M : ManifoldPoint, T : Grad<M> + Mapping<M, Codomain=f64>, - M::Tangent : SumTrait { + M::Tangent : Sum { fn desc(&self, τ : f64, x : M) -> M { let t : M::Tangent = self.iter() .map(|f| f.grad(&x))