From 73f5c3f45e5971f9b5c78d0a0fcac23b4561b869 Mon Sep 17 00:00:00 2001 From: Jeshiba Date: Mon, 17 Jul 2017 10:07:04 -0400 Subject: changed Q; added weyl chamber test. - Changed Q from Math.Algebra.Field.Base.Q to Rational for better prelude support despite ugly show functions, see PitmanTransform.hs line 82 - Added test prop_Pitman_WeylChamber verifying the result of the Pitman's transform is in the WeylChamber - Fixed a bug in pitman: added 0 initial condition to the input paths and removed the first row in the output corresponding to the initial condition. Otherwise prop_Pitman_Weylchamber won't verify. --- Math/Combinatorics/RootSystem.hs | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) (limited to 'Math/Combinatorics/RootSystem.hs') diff --git a/Math/Combinatorics/RootSystem.hs b/Math/Combinatorics/RootSystem.hs index f92b642..a1674b7 100644 --- a/Math/Combinatorics/RootSystem.hs +++ b/Math/Combinatorics/RootSystem.hs @@ -13,12 +13,13 @@ import Data.Maybe import qualified Data.Set as S import Math.Algebra.LinearAlgebra -import Math.Algebra.Group.PermutationGroup hiding (elts, order, closure) +--import Math.Algebra.Group.PermutationGroup hiding (elts, order, closure) --import Math.Algebra.Group.SchreierSims as SS --import Math.Algebra.Group.StringRewriting as SG -import Math.Algebra.Field.Base (Q)-- for Q +--import Math.Algebra.Field.Base (Q)-- for Q +type Q = Rational data Type = A | B | C | D | E | F | G deriving Show type SimpleSystem = [[Q]] -- cgit v1.2.3