Yet Another Implementation of Buchberger's Algorithm
Haskell JavaScript C Shell
Switch branches/tags
Nothing to show
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Failed to load latest commit information.
M2MakeTest
Test
Yaiba
dist/doc/html/Yaiba
doc
include
INSTALL
LICENSE
README
TODO
yaiba.cabal

README

YAIBA

This is Yet Another Implementation of Buchberger's Algorithm. It intends to use the standard Control.Parallel libraries to parallelize the algorithm efficiently in Haskell. At the time of this writing, the parallelism employed is coarse-grained - at the level of s-pair reduction. Future implementations may parallelize the algorithm at finer depths (i.e. polynomial and monomial manipulations).