aboutsummaryrefslogtreecommitdiff
path: root/Math/Combinatorics/PitmanTransform.hs
diff options
context:
space:
mode:
authorJeshiba <baconp@gmail.com>2017-07-17 07:59:18 -0400
committerJeshiba <baconp@gmail.com>2017-07-17 07:59:18 -0400
commit72aaa08677777e76cef0433802abc53cd7f4bce3 (patch)
treeb19034ab80161205660afa0cc059cd7f0117e3e0 /Math/Combinatorics/PitmanTransform.hs
parentf1ad02cf7a29e3ad007bf58ac13ea8da96bfcd39 (diff)
check pint
Diffstat (limited to 'Math/Combinatorics/PitmanTransform.hs')
-rw-r--r--Math/Combinatorics/PitmanTransform.hs9
1 files changed, 9 insertions, 0 deletions
diff --git a/Math/Combinatorics/PitmanTransform.hs b/Math/Combinatorics/PitmanTransform.hs
index e6eea85..0379bce 100644
--- a/Math/Combinatorics/PitmanTransform.hs
+++ b/Math/Combinatorics/PitmanTransform.hs
@@ -15,6 +15,7 @@ import RobinsonSchensted
import Math.Algebra.Field.Base (Q)-- for Q
import Math.Algebra.LinearAlgebra
import Prelude hiding ( (*>), Word )
+import Test.QuickCheck
import qualified Data.List as L
--pitman :: (Fractional a, Ord a) => Type -> Int -> [a] -> [a]
@@ -65,3 +66,11 @@ gTPFromInt (GTP xs) = GTP $ fmap (fmap fromIntegral) xs
prop_Pitman_RobinsonSchensted_sanitise :: [Int] -> Word Int
prop_Pitman_RobinsonSchensted_sanitise = W . (fmap (\t -> abs t + 1))
+
+
+randomQMatrix :: Int -> Gen [[Q]]
+randomQMatrix n = vectorOf 20 (vector n)
+
+prop_Pitman_WeylChamber :: Int -> Property
+prop_Pitman_WeylChamber m = let (t, n) = int2TypeInt m in
+ forAll (randomQMatrix $ dimensionOfHostSpace t n) (\xs -> isInWeylChamber $ pitman t n xs)