On Tue, Sep 30, 2014 at 7:27 PM, Stefan Karpinski <[email protected]> wrote:
> We may actually end up using that for "real" field access and allowing a.b > to be overloaded, so it may be ill advised to use a..b. I think that a ± b > should be safe though. > OK, good to know, thanks; I'll hold off for now, then. > > On Tue, Sep 30, 2014 at 8:21 PM, David P. Sanders <[email protected]> > wrote: > >> >> >> El martes, 30 de septiembre de 2014 19:11:56 UTC-5, Stefan Karpinski >> escribió: >>> >>> This is super cool. >>> >> >> Glad you like it! :) >> I have to get round to adding the cute `..` syntax from your notebook >> (which is great, by the way! And probably still mineable for more useful >> tidbits) >> >> >>> >>> On Tue, Sep 30, 2014 at 8:01 PM, David P. Sanders <[email protected]> >>> wrote: >>> >>>> >>>> This is an announcement of a preliminary version of >>>> ValidatedNumerics.jl, >>>> a Julia package for performing validated floating-point calculations >>>> via interval arithmetic. >>>> >>>> Currently, the package consists of a pure-Julia implementation of >>>> interval arithmetic. It uses macros extensively to produce intervals that >>>> are rigorously guaranteed to enclose the user's input. These can then be >>>> manipulated using standard arithmetic operations and elementary functions: >>>> >>>> julia> a = @interval(π) >>>> [3.1415926535897931e+00, 3.1415926535897936e+00] with 53 bits of >>>> precision >>>> >>>> julia> b = @interval(0.1+pi, pi^2) >>>> [3.2415926535897928e+00, 9.8696044010893615e+00] with 53 bits of >>>> precision >>>> >>>> julia> a * b >>>> [1.0183763666448336e+01, 3.1006276680299834e+01] with 53 bits of >>>> precision >>>> >>>> julia> exp(a-b) >>>> [1.196910353930426e-03, 9.0483741803596041e-01] with 53 bits of >>>> precision >>>> >>>> Further examples are given in the README at >>>> >>>> https://github.com/dpsanders/ValidatedNumerics.jl >>>> >>>> Functionality building on top of this base, such as root-finding >>>> methods, are currently in active development. A comparison and/or tests >>>> with the MPFI.jl wrapper around the MPFI interval library is also planned. >>>> >>>> Suggestions and contributions are warmly welcomed. >>>> >>>> The authors of the package are Luis Benet and David P. Sanders. >>>> >>> >>> > -- Dr. David P. Sanders Profesor Titular "A" / Associate Professor Departamento de Física, Facultad de Ciencias Universidad Nacional Autónoma de México (UNAM) [email protected] http://sistemas.fciencias.unam.mx/~dsanders Cubículo / office: #414, 4o. piso del Depto. de Física Tel.: +52 55 5622 4965
