summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorHiromiIshii <>2013-05-02 18:50:46 (GMT)
committerhdiff <hdiff@hdiff.luite.com>2013-05-02 18:50:46 (GMT)
commit5c9269ca76be9f7253cc9b01b663040460d9d7eb (patch)
tree2e711ea358dfb8ef9030f2f8c11650a43a0ebfcd
parent48940b8078beab844eab29eb4acd6daea4b610e6 (diff)
version 0.1.3.50.1.3.5
-rw-r--r--Algebra/Algorithms/Groebner.hs2
-rw-r--r--computational-algebra.cabal2
2 files changed, 2 insertions, 2 deletions
diff --git a/Algebra/Algorithms/Groebner.hs b/Algebra/Algorithms/Groebner.hs
index 623f029..0232979 100644
--- a/Algebra/Algorithms/Groebner.hs
+++ b/Algebra/Algorithms/Groebner.hs
@@ -166,7 +166,7 @@ syzygyBuchbergerWithStrategy strategy ideal = runST $ do
g0 = leadingMonomial g
l = lcmMonomial f0 g0
redundant = H.any (\(H.Entry _ h) -> (h `notElem` [f, g])
- && (all (\k -> H.any ((==k) . H.payload) rest)
+ && (all (\k -> H.all ((/=k) . H.payload) rest)
[(f, h), (g, h), (h, f), (h, g)])
&& leadingMonomial h `divs` l) gs0
when (l /= zipWithV (+) f0 g0 && not redundant) $ do
diff --git a/computational-algebra.cabal b/computational-algebra.cabal
index dc1be13..b2faa1c 100644
--- a/computational-algebra.cabal
+++ b/computational-algebra.cabal
@@ -2,7 +2,7 @@
-- further documentation, see http://haskell.org/cabal/users-guide/
name: computational-algebra
-version: 0.1.3.1
+version: 0.1.3.5
synopsis: Well-kinded computational algebra library, currently supporting Groebner basis.
description: Dependently-typed computational algebra libray for Groebner basis.
homepage: https://github.com/konn/computational-algebra