|
1 | 1 | struct Bisection <: AbstractBracketingAlgorithm
|
2 |
| - exact_left::Bool |
3 |
| - exact_right::Bool |
| 2 | + exact_left::Bool |
| 3 | + exact_right::Bool |
4 | 4 | end
|
5 | 5 |
|
6 |
| -function Bisection(;exact_left=false, exact_right=false) |
7 |
| - Bisection(exact_left, exact_right) |
| 6 | +function Bisection(; exact_left = false, exact_right = false) |
| 7 | + Bisection(exact_left, exact_right) |
8 | 8 | end
|
9 | 9 |
|
10 | 10 | struct BisectionCache{uType}
|
11 |
| - state::Int |
12 |
| - left::uType |
13 |
| - right::uType |
| 11 | + state::Int |
| 12 | + left::uType |
| 13 | + right::uType |
14 | 14 | end
|
15 | 15 |
|
16 | 16 | function alg_cache(alg::Bisection, left, right, p, ::Val{true})
|
17 |
| - BisectionCache(0, left, right) |
| 17 | + BisectionCache(0, left, right) |
18 | 18 | end
|
19 | 19 |
|
20 | 20 | function alg_cache(alg::Bisection, left, right, p, ::Val{false})
|
21 |
| - BisectionCache(0, left, right) |
| 21 | + BisectionCache(0, left, right) |
22 | 22 | end
|
23 | 23 |
|
24 | 24 | function perform_step(solver::BracketingImmutableSolver, alg::Bisection, cache)
|
25 |
| - @unpack f, p, left, right, fl, fr, cache = solver |
26 |
| - |
27 |
| - if cache.state == 0 |
28 |
| - fzero = zero(fl) |
29 |
| - fl * fr > fzero && error("Bracket became non-containing in between iterations. This could mean that " |
30 |
| - * "input function crosses the x axis multiple times. Bisection is not the right method to solve this.") |
31 |
| - |
32 |
| - mid = (left + right) / 2 |
33 |
| - |
34 |
| - if left == mid || right == mid |
35 |
| - @set! solver.force_stop = true |
36 |
| - @set! solver.retcode = FLOATING_POINT_LIMIT |
37 |
| - return solver |
38 |
| - end |
39 |
| - |
40 |
| - fm = f(mid, p) |
41 |
| - |
42 |
| - if iszero(fm) |
43 |
| - if alg.exact_left |
44 |
| - @set! cache.state = 1 |
45 |
| - @set! cache.right = mid |
46 |
| - @set! cache.left = mid |
47 |
| - @set! solver.cache = cache |
48 |
| - elseif alg.exact_right |
49 |
| - @set! solver.left = prevfloat_tdir(mid, left, right) |
50 |
| - solver = sync_residuals!(solver) |
51 |
| - @set! cache.state = 2 |
52 |
| - @set! cache.left = mid |
53 |
| - @set! solver.cache = cache |
54 |
| - else |
55 |
| - @set! solver.left = prevfloat_tdir(mid, left, right) |
56 |
| - @set! solver.right = nextfloat_tdir(mid, left, right) |
57 |
| - solver = sync_residuals!(solver) |
58 |
| - @set! solver.force_stop = true |
59 |
| - return solver |
60 |
| - end |
61 |
| - else |
62 |
| - if sign(fm) == sign(fl) |
63 |
| - @set! solver.left = mid |
64 |
| - @set! solver.fl = fm |
65 |
| - else |
66 |
| - @set! solver.right = mid |
67 |
| - @set! solver.fr = fm |
68 |
| - end |
69 |
| - end |
70 |
| - elseif cache.state == 1 |
71 |
| - mid = (left + cache.right) / 2 |
72 |
| - |
73 |
| - if cache.right == mid || left == mid |
74 |
| - if alg.exact_right |
75 |
| - @set! cache.state = 2 |
76 |
| - @set! solver.cache = cache |
77 |
| - return solver |
78 |
| - else |
79 |
| - @set! solver.right = nextfloat_tdir(mid, left, right) |
80 |
| - solver = sync_residuals!(solver) |
81 |
| - @set! solver.force_stop = true |
82 |
| - return solver |
83 |
| - end |
84 |
| - end |
85 |
| - |
86 |
| - fm = f(mid, p) |
| 25 | + @unpack f, p, left, right, fl, fr, cache = solver |
87 | 26 |
|
88 |
| - if iszero(fm) |
89 |
| - @set! cache.right = mid |
90 |
| - @set! solver.cache = cache |
91 |
| - else |
92 |
| - @set! solver.left = mid |
93 |
| - @set! solver.fl = fm |
94 |
| - end |
95 |
| - else |
96 |
| - mid = (cache.left + right) / 2 |
97 |
| - |
98 |
| - if right == mid || cache.left == mid |
99 |
| - @set! solver.force_stop = true |
100 |
| - return solver |
101 |
| - end |
102 |
| - |
103 |
| - fm = f(mid, p) |
| 27 | + if cache.state == 0 |
| 28 | + fzero = zero(fl) |
| 29 | + fl * fr > fzero && |
| 30 | + error("Bracket became non-containing in between iterations. This could mean that " |
| 31 | + * |
| 32 | + "input function crosses the x axis multiple times. Bisection is not the right method to solve this.") |
| 33 | + |
| 34 | + mid = (left + right) / 2 |
104 | 35 |
|
105 |
| - if iszero(fm) |
106 |
| - @set! cache.left = mid |
107 |
| - @set! solver.cache = cache |
| 36 | + if left == mid || right == mid |
| 37 | + @set! solver.force_stop = true |
| 38 | + @set! solver.retcode = FLOATING_POINT_LIMIT |
| 39 | + return solver |
| 40 | + end |
| 41 | + |
| 42 | + fm = f(mid, p) |
| 43 | + |
| 44 | + if iszero(fm) |
| 45 | + if alg.exact_left |
| 46 | + @set! cache.state = 1 |
| 47 | + @set! cache.right = mid |
| 48 | + @set! cache.left = mid |
| 49 | + @set! solver.cache = cache |
| 50 | + elseif alg.exact_right |
| 51 | + @set! solver.left = prevfloat_tdir(mid, left, right) |
| 52 | + solver = sync_residuals!(solver) |
| 53 | + @set! cache.state = 2 |
| 54 | + @set! cache.left = mid |
| 55 | + @set! solver.cache = cache |
| 56 | + else |
| 57 | + @set! solver.left = prevfloat_tdir(mid, left, right) |
| 58 | + @set! solver.right = nextfloat_tdir(mid, left, right) |
| 59 | + solver = sync_residuals!(solver) |
| 60 | + @set! solver.force_stop = true |
| 61 | + return solver |
| 62 | + end |
| 63 | + else |
| 64 | + if sign(fm) == sign(fl) |
| 65 | + @set! solver.left = mid |
| 66 | + @set! solver.fl = fm |
| 67 | + else |
| 68 | + @set! solver.right = mid |
| 69 | + @set! solver.fr = fm |
| 70 | + end |
| 71 | + end |
| 72 | + elseif cache.state == 1 |
| 73 | + mid = (left + cache.right) / 2 |
| 74 | + |
| 75 | + if cache.right == mid || left == mid |
| 76 | + if alg.exact_right |
| 77 | + @set! cache.state = 2 |
| 78 | + @set! solver.cache = cache |
| 79 | + return solver |
| 80 | + else |
| 81 | + @set! solver.right = nextfloat_tdir(mid, left, right) |
| 82 | + solver = sync_residuals!(solver) |
| 83 | + @set! solver.force_stop = true |
| 84 | + return solver |
| 85 | + end |
| 86 | + end |
| 87 | + |
| 88 | + fm = f(mid, p) |
| 89 | + |
| 90 | + if iszero(fm) |
| 91 | + @set! cache.right = mid |
| 92 | + @set! solver.cache = cache |
| 93 | + else |
| 94 | + @set! solver.left = mid |
| 95 | + @set! solver.fl = fm |
| 96 | + end |
108 | 97 | else
|
109 |
| - @set! solver.right = mid |
110 |
| - @set! solver.fr = fm |
| 98 | + mid = (cache.left + right) / 2 |
| 99 | + |
| 100 | + if right == mid || cache.left == mid |
| 101 | + @set! solver.force_stop = true |
| 102 | + return solver |
| 103 | + end |
| 104 | + |
| 105 | + fm = f(mid, p) |
| 106 | + |
| 107 | + if iszero(fm) |
| 108 | + @set! cache.left = mid |
| 109 | + @set! solver.cache = cache |
| 110 | + else |
| 111 | + @set! solver.right = mid |
| 112 | + @set! solver.fr = fm |
| 113 | + end |
111 | 114 | end
|
112 |
| - end |
113 |
| - solver |
| 115 | + solver |
114 | 116 | end
|
0 commit comments