Renaming (cont.)

[mforets]

This is a continuation of #12, with the necessary changes such that the tests pass. In particular,

• Added the method range(::AffineArithmetic) (which arguably can be used instead of interval, or the other way round),
• Overloaded the functions eltype, zero and one for elements of type Affine.
• Updated the project file with dependency upper bounds (useful for a future registration of this package).

Also, I saw that some of the range bounds improved, see the tests "Small powers and range".

[mforets]

Regarding the example in #14, i get

julia> Affine(-1..1) + Affine(2020.0) + (Affine(1e23) - Affine(1e23))
affine=⟨2020.0; [1.0]; [0, 0]⟩; range=[2019, 2021]

julia> Affine(-1..1) + Affine(2020.0) + Affine(1e23) - Affine(1e23)
affine=⟨0.0; [1.0]; [0, 0]⟩; range=[0, 1]

Not sure why..

[dpsanders]

Thanks a lot for doing this @mforets!

The reason it's still failing is that even with the changes in this PR, the method is still not actually rigorously bounding all errors. Basically we need to go through and make everything into an interval internally to do this.

In this example we are still seeing the usual problems with floating-point numbers that differ by too many orders of magnitude.

[dpsanders]

I think we should just go ahead and merge this. Do you agree @mforets? If so, please feel free!

[mforets]

Basically we need to go through and make everything into an interval internally to do this.

Got it. I agree to do this in a follow up PR; this one already contains many changes :)

I think we should just go ahead and merge this.

I don't have rights to merge, but i agree!

[dpsanders]

Thanks!