manifolds 0.5.0.3 → 0.5.0.4
raw patch · 23 files changed
+33/−31 lines, 23 filesdep ~constrained-categoriesdep ~linearmap-categorydep ~manifolds-core
Dependency ranges changed: constrained-categories, linearmap-category, manifolds-core
Files
- Control/Monad/Trans/OuterMaybe.hs +1/−1
- Data/Embedding.hs +1/−1
- Data/Function/Affine.hs +1/−1
- Data/Function/Differentiable.hs +1/−1
- Data/Manifold.hs +1/−1
- Data/Manifold/Atlas.hs +1/−1
- Data/Manifold/Cone.hs +1/−1
- Data/Manifold/DifferentialEquation.hs +1/−1
- Data/Manifold/FibreBundle.hs +1/−1
- Data/Manifold/Function/Quadratic.hs +2/−1
- Data/Manifold/Griddable.hs +1/−1
- Data/Manifold/PseudoAffine.hs +1/−1
- Data/Manifold/Riemannian.hs +1/−1
- Data/Manifold/TreeCover.hs +1/−1
- Data/Manifold/Types.hs +2/−1
- Data/Manifold/Types/Primitive.hs +1/−1
- Data/Manifold/Types/Stiefel.hs +1/−1
- Data/Manifold/Web.hs +1/−1
- Data/Manifold/Web/Internal.hs +1/−1
- Data/SetLike/Intersection.hs +1/−1
- Math/Manifold/Embedding/Simple/Class.hs +1/−1
- manifolds.cabal +5/−5
- test/tasty/test.hs +5/−5
Control/Monad/Trans/OuterMaybe.hs view
@@ -3,7 +3,7 @@ -- Copyright : (c) Justus Sagemüller 2016 -- License : GPL v3 -- --- Maintainer : (@) sagemueller $ geo.uni-koeln.de+-- Maintainer : (@) jsag $ hvl.no -- Stability : experimental -- Portability : portable --
Data/Embedding.hs view
@@ -3,7 +3,7 @@ -- Copyright : (c) Justus Sagemüller 2015 -- License : GPL v3 -- --- Maintainer : (@) sagemueller $ geo.uni-koeln.de+-- Maintainer : (@) jsag $ hvl.no -- Stability : experimental -- Portability : portable --
Data/Function/Affine.hs view
@@ -3,7 +3,7 @@ -- Copyright : (c) Justus Sagemüller 2015 -- License : GPL v3 -- --- Maintainer : (@) sagemueller $ geo.uni-koeln.de+-- Maintainer : (@) jsag $ hvl.no -- Stability : experimental -- Portability : portable --
Data/Function/Differentiable.hs view
@@ -3,7 +3,7 @@ -- Copyright : (c) Justus Sagemüller 2015 -- License : GPL v3 -- --- Maintainer : (@) sagemueller $ geo.uni-koeln.de+-- Maintainer : (@) jsag $ hvl.no -- Stability : experimental -- Portability : portable --
Data/Manifold.hs view
@@ -3,7 +3,7 @@ -- Copyright : (c) Justus Sagemüller 2013 -- License : GPL v3 -- --- Maintainer : (@) sagemueller $ geo.uni-koeln.de+-- Maintainer : (@) jsag $ hvl.no -- Stability : experimental -- Portability : portable --
Data/Manifold/Atlas.hs view
@@ -3,7 +3,7 @@ -- Copyright : (c) Justus Sagemüller 2015 -- License : GPL v3 -- --- Maintainer : (@) sagemueller $ geo.uni-koeln.de+-- Maintainer : (@) jsag $ hvl.no -- Stability : experimental -- Portability : portable --
Data/Manifold/Cone.hs view
@@ -3,7 +3,7 @@ -- Copyright : (c) Justus Sagemüller 2015 -- License : GPL v3 -- --- Maintainer : (@) sagemueller $ geo.uni-koeln.de+-- Maintainer : (@) jsag $ hvl.no -- Stability : experimental -- Portability : portable --
Data/Manifold/DifferentialEquation.hs view
@@ -3,7 +3,7 @@ -- Copyright : (c) Justus Sagemüller 2016 -- License : GPL v3 -- --- Maintainer : (@) sagemueller $ geo.uni-koeln.de+-- Maintainer : (@) jsag $ hvl.no -- Stability : experimental -- Portability : portable --
Data/Manifold/FibreBundle.hs view
@@ -3,7 +3,7 @@ -- Copyright : (c) Justus Sagemüller 2018 -- License : GPL v3 -- --- Maintainer : (@) sagemueller $ geo.uni-koeln.de+-- Maintainer : (@) jsag $ hvl.no -- Stability : experimental -- Portability : portable --
Data/Manifold/Function/Quadratic.hs view
@@ -3,13 +3,14 @@ -- Copyright : (c) Justus Sagemüller 2016 -- License : GPL v3 -- --- Maintainer : (@) sagemueller $ geo.uni-koeln.de+-- Maintainer : (@) jsag $ hvl.no -- Stability : experimental -- Portability : portable -- {-# LANGUAGE TypeFamilies #-} {-# LANGUAGE FlexibleContexts #-}+{-# LANGUAGE UndecidableInstances #-} {-# LANGUAGE LiberalTypeSynonyms #-} {-# LANGUAGE GADTs #-} {-# LANGUAGE TypeOperators #-}
Data/Manifold/Griddable.hs view
@@ -3,7 +3,7 @@ -- Copyright : (c) Justus Sagemüller 2015 -- License : GPL v3 -- --- Maintainer : (@) sagemueller $ geo.uni-koeln.de+-- Maintainer : (@) jsag $ hvl.no -- Stability : experimental -- Portability : portable --
Data/Manifold/PseudoAffine.hs view
@@ -3,7 +3,7 @@ -- Copyright : (c) Justus Sagemüller 2015 -- License : GPL v3 -- --- Maintainer : (@) sagemueller $ geo.uni-koeln.de+-- Maintainer : (@) jsag $ hvl.no -- Stability : experimental -- Portability : portable --
Data/Manifold/Riemannian.hs view
@@ -3,7 +3,7 @@ -- Copyright : (c) Justus Sagemüller 2015 -- License : GPL v3 -- --- Maintainer : (@) sagemueller $ geo.uni-koeln.de+-- Maintainer : (@) jsag $ hvl.no -- Stability : experimental -- Portability : portable --
Data/Manifold/TreeCover.hs view
@@ -3,7 +3,7 @@ -- Copyright : (c) Justus Sagemüller 2015 -- License : GPL v3 -- --- Maintainer : (@) sagemueller $ geo.uni-koeln.de+-- Maintainer : (@) jsag $ hvl.no -- Stability : experimental -- Portability : portable --
Data/Manifold/Types.hs view
@@ -3,7 +3,7 @@ -- Copyright : (c) Justus Sagemüller 2015 -- License : GPL v3 -- --- Maintainer : (@) sagemueller $ geo.uni-koeln.de+-- Maintainer : (@) jsag $ hvl.no -- Stability : experimental -- Portability : portable -- @@ -182,6 +182,7 @@ toFlatTensor = LinearFunction $ Tensor . Arr.convert . getStiefel1Tangent fromFlatTensor = LinearFunction $ Stiefel1Needle . Arr.convert . getTensorProduct addTensors (Tensor a) (Tensor b) = Tensor $ Arr.zipWith (^+^) a b+ subtractTensors (Tensor a) (Tensor b) = Tensor $ Arr.zipWith (^-^) a b scaleTensor = bilinearFunction $ \μ (Tensor a) -> Tensor $ Arr.map (μ*^) a negateTensor = LinearFunction $ \(Tensor a) -> Tensor $ Arr.map negateV a tensorProduct = bilinearFunction $ \(Stiefel1Needle n) w
Data/Manifold/Types/Primitive.hs view
@@ -3,7 +3,7 @@ -- Copyright : (c) Justus Sagemüller 2015 -- License : GPL v3 -- --- Maintainer : (@) sagemueller $ geo.uni-koeln.de+-- Maintainer : (@) jsag $ hvl.no -- Stability : experimental -- Portability : portable --
Data/Manifold/Types/Stiefel.hs view
@@ -3,7 +3,7 @@ -- Copyright : (c) Justus Sagemüller 2015 -- License : GPL v3 -- --- Maintainer : (@) sagemueller $ geo.uni-koeln.de+-- Maintainer : (@) jsag $ hvl.no -- Stability : experimental -- Portability : portable --
Data/Manifold/Web.hs view
@@ -3,7 +3,7 @@ -- Copyright : (c) Justus Sagemüller 2016 -- License : GPL v3 -- --- Maintainer : (@) sagemueller $ geo.uni-koeln.de+-- Maintainer : (@) jsag $ hvl.no -- Stability : experimental -- Portability : portable --
Data/Manifold/Web/Internal.hs view
@@ -3,7 +3,7 @@ -- Copyright : (c) Justus Sagemüller 2017 -- License : GPL v3 -- --- Maintainer : (@) sagemueller $ geo.uni-koeln.de+-- Maintainer : (@) jsag $ hvl.no -- Stability : experimental -- Portability : portable --
Data/SetLike/Intersection.hs view
@@ -4,7 +4,7 @@ -- Copyright : (c) Justus Sagemüller 2016 -- License : GPL v3 -- --- Maintainer : (@) sagemueller $ geo.uni-koeln.de+-- Maintainer : (@) jsag $ hvl.no -- Stability : experimental -- Portability : portable --
Math/Manifold/Embedding/Simple/Class.hs view
@@ -3,7 +3,7 @@ -- Copyright : (c) Justus Sagemüller 2018 -- License : GPL v3 -- --- Maintainer : (@) sagemueller $ geo.uni-koeln.de+-- Maintainer : (@) jsag $ hvl.no -- Stability : experimental -- Portability : portable --
manifolds.cabal view
@@ -1,5 +1,5 @@ Name: manifolds-Version: 0.5.0.3+Version: 0.5.0.4 Category: Math Synopsis: Coordinate-free hypersurfaces Description: Manifolds, a generalisation of the notion of “smooth curves” or surfaces,@@ -26,7 +26,7 @@ License-file: COPYING Author: Justus Sagemüller Homepage: https://github.com/leftaroundabout/manifolds-Maintainer: (@) sagemueller $ geo.uni-koeln.de+Maintainer: (@) jsag $ hvl.no Build-Type: Simple Cabal-Version: >=1.18 Extra-Doc-Files: images/examples/*.png,@@ -40,14 +40,14 @@ Library Build-Depends: base>=4.5 && < 6- , manifolds-core == 0.5.0.3+ , manifolds-core == 0.5.0.4 , transformers , vector-space>=0.8 , free-vector-spaces>=0.1.5 , linear , MemoTrie , vector- , linearmap-category >= 0.3.4 && < 0.4+ , linearmap-category >= 0.3.4 && < 0.5 , spatial-rotations >= 0.1 && < 0.2 , containers , array@@ -63,7 +63,7 @@ , placeholders , lens , call-stack- , constrained-categories >= 0.3.1 && < 0.4+ , constrained-categories >= 0.3.1 && < 0.5 , pragmatic-show , QuickCheck >=2.8 && <3 other-extensions: FlexibleInstances
test/tasty/test.hs view
@@ -3,7 +3,7 @@ -- Copyright : (c) Justus Sagemüller 2017 -- License : GPL v3 -- --- Maintainer : (@) sagemueller $ geo.uni-koeln.de+-- Maintainer : (@) jsag $ hvl.no -- Stability : experimental -- Portability : portable -- @@ -42,7 +42,7 @@ import Data.Typeable import Data.Foldable (toList)-import Data.List (nub)+import Data.List (nub, sort) import qualified Data.Graph as Graph import qualified Data.Set as Set import Control.Arrow@@ -629,10 +629,10 @@ , info^.webBoundingPlane ) ) web) @?= [([1], Just 1), ([0,2], Nothing), ([1], Just $ -1)] , testCase "Linear 1D “web”"- $ toList (directNeighbours (fromWebNodes euclideanMetric+ $ map sort (toList $ directNeighbours (fromWebNodes euclideanMetric [(x, ()) | x<-[0, 0.1 .. 2]] :: PointsWeb ℝ () )) @?= [ [1,9], [0,2], [1,3], [2,4], [3], [6,12], [5,7], [6,8], [7,9], [0,8], [11,15]- , [10,12],[11,5],[14,20],[13,15],[10,14],[17],[16,18],[17,19],[18,20],[13,19]+ , [10,12],[5,11],[14,20],[13,15],[10,14],[17],[16,18],[17,19],[18,20],[13,19] ] , testCase "Small linear 1D web with nonuniform spacing" $ toList (directNeighbours (fromWebNodes euclideanMetric@@ -1002,7 +1002,7 @@ sphereParallelTransportTest :: S² -> S² -> [ℝ³] -> [ℝ³] -> Assertion-sphereParallelTransportTest p q [] [] = assert True+sphereParallelTransportTest p q [] [] = mempty sphereParallelTransportTest p q (v:vs) (w:ws) = (parallelTransport p (q.-~!p) vSph @?≈ wSph) >> sphereParallelTransportTest p q vs ws