1 files changed, 0 insertions, 72 deletions
diff --git a/packages/base/src/Numeric/Complex.hs b/packages/base/src/Numeric/Complex.hs
deleted file mode 100644
index d194af3..0000000
--- a/packages/base/src/Numeric/Complex.hs
+++ /dev/null
@@ -1,72 +0,0 @@
-{-# LANGUAGE DataKinds #-}
-{-# LANGUAGE KindSignatures #-}
-{-# LANGUAGE GeneralizedNewtypeDeriving #-}
-{-# LANGUAGE MultiParamTypeClasses #-}
-{-# LANGUAGE FunctionalDependencies #-}
-{-# LANGUAGE FlexibleContexts #-}
-{-# LANGUAGE ScopedTypeVariables #-}
-{-# LANGUAGE EmptyDataDecls #-}
-{-# LANGUAGE Rank2Types #-}
-{-# LANGUAGE FlexibleInstances #-}
-{-# LANGUAGE TypeOperators #-}
-{-# LANGUAGE ViewPatterns #-}
-{-# LANGUAGE GADTs #-}
-{- |
-Module      :  Numeric.HMatrix.Static.Complex
-Copyright   :  (c) Alberto Ruiz 2006-14
-License     :  BSD3
-Stability   :  experimental
-}
-module Numeric.Complex(
-    C, M,
-    vec2, vec3, vec4, (&), (#),
-    vect,
-    Her, her, 𝑖,
-) where
-import GHC.TypeLits
-import Numeric.LinearAlgebra.Util(ℂ,iC)
-import qualified Numeric.LinearAlgebra.HMatrix as LA
-import Numeric.LinearAlgebra.Static
-𝑖 :: Sized ℂ s c => s
-𝑖 = konst iC
-newtype Her n = Her (M n n)
-her :: KnownNat n => M n n -> Her n
-her m = Her $ (m + LA.tr m)/2
-infixl 4 &
-(&) :: forall n . KnownNat n
-    => C n -> ℂ -> C (n+1)
-u & x = u # (mkC (LA.scalar x) :: C 1)
-infixl 4 #
-(#) :: forall n m . (KnownNat n, KnownNat m)
-    => C n -> C m -> C (n+m)
-(C u) # (C v) = C (vconcat u v)
-vec2 :: ℂ -> ℂ -> C 2
-vec2 a b = C (gvec2 a b)
-vec3 :: ℂ -> ℂ -> ℂ -> C 3
-vec3 a b c = C (gvec3 a b c)
-vec4 :: ℂ -> ℂ -> ℂ -> ℂ -> C 4
-vec4 a b c d = C (gvec4 a b c d)
-vect :: forall n . KnownNat n => [ℂ] -> C n
-vect xs = C (gvect "C" xs)

diff --git a/packages/base/src/Numeric/Complex.hs b/packages/base/src/Numeric/Complex.hs deleted file mode 100644 index d194af3..0000000 --- a/packages/base/src/Numeric/Complex.hs +++ /dev/null
@@ -1,72 +0,0 @@
1	{-# LANGUAGE DataKinds #-}
2	{-# LANGUAGE KindSignatures #-}
3	{-# LANGUAGE GeneralizedNewtypeDeriving #-}
4	{-# LANGUAGE MultiParamTypeClasses #-}
5	{-# LANGUAGE FunctionalDependencies #-}
6	{-# LANGUAGE FlexibleContexts #-}
7	{-# LANGUAGE ScopedTypeVariables #-}
8	{-# LANGUAGE EmptyDataDecls #-}
9	{-# LANGUAGE Rank2Types #-}
10	{-# LANGUAGE FlexibleInstances #-}
11	{-# LANGUAGE TypeOperators #-}
12	{-# LANGUAGE ViewPatterns #-}
13	{-# LANGUAGE GADTs #-}
14
15
16	{- \|
17	Module : Numeric.HMatrix.Static.Complex
18	Copyright : (c) Alberto Ruiz 2006-14
19	License : BSD3
20	Stability : experimental
21
22	-}
23
24	module Numeric.Complex(
25	C, M,
26	vec2, vec3, vec4, (&), (#),
27	vect,
28	Her, her, 𝑖,
29	) where
30
31	import GHC.TypeLits
32	import Numeric.LinearAlgebra.Util(ℂ,iC)
33	import qualified Numeric.LinearAlgebra.HMatrix as LA
34	import Numeric.LinearAlgebra.Static
35
36
37	𝑖 :: Sized ℂ s c => s
38	𝑖 = konst iC
39
40	newtype Her n = Her (M n n)
41
42	her :: KnownNat n => M n n -> Her n
43	her m = Her $ (m + LA.tr m)/2
44
45
46
47
48	infixl 4 &
49	(&) :: forall n . KnownNat n
50	=> C n -> ℂ -> C (n+1)
51	u & x = u # (mkC (LA.scalar x) :: C 1)
52
53	infixl 4 #
54	(#) :: forall n m . (KnownNat n, KnownNat m)
55	=> C n -> C m -> C (n+m)
56	(C u) # (C v) = C (vconcat u v)
57
58
59
60	vec2 :: ℂ -> ℂ -> C 2
61	vec2 a b = C (gvec2 a b)
62
63	vec3 :: ℂ -> ℂ -> ℂ -> C 3
64	vec3 a b c = C (gvec3 a b c)
65
66
67	vec4 :: ℂ -> ℂ -> ℂ -> ℂ -> C 4
68	vec4 a b c d = C (gvec4 a b c d)
69
70	vect :: forall n . KnownNat n => [ℂ] -> C n
71	vect xs = C (gvect "C" xs)
72