Changeset 12573

Timestamp:

04.10.2009 14:08:26 (5 months ago)

Author:

maeder

Message:

used nubOrd rather than just nub

Files:

• trunk/Logic/Grothendieck.hs (modified) (3 diffs)

trunk/Logic/Grothendieck.hs

@@ -106 +106 @@
 
 import Control.Monad (foldM)
-import Data.List (nub)
 import Data.Maybe (catMaybes)
 import Data.Typeable
@@ -729 +728 @@
 findComorphismPaths :: LogicGraph ->  G_sublogics -> [AnyComorphism]
 findComorphismPaths lg (G_sublogics lid sub) =
-  nub $ map fst $ iterateComp (0::Int) [(idc,[idc])]
+  nubOrd $ map fst $ iterateComp (0::Int) [(idc,[idc])]
   where
   idc = Comorphism (mkIdComorphism lid sub)
@@ -737 +736 @@
     if n>1 || l==newL then newL else iterateComp (n+1) newL
     where
-    newL = nub $ l ++ concatMap extend l
+    newL = nubOrd $ l ++ concatMap extend l
     -- extend comorphism list in all directions, but no cylces
     extend (coMor, cmps) =