From cc6e96512831fd319a185b1f5ef513a19b69c853 Mon Sep 17 00:00:00 2001 From: Michael Orlitzky Date: Fri, 7 Dec 2018 10:08:54 -0500 Subject: [PATCH] src/Linear/Matrix.hs: define "one" in the ring of matrices. --- src/Linear/Matrix.hs | 1 + 1 file changed, 1 insertion(+) 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 -- 2.43.2