{"action":"created","issue":{"url":"https://api.github.com/repos/dpsanders/ValidatedNumerics.jl/issues/56","labels_url":"https://api.github.com/repos/dpsanders/ValidatedNumerics.jl/issues/56/labels{/name}","comments_url":"https://api.github.com/repos/dpsanders/ValidatedNumerics.jl/issues/56/comments","events_url":"https://api.github.com/repos/dpsanders/ValidatedNumerics.jl/issues/56/events","html_url":"https://github.com/dpsanders/ValidatedNumerics.jl/pull/56","id":107370438,"number":56,"title":"WIP: Control rounding","user":{"login":"lbenet","id":5237744,"avatar_url":"https://avatars.githubusercontent.com/u/5237744?v=3","gravatar_id":"","url":"https://api.github.com/users/lbenet","html_url":"https://github.com/lbenet","followers_url":"https://api.github.com/users/lbenet/followers","following_url":"https://api.github.com/users/lbenet/following{/other_user}","gists_url":"https://api.github.com/users/lbenet/gists{/gist_id}","starred_url":"https://api.github.com/users/lbenet/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/lbenet/subscriptions","organizations_url":"https://api.github.com/users/lbenet/orgs","repos_url":"https://api.github.com/users/lbenet/repos","events_url":"https://api.github.com/users/lbenet/events{/privacy}","received_events_url":"https://api.github.com/users/lbenet/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"milestone":null,"comments":2,"created_at":"2015-09-20T03:37:48Z","updated_at":"2015-09-20T03:57:01Z","closed_at":null,"pull_request":{"url":"https://api.github.com/repos/dpsanders/ValidatedNumerics.jl/pulls/56","html_url":"https://github.com/dpsanders/ValidatedNumerics.jl/pull/56","diff_url":"https://github.com/dpsanders/ValidatedNumerics.jl/pull/56.diff","patch_url":"https://github.com/dpsanders/ValidatedNumerics.jl/pull/56.patch"},"body":"This is some work to get tighter control of `Interval{Float64}`. It involves work in `make_interval`, in order to get as tight as possible intervals when `@interval(a)` is used. It also includes some handling of `@round`, and work to get the correct behavior of the arithmetic operations and the elementary function."},"comment":{"url":"https://api.github.com/repos/dpsanders/ValidatedNumerics.jl/issues/comments/141743314","html_url":"https://github.com/dpsanders/ValidatedNumerics.jl/pull/56#issuecomment-141743314","issue_url":"https://api.github.com/repos/dpsanders/ValidatedNumerics.jl/issues/56","id":141743314,"user":{"login":"lbenet","id":5237744,"avatar_url":"https://avatars.githubusercontent.com/u/5237744?v=3","gravatar_id":"","url":"https://api.github.com/users/lbenet","html_url":"https://github.com/lbenet","followers_url":"https://api.github.com/users/lbenet/followers","following_url":"https://api.github.com/users/lbenet/following{/other_user}","gists_url":"https://api.github.com/users/lbenet/gists{/gist_id}","starred_url":"https://api.github.com/users/lbenet/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/lbenet/subscriptions","organizations_url":"https://api.github.com/users/lbenet/orgs","repos_url":"https://api.github.com/users/lbenet/repos","events_url":"https://api.github.com/users/lbenet/events{/privacy}","received_events_url":"https://api.github.com/users/lbenet/received_events","type":"User","site_admin":false},"created_at":"2015-09-20T03:57:01Z","updated_at":"2015-09-20T03:57:01Z","body":"The simple idea is to get the tightest possible interval for `@interval(a)` and the other related macros. \r\n\r\nThe subtle thing, which we will need to discuss (but not now), is `make_interval(Float64,x::Irrational)`, since we use `BigFloats` to get the correct thing, and this is precision dependent. I decided to construct it with 53-bits `BigFloat`s, but that has consequences in `interval_parameters`, which I haven't been able to solve.\r\n\r\nIn my machine tests pass correctly... I'll check this tomorrow."}}