The computational-algebra package

[Tags: algebra, bsd3, library, math, type-level]

Dependently-typed computational algebra libray for Groebner basis.

[Skip to ReadMe]


Change logNone available
Dependenciesalgebra (==3.*), base (>=2.0 && <5), containers (>=0.4 && <0.6), heaps (==0.2.*), lens (==3.*), monad-loops (==0.3.*), monomorphic (==0.0.*), peggy (==0.3.*), tagged (>=0.4 && <1) [details]
Copyright(C) Hiromi ISHII 2013
AuthorHiromi ISHII
Home page
Source repositoryhead: git clone git://
UploadedSat Apr 6 12:53:26 UTC 2013 by HiromiIshii
Downloads2992 total (35 in last 30 days)
0 []
StatusDocs not available [build log]
All reported builds failed as of 2015-12-12 [all 6 reports]



Maintainers' corner

For package maintainers and hackage trustees

Readme for computational-algebra-

Computational Algebra Library


$ cabal install computational-algebra

If you once installed the same version of this package and want to reinstall, please run cabal clean first to avoid the GHC's bug.

What is this?

This library provides data-types and functions to manipulate polynomials. This is built up with GHC's nice type features.

It contains following things:

There are two interfaces:

Monomorphic wrapper I/F Not-so-dependently-typed interface to wrap dependently-typed ones. Algebra.Ring.Polynomial.Monomorphic and Algebra.Algorithms.Groebner.Monomorphic.

For more information, please read examples/polymorphic.hs and examples/monomorphic.hs.

Known Issues

Due to GHC 7.4.*'s bug, this library contains extra modules and functionalities as follows: