public static String printInterval(final Interval interval) {
String out = "(Interval empty)";
if (interval == null || interval.numDimensions() == 0) return out;
out = "[" + interval.min(0);
for (int i = 1; i < interval.numDimensions(); i++) out += ", " + interval.min(i);
out += "] -> [" + interval.max(0);
for (int i = 1; i < interval.numDimensions(); i++) out += ", " + interval.max(i);
out += "], dimensions (" + interval.dimension(0);
for (int i = 1; i < interval.numDimensions(); i++) out += ", " + interval.dimension(i);
out += ")";
return out;
}
