Doesn't always consider equal matrices equal
Closed this issue · 1 comments
jyrimatti commented
Equality check doesn't seem to recognize a matrix created with subMatrix to be equal to another matrix created in another way. Forcing fixes the issue.
import Data.Matrix.Unboxed
mat = fromLists [[1]] :: Matrix Int
submat = subMatrix (0,0) (0,0) (fromLists [[1,2],[3,4]]) :: Matrix Int
mat == submat
-- False
mat == force submat
-- True