import Data.List (intercalate)
import Data.Vector.Fixed (
+ (!),
N1,
N2,
N3,
zipWith
)
import Data.Vector.Fixed.Boxed (Vec)
-import Data.Vector.Fixed.Internal (Arity, arity)
+import Data.Vector.Fixed.Internal.Arity (Arity, arity)
import Linear.Vector
import Normed
instance (Algebraic.C a,
ToRational.C a,
- Arity m,
- Arity n)
- => Normed (Mat (S m) (S n) a) where
+ Arity m)
+ => Normed (Mat (S m) N1 a) where
-- | Generic p-norms. The usual norm in R^n is (norm_p 2). We treat
-- all matrices as big vectors.
--