Some work towards sqrt for IntPoly (in addition to Interval IntPoly
which we already have).
A mini program to compute a bound for an expression in a Flyspeck
inequality communicated by Victor Magron at ICMS 2014.
Hide a folder with interim plots.