dpsanders/ValidatedNumerics.jl — pull request #2 by dpsanders (2014-09-22 21:23:25+00:00)
Title: 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)`