# MAiNGO subinterval arithmetic
Subinterval arithmetic for MAiNGO lower bounding.

