X-Git-Url: http://gitweb.michael.orlitzky.com/?p=numerical-analysis.git;a=blobdiff_plain;f=src%2FLinear%2FMatrix.hs;fp=src%2FLinear%2FMatrix.hs;h=2d7347230b71281a8ec4562b67e160958e1baf7e;hp=e8d7180fbc7717ef93ce3eb30ff55332aeef31b5;hb=cc6e96512831fd319a185b1f5ef513a19b69c853;hpb=3274b18a2fb48f26e6582d9dcee11b4067230911 diff --git a/src/Linear/Matrix.hs b/src/Linear/Matrix.hs index e8d7180..2d73472 100644 --- a/src/Linear/Matrix.hs +++ b/src/Linear/Matrix.hs @@ -604,6 +604,7 @@ instance (Ring.C a, Arity m, Arity n) => Additive.C (Mat m n a) where instance (Ring.C a, Arity m, Arity n, m ~ n) => Ring.C (Mat (S m) (S n) a) where -- The first * is ring multiplication, the second is matrix -- multiplication. + one = identity_matrix m1 * m2 = m1 * m2