manifold-random 0.5.1.0 → 0.6.0.0
raw patch · 2 files changed
+9/−10 lines, 2 filesdep ~manifoldsPVP ok
version bump matches the API change (PVP)
Dependency ranges changed: manifolds
API changes (from Hackage documentation)
- Data.Random.Manifold: shade :: (Distribution Shade x, D_S x) => Interior x -> Variance (Needle x) -> RVar x
+ Data.Random.Manifold: shade :: (Distribution Shade x, D_S x) => x -> Variance (Needle x) -> RVar x
- Data.Random.Manifold: shadeT :: (Distribution Shade x, D_S x) => Interior x -> Variance (Needle x) -> RVarT m x
+ Data.Random.Manifold: shadeT :: (Distribution Shade x, D_S x) => x -> Variance (Needle x) -> RVarT m x
Files
- Data/Random/Manifold.hs +7/−8
- manifold-random.cabal +2/−2
Data/Random/Manifold.hs view
@@ -39,7 +39,7 @@ rvarT (Shade c e) = shadeT' c e shadeT' :: (PseudoAffine x, SimpleSpace (Needle x), Scalar (Needle x) ~ ℝ)- => Interior x -> Variance (Needle x) -> RVarT m x+ => x -> Variance (Needle x) -> RVarT m x shadeT' ctr expa = ((ctr.+~^) . sumV) <$> mapM (\v -> (v^*) <$> stdNormalT) eigSpan where eigSpan = varianceSpanningSystem expa @@ -47,10 +47,10 @@ -- -- If you use 'rvar' to sample a large number of points from a shade @sh@ in a sufficiently -- flat space, then 'pointsShades' of that sample will again be approximately @[sh]@.-shade :: (Distribution Shade x, D_S x) => Interior x -> Variance (Needle x) -> RVar x+shade :: (Distribution Shade x, D_S x) => x -> Variance (Needle x) -> RVar x shade ctr expa = rvar $ fullShade ctr expa -shadeT :: (Distribution Shade x, D_S x) => Interior x -> Variance (Needle x) -> RVarT m x+shadeT :: (Distribution Shade x, D_S x) => x -> Variance (Needle x) -> RVarT m x shadeT = shadeT' @@ -62,10 +62,9 @@ => Int -> Shade x -> (x -> Shade y) -> RVarT m (x`Shaded`y) uncertainFunctionSamplesT n shx f = case ( dualSpaceWitness :: DualNeedleWitness x , dualSpaceWitness :: DualNeedleWitness y- , boundarylessWitness :: BoundarylessWitness x , pseudoAffineWitness :: PseudoAffineWitness y ) of- ( DualSpaceWitness, DualSpaceWitness, BoundarylessWitness- ,PseudoAffineWitness (SemimanifoldWitness BoundarylessWitness) ) -> do+ ( DualSpaceWitness, DualSpaceWitness+ ,PseudoAffineWitness SemimanifoldWitness ) -> do domainSpls <- replicateM n $ rvarT shx pts <- forM domainSpls $ \x -> do y <- rvarT $ f x@@ -92,8 +91,8 @@ css <- mkControlSample [] 0 let xCtrl :: x [Shade (xCtrl,yCtrl) expaCtrl :: Shade (x,y)]- = pointsShades . catMaybes $ toInterior<$>css- yCtrl :: Interior y+ = pointsShades css+ yCtrl :: y expayCtrl = dualNorm . snd $ summandSpaceNorms expaCtrl jCtrl = dependence expaCtrl jFin = jOrig^*η ^+^ jCtrl^*η'
manifold-random.cabal view
@@ -2,7 +2,7 @@ -- documentation, see http://haskell.org/cabal/users-guide/ name: manifold-random-version: 0.5.1.0+version: 0.6.0.0 synopsis: Sampling random points on general manifolds. -- description: homepage: https://github.com/leftaroundabout/manifolds@@ -26,7 +26,7 @@ -- other-extensions: build-depends: base >=4.7 && <5 , random-fu >=0.2 && <0.3- , manifolds == 0.5.1.0+ , manifolds == 0.6.0.0 , constrained-categories , semigroups , vector-space