lapack 0.5.0.1 → 0.5.0.2

raw patch · 42 files changed

+62/−27 lines, 42 filesdep ~data-ref

Dependency ranges changed: data-ref

Files

lapack.cabal +2/−2
src/Numeric/LAPACK/Linear/Plain.hs +1/−0
src/Numeric/LAPACK/Matrix/Array/Basic.hs +1/−0
src/Numeric/LAPACK/Matrix/Array/Indexed.hs +1/−0
src/Numeric/LAPACK/Matrix/Array/Mosaic.hs +1/−0
src/Numeric/LAPACK/Matrix/Array/Multiply.hs +1/−1
src/Numeric/LAPACK/Matrix/Array/Private.hs +5/−4
src/Numeric/LAPACK/Matrix/BandedHermitian/Eigen.hs +1/−0
src/Numeric/LAPACK/Matrix/BandedHermitianPositiveDefinite/Linear.hs +1/−0
src/Numeric/LAPACK/Matrix/Block/Private.hs +1/−0
src/Numeric/LAPACK/Matrix/Class.hs +1/−0
src/Numeric/LAPACK/Matrix/Divide.hs +1/−0
src/Numeric/LAPACK/Matrix/Extent/Private.hs +2/−2
src/Numeric/LAPACK/Matrix/Extent/Strict.hs +1/−0
src/Numeric/LAPACK/Matrix/Function.hs +1/−0
src/Numeric/LAPACK/Matrix/Hermitian/Eigen.hs +1/−0
src/Numeric/LAPACK/Matrix/Hermitian/Linear.hs +1/−0
src/Numeric/LAPACK/Matrix/HermitianPositiveDefinite/Linear.hs +1/−0
src/Numeric/LAPACK/Matrix/Mosaic/Private.hs +2/−2
src/Numeric/LAPACK/Matrix/Multiply.hs +1/−0
src/Numeric/LAPACK/Matrix/Plain/Class.hs +1/−0
src/Numeric/LAPACK/Matrix/RowMajor.hs +1/−0
src/Numeric/LAPACK/Matrix/Square/Eigen.hs +1/−0
src/Numeric/LAPACK/Matrix/Superscript.hs +1/−0
src/Numeric/LAPACK/Matrix/Triangular.hs +2/−2
src/Numeric/LAPACK/Matrix/Type/Private.hs +1/−0
src/Numeric/LAPACK/Matrix/Wrapper.hs +1/−0
src/Numeric/LAPACK/Orthogonal/Plain.hs +1/−0
src/Numeric/LAPACK/Permutation/Private.hs +1/−0
src/Numeric/LAPACK/Scalar.hs +1/−0
src/Numeric/LAPACK/Singular/Plain.hs +1/−0
test/DocTest/Numeric/LAPACK/Permutation/Private.hs +11/−11
test/Main.hs +1/−0
test/Test/Divide.hs +1/−0
test/Test/Function.hs +1/−0
test/Test/Generic.hs +1/−0
test/Test/LowerUpper.hs +1/−0
test/Test/Multiply.hs +1/−0
test/Test/Singular.hs +1/−0
test/Test/Square.hs +1/−0
test/Test/Utility.hs +3/−3
test/Test/Vector.hs +1/−0

lapack.cabal view

@@ -1,6 +1,6 @@ Cabal-Version:    2.2 Name:             lapack-Version:          0.5.0.1+Version:          0.5.0.2 License:          BSD-3-Clause License-File:     LICENSE Author:           Henning Thielemann <haskell@henning-thielemann.de>@@ -53,7 +53,7 @@   test-module.list  Source-Repository this-  Tag:         0.5.0.1+  Tag:         0.5.0.2   Type:        darcs   Location:    https://hub.darcs.net/thielema/lapack/

src/Numeric/LAPACK/Linear/Plain.hs view

