Method on @infsup: mtimes (X, Y)

Method on @infsup: mtimes (X, Y, ACCURACY)

Operator on @infsup: X * Y

Compute the interval matrix multiplication.

The ACCURACY can be set to tight (default) or valid. With valid accuracy an algorithm for fast matrix multiplication based on BLAS routines is used. The latter is published by Siegried M. Rump (2012), “Fast interval matrix multiplication,” Numerical Algorithms 61(1), 1-34.

Accuracy: The result is a tight enclosure.

x = infsup ([1, 2; 7, 15], [2, 2; 7.5, 15]);
y = infsup ([3, 3; 0, 1], [3, 3.25; 0, 2]);
x * y
  ⇒ ans = 2×2 interval matrix
         [3, 6]      [5, 10.5]
     [21, 22.5]   [36, 54.375]

See also: @infsup/mrdivide.

Package: interval