Thread Subject: Why is sparse * 3D full array allowed?

I noticed that if a sparse matrix is multiplied by a full nD matrix that can be squeezed to a 2D matrix, the multiplication takes place by doing the squeeze. But the same calculation for a full matrix is not allowed. Anybody know why this behavior should be different for sparse vs full? Seems like it should work the same both ways, either both allow it or both not allow it. e.g.,

>> A = sprand(10,10,.1)
A =
   (7,1) 0.5940
     : :
   (6,10) 0.6831
>> B = rand(10,1,3)
B(:,:,1) =
    0.9147
        :
B(:,:,2) =
    0.1615
        :
B(:,:,3) =
    0.4279
        :
>> A*B
ans =
    0.1185 0.0032 0.0492
    0.1139 0.0031 0.0473
         0 0 0
    0.0338 0.0261 0.0550
    0.9378 0.7062 0.5906
    0.2056 0.4609 0.1696
    0.5433 0.0959 0.2542
    0.2788 0.2448 0.1858
         0 0 0
    0.4363 0.0469 0.2382
>> full(A)*B
??? Error using ==> mtimes
Input arguments must be 2-D.
>> full(A)*squeeze(B)
ans =
    0.1185 0.0032 0.0492
    0.1139 0.0031 0.0473
         0 0 0
    0.0338 0.0261 0.0550
    0.9378 0.7062 0.5906
    0.2056 0.4609 0.1696
    0.5433 0.0959 0.2542
    0.2788 0.2448 0.1858
         0 0 0
    0.4363 0.0469 0.2382

James Tursa

"James Tursa" <aclassyguy_with_a_k_not_a_c@hotmail.com> wrote in message <hb948j$28q$1@fred.mathworks.com>...
> I noticed that if a sparse matrix is multiplied by a full nD matrix that can be squeezed to a 2D matrix, the multiplication takes place by doing the squeeze.

To be more precise, the right (multi-dimensional) array F will be reshaped as
F = reshape(F, size(F,1), [])
before the product S*F takes place.

The same reshaped is carried out with left product full/sparse. F*S is done as following:

F = reshape(F, size(F,1), []) * S

Bruno

Should read:

> P = reshape(F, size(F,1), []) * S

Bruno

Dear James!

> I noticed that if a sparse matrix is multiplied by a full nD matrix that can be squeezed to a 2D matrix, the multiplication takes place by doing the squeeze. But the same calculation for a full matrix is not allowed. Anybody know why this behavior should be different for sparse vs full? Seems like it should work the same both ways, either both allow it or both not allow it.

There is no reason why a multiplication of SPARSE matrices should accept not matching dimensions! This is mathematically wrong.
  x = rand(2, 3); y = rand(3, 1, 4);
  x * y => error
  sparse(x) * y => works
One could argument, that this behaviour should be valid for FULL arrays also.
But as Bruno pointed out, even worse:
  x = rand(2, 3); y = rand(3, 2, 2);
  sparse(x) * y => works: ans = full [3 x 4] array
  sparse(x) * sparse(y) => error

It looks like The MathWorks uses mxGetM and mxGetN to check the dimensions for the multiplication of SPARSE and FULL arrays. For FULL*FULL and SPARSE*SPARSE the complete check of mxGetDimensions is performed.

This bug was present since at least Matlab 5.3 (I've removed Matlab 4 for unknown reasons). In my opinion it is worth to break with the backward compatibility here...

Jan

"Jan Simon" <matlab.THIS_YEAR@nMINUSsimon.de> wrote in message
news:hb99j6$rje$1@fred.mathworks.com...
> Dear James!
>
>> I noticed that if a sparse matrix is multiplied by a full nD matrix that
>> can be squeezed to a 2D matrix, the multiplication takes place by doing
>> the squeeze. But the same calculation for a full matrix is not allowed.
>> Anybody know why this behavior should be different for sparse vs full?
>> Seems like it should work the same both ways, either both allow it or
>> both not allow it.
>
> There is no reason why a multiplication of SPARSE matrices should accept
> not matching dimensions! This is mathematically wrong.
> x = rand(2, 3); y = rand(3, 1, 4);
> x * y => error
> sparse(x) * y => works
> One could argument, that this behaviour should be valid for FULL arrays
> also.
> But as Bruno pointed out, even worse:
> x = rand(2, 3); y = rand(3, 2, 2);
> sparse(x) * y => works: ans = full [3 x 4] array
> sparse(x) * sparse(y) => error
>
> It looks like The MathWorks uses mxGetM and mxGetN to check the dimensions
> for the multiplication of SPARSE and FULL arrays. For FULL*FULL and
> SPARSE*SPARSE the complete check of mxGetDimensions is performed.
>
> This bug was present since at least Matlab 5.3 (I've removed Matlab 4 for
> unknown reasons). In my opinion it is worth to break with the backward
> compatibility here...

Yes, the fact that attempting to perform matrix multiplication with a full
n-D array and a sparse matrix does not error is a bug. Thanks to James for
calling this out. I've reported it to our development staff.

--
Steve Lord
slord@mathworks.com
comp.soft-sys.matlab (CSSM) FAQ: http://matlabwiki.mathworks.com/MATLAB_FAQ

"Bruno Luong" <b.luong@fogale.findmycountry> wrote in message <hb96n9$5og$1@fred.mathworks.com>...
> "James Tursa" <aclassyguy_with_a_k_not_a_c@hotmail.com> wrote in message <hb948j$28q$1@fred.mathworks.com>...
> > I noticed that if a sparse matrix is multiplied by a full nD matrix that can be squeezed to a 2D matrix, the multiplication takes place by doing the squeeze.
>
> To be more precise, the right (multi-dimensional) array F will be reshaped as
> F = reshape(F, size(F,1), [])
> before the product S*F takes place.
>
> The same reshaped is carried out with left product full/sparse. F*S is done as following:
>
> F = reshape(F, size(F,1), []) * S
>
> Bruno

Thanks for the correction. It looked like a squeeze last night but I now realize it was just my screen display wrapping around.

James Tursa