From 513bc5e8933d4e16fe8eeb2d2f997a12a6a96a4a Mon Sep 17 00:00:00 2001 From: Jeshiba Date: Thu, 13 Jul 2017 12:27:51 -0400 Subject: Checkpoint --- 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 a116d55..0e1181c 100644 --- a/Math/Combinatorics/RootSystem.hs +++ b/Math/Combinatorics/RootSystem.hs @@ -1,14 +1,15 @@ -- Copyright (c) Yuchen Pei, 2017. (Added positive roots and highest elements etc.) -- Copyright (c) David Amos, 2008-2015. All rights reserved. -module Math.Projects.RootSystem where +--module Math.Combinatorics.RootSystem where +module RootSystem where import Prelude hiding ( (*>) ) import Data.Ratio import Data.List import Data.Maybe -import qualified Data.List as L +--import qualified Data.List as L import qualified Data.Set as S import Math.Algebra.LinearAlgebra -- cgit v1.2.3