| 98:b9818eb24b47 | 99:82e3cb274186 |
|---|---|
| 314 ) -> F | 314 ) -> F |
| 315 where | 315 where |
| 316 M: MinMaxMapping<Loc<N, F>, F>, | 316 M: MinMaxMapping<Loc<N, F>, F>, |
| 317 { | 317 { |
| 318 let refinement_tolerance = ε * config.refinement.tolerance_mult; | 318 let refinement_tolerance = ε * config.refinement.tolerance_mult; |
| 319 let τα = self.α()*τ; | 319 let τα = self.α() * τ; |
| 320 | 320 |
| 321 let μ_disrepancy = μ | 321 let μ_disrepancy = μ |
| 322 .iter_spikes() | 322 .iter_spikes() |
| 323 .map(|δ| { | 323 .map(|δ| { |
| 324 let v = τv.apply(&δ.x); | 324 let v = τv.apply(&δ.x); |