X-Git-Url: http://gitweb.michael.orlitzky.com/?p=numerical-analysis.git;a=blobdiff_plain;f=src%2FLinear%2FMatrix.hs;h=82665578cf037def7c04ef223a8b6e350ad9232f;hp=90a97b2c0b3387fd1ae896ab5b5c607f860058dc;hb=ca021dad591f47dbe1581c19c4ae4bf1fee821b9;hpb=1e50b14bbdb48fbb63c487c66f5594fa20d58350

diff --git a/src/Linear/Matrix.hs b/src/Linear/Matrix.hs
index 90a97b2..8266557 100644
--- 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