expression type of dense and sparse operation

[yuewu001]

suppose a is dense, b is sparse a+b should be dense a-b should be dense a*b should be sparse a/b should be sparse