David P. Sanders
David P. Sanders
I think a solution to this is to make a submodule `IntervalArithmetic.Symbols` or `IntervalArithmetic.Special` (or whatever) that exports `∞` and `..`, and not export them by default, even though that...
cc @yashrajgupta
Thanks for this @timholy, and apologies for the delay. We had made a deliberate choice near the start of writing the package not to support intervals of integers, but if...
@timholy: I think `bigequiv(x)` is the same as `big(float(x))` so I don't think we need to export that function?
I think that the original point is valid though - the result should be an Interval contiaing 1//10.
As it is for pi, for example.
I think it should call `sqrt(float(x)) `
That's not quite true: ``` julia> DecoratedInterval{Rational{Int}}(Interval(1//1, 2//2), com) [1//1, 1//1] ``` Rather, it's a constructor issue I believe.
To fix this we would have to do all parsing via BigFloat, which may be very slow.
``` julia> x = parse(Interval{BigFloat}, "1e-400") [0, 0]₂₅₆ ``` There is also an error here!