This type is a new type of List, and it works as a matrix with interval entries.
The function intervalMatrix can be used to access this type.
i1 : m = intervalMatrix {{interval(1,2), interval(2,3)},{interval(3,4),interval(1,3)}} o1 = {{[1, 2], [2, 3]}, {[3, 4], [1, 3]}} o1 : IntervalMatrix |
NumericalCertification supports the multiplication of interval matrices.
i2 : n = intervalMatrix {{interval(1,2), interval(.2,.5)},{interval(2,3),interval(-2,-1)}}; |
i3 : m*n o3 = {{[5, 13], [-5.8, -1]}, {[5, 17], [-5.4, 1]}} o3 : IntervalMatrix |
The object IntervalMatrix is a type, with ancestor classes List < VisibleList < BasicList < Thing.