diff options
| author | tomsmeding <tom.smeding@gmail.com> | 2019-04-20 10:34:37 +0200 |
|---|---|---|
| committer | tomsmeding <tom.smeding@gmail.com> | 2019-04-20 10:34:37 +0200 |
| commit | de5ddea92334ed0d5ff4a70bd6393d7fea7bbd07 (patch) | |
| tree | 220fc9aa848ce0992e3a9c544f79af08446925b2 /aberth/aberth_kernel.fut | |
| parent | d705388634c4df25f800e7cf05e88609bfbc2068 (diff) | |
Now it actually works on iris!
Diffstat (limited to 'aberth/aberth_kernel.fut')
| -rw-r--r-- | aberth/aberth_kernel.fut | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/aberth/aberth_kernel.fut b/aberth/aberth_kernel.fut index f09db56..be1fed0 100644 --- a/aberth/aberth_kernel.fut +++ b/aberth/aberth_kernel.fut @@ -82,7 +82,7 @@ module aberth = { quos sums let approx = map2 (cplx.-) approx offsets let svals = map (eval_d ctx.bound <-< cplx.mag) approx - let conditions = map2 (\p s -> cplx.mag p <= 1e-9 * s) pvals svals + let conditions = map2 (\p s -> cplx.mag p <= 1e-5 * s) pvals svals let all_converged = all id conditions in (all_converged, approx) |