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.