+ implementation of example06 in interval arithmetic
+ TODO: bugs to fix