Comments (13)
Oops, thanks for catching this. I'll fix tomorrow
from intervalarithmetic.jl.
This just needs a definition of a fallback method
AdjacentFloats.prev_float(x) = prevfloat(x)
from intervalarithmetic.jl.
Thanks. Don't forget to define nextfloat
as well ;-)
from intervalarithmetic.jl.
What context did you find this in? Can this be turned into a test case?
These should probably be defined directly in the AdjacentFloats package.
from intervalarithmetic.jl.
do you want me to add the fallback for BigFloats into AdjacentFloats?
from intervalarithmetic.jl.
from intervalarithmetic.jl.
fixed in master, submitted as new release
from intervalarithmetic.jl.
merged
from intervalarithmetic.jl.
I will try to submit a test
from intervalarithmetic.jl.
Ok, test case for this turned out to be easier than expected:
using IntervalArithmetic
setrounding(Interval, :accurate)
w = 0 ± big(0.1)
w*w
(or any function that uses directed
in rounding, e.g. :+, :-, :*, :/, :atan2, :^, :sqrt, :inv, :tanh, :asinh, :acosh, :atanh
and all of CRlibm
)
The catch is it happens only on :accurate
rounding and julia-v0.5
does not recompile functions after running setrounding
. So an eventual test:
- would have to start at the beginning of session
- set rounding before any of these are used
- run tests caching possible
MethodError: no method matching prev_float(::BigFloat)
I didn't look much into tests for Intervals
, but how feasible are those conditions?
from intervalarithmetic.jl.
0.5 support has been dropped in the latest version so that is no longer an issue.
It would be great if you could make a pull request with your suggested test code!
from intervalarithmetic.jl.
Should these be placed in IntervalArithmetic.jl/test/interval_tests/rounding.jl ?
since it's the definition of prevfloat
, nextfloat
should we test all of the functions above, or just +
is enough?
from intervalarithmetic.jl.
Fixed upstream in latest release of AdjacentFloats.jl.
from intervalarithmetic.jl.
Related Issues (20)
- ForwardDiff with min, max, and clamp HOT 3
- `string(x::Interval)` is not working correctly HOT 1
- Unclear error for malformed interval
- Can't multiply a `BareInterval` by a scalar HOT 5
- Document `in` behaviour HOT 2
- Define ` ∩` and `∪` for `BareInterval` HOT 6
- Define and export Heaviside function HOT 2
- No mechanism to define functions restricted to a domain HOT 2
- Piecewise functions HOT 5
- Add `\infty` symbol to Symbols module HOT 1
- `zero(emptyinterval())` should be empty HOT 1
- Expose domain of functions HOT 5
- `hull` with `NaI` gives non-NaI HOT 1
- Reinstate fast rounding with `prevfloat` and `nextfloat` HOT 2
- Give a hand to downstream packages to update to v0.22
- Define `x // 3` for an interval `x` HOT 2
- Document the decoration and flag system HOT 3
- Is `cbrt` correctly rounded? HOT 2
- Document `PowerMode` HOT 11
- Document `isapprox` HOT 3
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google ❤️ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.
from intervalarithmetic.jl.