From 73f5c3f45e5971f9b5c78d0a0fcac23b4561b869 Mon Sep 17 00:00:00 2001
From: Jeshiba <baconp@gmail.com>
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.
---
 .gitignore | 1 +
 1 file changed, 1 insertion(+)
 create mode 100644 .gitignore

(limited to '.gitignore')

diff --git a/.gitignore b/.gitignore
new file mode 100644
index 0000000..1377554
--- /dev/null
+++ b/.gitignore
@@ -0,0 +1 @@
+*.swp
-- 
cgit v1.2.3