Spec test until matrix product
Spec test DenseMatrix