--- a/src/main.rs Sun Dec 15 01:10:52 2024 -0500 +++ b/src/main.rs Thu Dec 19 15:55:32 2024 -0500 @@ -210,12 +210,14 @@ τ : f64, logmap : impl Fn(usize, IterInfo<M>) -> I ) -> DynError -where M : ManifoldPoint - + EmbeddedManifoldPoint<EmbeddedCoords = Loc<f64, 3>> - + FacedManifoldPoint, - F : Desc<M> + Mapping<M, Codomain = f64>, - G : Prox<M> + Mapping<M, Codomain = f64>, - I : Serialize { +where + M : ManifoldPoint + + EmbeddedManifoldPoint<EmbeddedCoords = Loc<f64, 3>> + + FacedManifoldPoint, + F : Desc<M> + Mapping<M, Codomain = f64>, + G : Prox<M> + Mapping<M, Codomain = f64>, + I : Serialize +{ let mut logger = Logger::new(); let iter = AlgIteratorOptions{