3 ms·
eventually bandaid-ed it by preventing further zooming based on current precision zoom = { fac ctr min max -> newMin newMax newMin =
by xeonmc 4y ago
eventually bandaid-ed it by preventing further zooming based on current precision
zoom = {
fac ctr min max -> newMin newMax
newMin =
| eps < 2^(-2^11) = min
| eps > 2^( 2^11) = min
| avg/eps > 2^52 = min
| otherwise = (min-ctr)*fac + ctr
newMax =
| eps < 2^(-2^11) = max
| eps > 2^( 2^11) = max
| avg/eps > 2^25 = max
| otherwise = (max-ctr)*fac + ctr
avg = (max+min)/2
eps = (max-min)/2
}