diff options
| author | Jeshiba <baconp@gmail.com> | 2017-07-17 10:07:04 -0400 |
|---|---|---|
| committer | Jeshiba <baconp@gmail.com> | 2017-07-17 10:07:04 -0400 |
| commit | 73f5c3f45e5971f9b5c78d0a0fcac23b4561b869 (patch) | |
| tree | 51966b1e4581466ef99d3c6794d26e751558c2ea /Math/Combinatorics/RootSystem.hs | |
| parent | 14d9286898a57e584c29e8cb7ad898fb6f2de053 (diff) | |
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.
Diffstat (limited to 'Math/Combinatorics/RootSystem.hs')
| -rw-r--r-- | Math/Combinatorics/RootSystem.hs | 5 |
1 files changed, 3 insertions, 2 deletions
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]]
|