--- a/src/types.rs Fri Dec 02 18:08:40 2022 +0200 +++ b/src/types.rs Fri Dec 02 18:14:03 2022 +0200 @@ -39,22 +39,15 @@ pub inner_iters : usize, /// Current tolerance pub ε : F, - /// Strict tolerance update if one was used - pub maybe_ε1 : Option<F>, /// Solve fin.dim problem for this measure to get the optimal `value`. pub postprocessing : Option<DiscreteMeasure<Loc<F, N>, F>>, } impl<F, const N : usize> LogRepr for IterInfo<F, N> where F : LogRepr + Float { fn logrepr(&self) -> ColoredString { - let eqsign = match self.maybe_ε1 { - Some(ε1) if ε1 < self.ε => '≛', - _ => '=', - }; - format!("{}\t| N = {}, ε {} {:.8}, inner_iters_mean = {}, merged+pruned_mean = {}+{}", + format!("{}\t| N = {}, ε = {:.8}, inner_iters_mean = {}, merged+pruned_mean = {}+{}", self.value.logrepr(), self.n_spikes, - eqsign, self.ε, self.inner_iters as float / self.this_iters as float, self.merged as float / self.this_iters as float,