Fix the type of zip2 to be more general.

[numerical-analysis.git] / src / Linear / Matrix.hs

diff --git a/src/Linear/Matrix.hs b/src/Linear/Matrix.hs
index 90a97b2c0b3387fd1ae896ab5b5c607f860058dc..82665578cf037def7c04ef223a8b6e350ad9232f 100644 (file)
--- a/src/Linear/Matrix.hs
+++ b/src/Linear/Matrix.hs
@@ -583,8 +583,8 @@ instance (Absolute.C a,
           Algebraic.C a,
           ToRational.C a,
           Arity m)
-         => Normed (Mat (S m) N1 a) where
-  -- | Generic p-norms for vectors in R^n that are represented as nx1
+         => Normed (Col (S m) a) where
+  -- | Generic p-norms for vectors in R^n that are represented as n-by-1
   --   matrices.
   --
   --   Examples:
@@ -856,7 +856,7 @@ trace matrix =
 --   >>> zip2 m1 m2
 --   (((1,1),(2,1)),((3,1),(4,1)))
 --
-zip2 :: (Arity m, Arity n) => Mat m n a -> Mat m n a -> Mat m n (a,a)
+zip2 :: (Arity m, Arity n) => Mat m n a -> Mat m n b -> Mat m n (a,b)
 zip2 m1 m2 =
   construct lambda
   where