Mincing interval matrices

[mforets]

Given an interval matrix M compute an array M1, ..., Mk of interval matrices such that their union covers M but the diameter of each Mi is smaller than M.

[mforets]

A simple way to implement this method is to use IntervalArithmetic.mince for interval boxes (just think of the IntervalMatrix as an interval box in dimension m x n ). It would be nice to do the mincing with an iterator. but that's not yet available in IA.

[lucaferranti]

I think there's an issue about mincing returning an iterator in IA