{"comment":{"url":"https://api.github.com/repos/dpsanders/ValidatedNumerics.jl/comments/11188636","html_url":"https://github.com/dpsanders/ValidatedNumerics.jl/commit/944d7ff953bee1c132c3d20d28db63480293189c#commitcomment-11188636","id":11188636,"user":{"login":"dpsanders","id":191822,"avatar_url":"https://avatars.githubusercontent.com/u/191822?v=3","gravatar_id":"","url":"https://api.github.com/users/dpsanders","html_url":"https://github.com/dpsanders","followers_url":"https://api.github.com/users/dpsanders/followers","following_url":"https://api.github.com/users/dpsanders/following{/other_user}","gists_url":"https://api.github.com/users/dpsanders/gists{/gist_id}","starred_url":"https://api.github.com/users/dpsanders/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/dpsanders/subscriptions","organizations_url":"https://api.github.com/users/dpsanders/orgs","repos_url":"https://api.github.com/users/dpsanders/repos","events_url":"https://api.github.com/users/dpsanders/events{/privacy}","received_events_url":"https://api.github.com/users/dpsanders/received_events","type":"User","site_admin":false},"position":16,"line":13,"path":"src/root_finding/krawczyk.jl","commit_id":"944d7ff953bee1c132c3d20d28db63480293189c","created_at":"2015-05-14T01:37:36Z","updated_at":"2015-05-14T01:37:36Z","body":"I don't think performance will be any different, since these will presumably all be compiled into the same code in the end. In any case, it could be replaced by `inv(f_prime(m))` if you like.\r\n\r\nBy the way, we should probably rewrite division of intervals so that it is no longer implemented as `a * inv(b)`.\r\n"}}