Interval macro

This introduces the macro `@make_interval`

The user types arbitrary code and a correct bounding interval is created, e.g.

`@make_interval((2.1-pi)*(2.1+pi), pi*pi)`


It's a good question.

I construct two small (not necessarily "thin" in a technical sense)
intervals, one for each expression, which bound their respective arguments
rigorously above and below.

The complete interval needs to be the hull of those two intervals.


On Mon, Sep 29, 2014 at 6:42 PM, Luis Benet <notifications@github.com>
wrote:

> In src/Intervals.jl:
>
> >      end
> > +
> > +    return :(hull($expr1, $expr2))
>
> Naïve question: why do you have to rely on hull? Can't you call Interval
> directly?
>
> —
> Reply to this email directly or view it on GitHub
> <https://github.com/dpsanders/ValidatedNumerics.jl/pull/2/files#r18191417>
> .
>



-- 
Dr. David P. Sanders

Profesor Titular "A" / Associate Professor
Departamento de Física, Facultad de Ciencias
Universidad Nacional Autónoma de México (UNAM)

dpsanders@gmail.com
http://sistemas.fciencias.unam.mx/~dsanders

Cubículo / office: #414, 4o. piso del Depto. de Física

Tel.: +52 55 5622 4965