@@ -1,4 +1,5 @@ {-# LANGUAGE TypeFamilies #-}+{-# LANGUAGE TypeOperators #-} {-# LANGUAGE GADTs #-} {-# LANGUAGE EmptyDataDecls #-} {-# LANGUAGE MultiParamTypeClasses #-}

src/Numeric/LAPACK/Matrix/Array/Basic.hs view

@@ -1,4 +1,5 @@ {-# LANGUAGE GADTs #-}+{-# LANGUAGE TypeOperators #-} module Numeric.LAPACK.Matrix.Array.Basic where  import qualified Numeric.LAPACK.Matrix.BandedHermitian.Basic as BandedHermitian

src/Numeric/LAPACK/Matrix/Array/Indexed.hs view

@@ -1,4 +1,5 @@ {-# LANGUAGE TypeFamilies #-}+{-# LANGUAGE TypeOperators #-} {-# LANGUAGE GADTs #-} module Numeric.LAPACK.Matrix.Array.Indexed where

src/Numeric/LAPACK/Matrix/Array/Mosaic.hs view

@@ -1,4 +1,5 @@ {-# LANGUAGE TypeFamilies #-}+{-# LANGUAGE TypeOperators #-} module Numeric.LAPACK.Matrix.Array.Mosaic where  import qualified Numeric.LAPACK.Matrix.Mosaic.Basic as Mosaic

src/Numeric/LAPACK/Matrix/Array/Multiply.hs view

@@ -187,7 +187,7 @@    ArrMatrix.Full meas vert horiz height width a ->    ArrMatrix.Full meas vert horiz height width a transposableSquare trans a =-   ($a) $+   ($ a) $    case ArrMatrix.shape a of       Omni.Hermitian _ -> Hermitian.multiplyFull trans       Omni.BandedHermitian _ -> BandedHermitian.multiplyFull trans

src/Numeric/LAPACK/Matrix/Array/Private.hs view

@@ -1,4 +1,5 @@ {-# LANGUAGE TypeFamilies #-}+{-# LANGUAGE TypeOperators #-} {-# LANGUAGE EmptyDataDecls #-} {-# LANGUAGE MultiParamTypeClasses #-} {-# LANGUAGE GADTs #-}@@ -661,27 +662,27 @@    heightToQuadratic a@(Array _) =       case shape a of          Omni.Full _ ->-            ($a) $ liftUnpacked1 $ Basic.mapExtent $+            ($ a) $ liftUnpacked1 $ Basic.mapExtent $                Extent.square . Extent.height          Omni.UpperTriangular _ -> a          Omni.LowerTriangular _ -> a          Omni.Symmetric _ -> a          Omni.Hermitian _ -> a          Omni.Banded _ ->-            ($a) $ lift1 $ Banded.mapExtentSizes $ Extent.square . Extent.height+            ($ a) $ lift1 $ Banded.mapExtentSizes $ Extent.square . Extent.height          Omni.UnitBandedTriangular _ -> a          Omni.BandedHermitian _ -> a    widthToQuadratic a@(Array _) =       case shape a of          Omni.Full _ ->-            ($a) $ liftUnpacked1 $ Basic.mapExtent $+            ($ a) $ liftUnpacked1 $ Basic.mapExtent $                Extent.square . Extent.width          Omni.UpperTriangular _ -> a          Omni.LowerTriangular _ -> a          Omni.Symmetric _ -> a          Omni.Hermitian _ -> a          Omni.Banded _ ->-            ($a) $ lift1 $ Banded.mapExtentSizes $ Extent.square . Extent.width+            ($ a) $ lift1 $ Banded.mapExtentSizes $ Extent.square . Extent.width          Omni.UnitBandedTriangular _ -> a          Omni.BandedHermitian _ -> a

src/Numeric/LAPACK/Matrix/BandedHermitian/Eigen.hs view

@@ -1,4 +1,5 @@ {-# LANGUAGE TypeFamilies #-}+{-# LANGUAGE TypeOperators #-} module Numeric.LAPACK.Matrix.BandedHermitian.Eigen (    values,    decompose,

src/Numeric/LAPACK/Matrix/BandedHermitianPositiveDefinite/Linear.hs view

@@ -1,4 +1,5 @@ {-# LANGUAGE TypeFamilies #-}+{-# LANGUAGE TypeOperators #-} module Numeric.LAPACK.Matrix.BandedHermitianPositiveDefinite.Linear (    solve,    solveDecomposed,

src/Numeric/LAPACK/Matrix/Block/Private.hs view

@@ -3,6 +3,7 @@ {-# LANGUAGE GADTs #-} {-# LANGUAGE EmptyDataDecls #-} {-# LANGUAGE FlexibleInstances #-}+{-# LANGUAGE FlexibleContexts #-} {-# LANGUAGE ConstraintKinds #-} {-# LANGUAGE UndecidableInstances #-} {-# LANGUAGE MultiParamTypeClasses #-}

src/Numeric/LAPACK/Matrix/Class.hs view

@@ -1,4 +1,5 @@ {-# LANGUAGE TypeFamilies #-}+{-# LANGUAGE TypeOperators #-} {-# LANGUAGE ConstraintKinds #-} {-# LANGUAGE GADTs #-} module Numeric.LAPACK.Matrix.Class (

src/Numeric/LAPACK/Matrix/Divide.hs view

@@ -1,4 +1,5 @@ {-# LANGUAGE TypeFamilies #-}+{-# LANGUAGE TypeOperators #-} {-# LANGUAGE GADTs #-} {-# LANGUAGE FlexibleInstances #-} {-# LANGUAGE FlexibleContexts #-}

src/Numeric/LAPACK/Matrix/Extent/Private.hs view

@@ -601,7 +601,7 @@  multiplyTagLaw :: TagFact a -> TagFact b -> TagFact (Multiply a b) multiplyTagLaw a@TagFact =-   ($a) $ getMultiplyTagLaw $+   ($ a) $ getMultiplyTagLaw $    switchTag       (MultiplyTagLaw $ flip const)       (MultiplyTagLaw const)@@ -624,7 +624,7 @@ multiplyMeasureLaw ::    MeasureFact a -> MeasureFact b -> MeasureFact (MultiplyMeasure a b) multiplyMeasureLaw a@MeasureFact =-   ($a) $ getMultiplyMeasureLaw $+   ($ a) $ getMultiplyMeasureLaw $    switchMeasure       (MultiplyMeasureLaw $ flip const)       (MultiplyMeasureLaw const)

src/Numeric/LAPACK/Matrix/Extent/Strict.hs view

@@ -1,4 +1,5 @@ {-# LANGUAGE TypeFamilies #-}+{-# LANGUAGE TypeOperators #-} {-# LANGUAGE MultiParamTypeClasses #-} {-# LANGUAGE FlexibleInstances #-} {-# LANGUAGE Rank2Types #-}

src/Numeric/LAPACK/Matrix/Function.hs view

@@ -1,4 +1,5 @@ {-# LANGUAGE TypeFamilies #-}+{-# LANGUAGE TypeOperators #-} {-# LANGUAGE GADTs #-} module Numeric.LAPACK.Matrix.Function (    SqRt, sqrt, sqrtSchur, sqrtDenmanBeavers,

src/Numeric/LAPACK/Matrix/Hermitian/Eigen.hs view

@@ -1,4 +1,5 @@ {-# LANGUAGE TypeFamilies #-}+{-# LANGUAGE TypeOperators #-} {-# LANGUAGE GADTs #-} module Numeric.LAPACK.Matrix.Hermitian.Eigen (    values,

src/Numeric/LAPACK/Matrix/Hermitian/Linear.hs view

@@ -1,4 +1,5 @@ {-# LANGUAGE TypeFamilies #-}+{-# LANGUAGE TypeOperators #-} module Numeric.LAPACK.Matrix.Hermitian.Linear (    determinant,    ) where

src/Numeric/LAPACK/Matrix/HermitianPositiveDefinite/Linear.hs view

@@ -1,4 +1,5 @@ {-# LANGUAGE TypeFamilies #-}+{-# LANGUAGE TypeOperators #-} {-# LANGUAGE GADTs #-} module Numeric.LAPACK.Matrix.HermitianPositiveDefinite.Linear (    solve,

src/Numeric/LAPACK/Matrix/Mosaic/Private.hs view

@@ -387,13 +387,13 @@ infixl 9 $*, $**  ($*) :: Labelled2 r label (a -> f) (a -> g) -> a -> Labelled2 r label f g-Labelled2 f g $* a = Labelled2 (fmap ($a) f) (fmap ($a) g)+Labelled2 f g $* a = Labelled2 (fmap ($ a) f) (fmap ($ a) g)  ($**) ::    Labelled2 r label (a -> f) (a -> Ptr CInt -> g) ->    (a,Int) -> Labelled2 r label f g Labelled2 f (Labelled lab g) $** (a,n) =-   Labelled2 (fmap ($a) f) (Labelled lab $ fmap ($a) g <*> Call.leadingDim n)+   Labelled2 (fmap ($ a) f) (Labelled lab $ fmap ($ a) g <*> Call.leadingDim n)   runPacking ::

src/Numeric/LAPACK/Matrix/Multiply.hs view

@@ -1,4 +1,5 @@ {-# LANGUAGE TypeFamilies #-}+{-# LANGUAGE TypeOperators #-} {-# LANGUAGE MultiParamTypeClasses #-} {-# LANGUAGE UndecidableInstances #-} {-# LANGUAGE FlexibleInstances #-}

src/Numeric/LAPACK/Matrix/Plain/Class.hs view

@@ -1,4 +1,5 @@ {-# LANGUAGE GADTs #-}+{-# LANGUAGE TypeOperators #-} module Numeric.LAPACK.Matrix.Plain.Class (    check,    -- for testing

src/Numeric/LAPACK/Matrix/RowMajor.hs view

@@ -1,4 +1,5 @@ {-# LANGUAGE TypeFamilies #-}+{-# LANGUAGE TypeOperators #-} module Numeric.LAPACK.Matrix.RowMajor where  import qualified Numeric.LAPACK.Matrix.Layout.Private as Layout

src/Numeric/LAPACK/Matrix/Square/Eigen.hs view

@@ -1,4 +1,5 @@ {-# LANGUAGE TypeFamilies #-}+{-# LANGUAGE TypeOperators #-} module Numeric.LAPACK.Matrix.Square.Eigen (    values,    schur,

src/Numeric/LAPACK/Matrix/Superscript.hs view

@@ -1,4 +1,5 @@ {-# LANGUAGE TypeFamilies #-}+{-# LANGUAGE TypeOperators #-} {-# LANGUAGE GADTs #-} {-# LANGUAGE ConstraintKinds #-} {-# LANGUAGE EmptyDataDecls #-}

src/Numeric/LAPACK/Matrix/Triangular.hs view

@@ -315,7 +315,7 @@ stackLower a0 =    case packTag a0 of       Layout.Packed -> ArrMatrix.lift3 Packed.stackLower a0-      Layout.Unpacked -> ($a0) $+      Layout.Unpacked -> ($ a0) $          ArrMatrix.liftUnpacked3 $ \a b c ->             FullBasic.stackMosaic                a (Vector.zero $ Layout.inverse $ Array.shape b)@@ -339,7 +339,7 @@ stackUpper a0 =    case packTag a0 of       Layout.Packed -> ArrMatrix.lift3 Packed.stackUpper a0-      Layout.Unpacked -> ($a0) $+      Layout.Unpacked -> ($ a0) $          ArrMatrix.liftUnpacked3 $ \a b c ->             FullBasic.stackMosaic a b                (Vector.zero $ Layout.inverse $ Array.shape b) c

src/Numeric/LAPACK/Matrix/Type/Private.hs view

@@ -1,4 +1,5 @@ {-# LANGUAGE TypeFamilies #-}+{-# LANGUAGE TypeOperators #-} {-# LANGUAGE GADTs #-} {-# LANGUAGE EmptyDataDecls #-} {-# LANGUAGE FlexibleInstances #-}

src/Numeric/LAPACK/Matrix/Wrapper.hs view

@@ -1,4 +1,5 @@ {-# LANGUAGE TypeFamilies #-}+{-# LANGUAGE TypeOperators #-} {-# LANGUAGE GADTs #-} {-# LANGUAGE EmptyDataDecls #-} {-# LANGUAGE FlexibleContexts #-}

src/Numeric/LAPACK/Orthogonal/Plain.hs view

@@ -1,4 +1,5 @@ {-# LANGUAGE TypeFamilies #-}+{-# LANGUAGE TypeOperators #-} {-# LANGUAGE GADTs #-} {-# LANGUAGE EmptyDataDecls #-} {-# LANGUAGE MultiParamTypeClasses #-}

src/Numeric/LAPACK/Permutation/Private.hs view

@@ -1,4 +1,5 @@ {-# LANGUAGE TypeFamilies #-}+{-# LANGUAGE TypeOperators #-} module Numeric.LAPACK.Permutation.Private where  import qualified Numeric.LAPACK.Matrix.Layout.Private as Layout

src/Numeric/LAPACK/Scalar.hs view

@@ -1,4 +1,5 @@ {-# LANGUAGE TypeFamilies #-}+{-# LANGUAGE TypeOperators #-} {-# LANGUAGE GADTs #-} module Numeric.LAPACK.Scalar (    RealOf,

src/Numeric/LAPACK/Singular/Plain.hs view

@@ -1,4 +1,5 @@ {-# LANGUAGE TypeFamilies #-}+{-# LANGUAGE TypeOperators #-} module Numeric.LAPACK.Singular.Plain (    values,    valuesTall,

test/DocTest/Numeric/LAPACK/Permutation/Private.hs view

@@ -1,11 +1,11 @@ -- Do not edit! Automatically created with doctest-extract from src/Numeric/LAPACK/Permutation/Private.hs-{-# LINE 47 "src/Numeric/LAPACK/Permutation/Private.hs" #-}+{-# LINE 48 "src/Numeric/LAPACK/Permutation/Private.hs" #-}  module DocTest.Numeric.LAPACK.Permutation.Private where  import qualified Test.DocTest.Driver as DocTest -{-# LINE 48 "src/Numeric/LAPACK/Permutation/Private.hs" #-}+{-# LINE 49 "src/Numeric/LAPACK/Permutation/Private.hs" #-} import     qualified Test.QuickCheck as QC import     Test.Permutation (genPerm, genPivots) @@ -25,18 +25,18 @@  test :: DocTest.T () test = do- DocTest.printPrefix "Numeric.LAPACK.Permutation.Private:109: "-{-# LINE 109 "src/Numeric/LAPACK/Permutation/Private.hs" #-}+ DocTest.printPrefix "Numeric.LAPACK.Permutation.Private:110: "+{-# LINE 110 "src/Numeric/LAPACK/Permutation/Private.hs" #-}  DocTest.property-{-# LINE 109 "src/Numeric/LAPACK/Permutation/Private.hs" #-}+{-# LINE 110 "src/Numeric/LAPACK/Permutation/Private.hs" #-}      (QC.forAll QC.arbitraryBoundedEnum $ \inv -> QC.forAll (QC.arbitrary >>= genPivots) $ \xs -> xs == Perm.toPivots inv (Perm.fromPivots inv xs))- DocTest.printPrefix "Numeric.LAPACK.Permutation.Private:192: "-{-# LINE 192 "src/Numeric/LAPACK/Permutation/Private.hs" #-}+ DocTest.printPrefix "Numeric.LAPACK.Permutation.Private:193: "+{-# LINE 193 "src/Numeric/LAPACK/Permutation/Private.hs" #-}  DocTest.property-{-# LINE 192 "src/Numeric/LAPACK/Permutation/Private.hs" #-}+{-# LINE 193 "src/Numeric/LAPACK/Permutation/Private.hs" #-}      (QC.forAll genPerm2 $ \(p0,p1) -> determinant (multiply p0 p1) == determinant p0 <> determinant p1)- DocTest.printPrefix "Numeric.LAPACK.Permutation.Private:221: "-{-# LINE 221 "src/Numeric/LAPACK/Permutation/Private.hs" #-}+ DocTest.printPrefix "Numeric.LAPACK.Permutation.Private:222: "+{-# LINE 222 "src/Numeric/LAPACK/Permutation/Private.hs" #-}  DocTest.property-{-# LINE 221 "src/Numeric/LAPACK/Permutation/Private.hs" #-}+{-# LINE 222 "src/Numeric/LAPACK/Permutation/Private.hs" #-}      (QC.forAll genPerm2 $ \(p0,p1) -> transpose (multiply p0 p1) == multiply (transpose p1) (transpose p0))

test/Main.hs view

@@ -1,4 +1,5 @@ {-# LANGUAGE TypeFamilies #-}+{-# LANGUAGE TypeOperators #-} module Main where  import qualified Test.Vector as Vector

test/Test/Divide.hs view

@@ -1,4 +1,5 @@ {-# LANGUAGE TypeFamilies #-}+{-# LANGUAGE TypeOperators #-} {-# LANGUAGE GADTs #-} {-# LANGUAGE ConstraintKinds #-} {-# LANGUAGE ExistentialQuantification #-}

test/Test/Function.hs view

@@ -1,4 +1,5 @@ {-# LANGUAGE TypeFamilies #-}+{-# LANGUAGE TypeOperators #-} {-# LANGUAGE ConstraintKinds  #-} {-# LANGUAGE GADTs #-} module Test.Function (testsVar, testsReal) where

test/Test/Generic.hs view

@@ -1,4 +1,5 @@ {-# LANGUAGE TypeFamilies #-}+{-# LANGUAGE TypeOperators #-} {-# LANGUAGE ConstraintKinds #-} module Test.Generic where

test/Test/LowerUpper.hs view

@@ -1,4 +1,5 @@ {-# LANGUAGE TypeFamilies #-}+{-# LANGUAGE TypeOperators #-} module Test.LowerUpper (testsVar) where  import qualified Test.Divide as Divide

test/Test/Multiply.hs view

@@ -1,4 +1,5 @@ {-# LANGUAGE TypeFamilies #-}+{-# LANGUAGE TypeOperators #-} {-# LANGUAGE ConstraintKinds #-} module Test.Multiply (    multiplySquare,

test/Test/Singular.hs view

@@ -1,4 +1,5 @@ {-# LANGUAGE TypeFamilies #-}+{-# LANGUAGE TypeOperators #-} module Test.Singular (testsVar) where  import qualified Test.Generator as Gen

test/Test/Square.hs view

@@ -1,4 +1,5 @@ {-# LANGUAGE TypeFamilies #-}+{-# LANGUAGE TypeOperators #-} module Test.Square (testsVar) where  import qualified Test.Divide as Divide

test/Test/Utility.hs view

@@ -372,12 +372,12 @@    deriving (Eq, Show)  instance Semigroup Match where-   (<>) = mappend+   Match <> Match = Match+   _ <> _ = Mismatch  instance Monoid Match where    mempty = Match-   mappend Match Match = Match-   mappend _ _ = Mismatch+   mappend = (<>)

test/Test/Vector.hs view

@@ -1,4 +1,5 @@ {-# LANGUAGE TypeFamilies #-}+{-# LANGUAGE TypeOperators #-} module Test.Vector (testsVar) where  import qualified Test.Generator as Gen