src/fb.rs

changeset 57
1afca417d71b
parent 56
34f8ec636368
--- 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))

mercurial