computational-algebra 0.1.3.1 → 0.1.3.5

raw patch · 2 files changed

+2/−2 lines, 2 files

Files

• Algebra/Algorithms/Groebner.hs +1/−1
• computational-algebra.cabal +1/−1

@@ -166,7 +166,7 @@         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

@@ -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