The computational-algebra package

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

Dependently-typed computational algebra libray for Groebner basis.


[Skip to ReadMe]

Properties

Versions0.0.1.0, 0.0.1.1, 0.0.2.0, 0.0.3.0, 0.0.3.1, 0.0.3.2, 0.1.0.0, 0.1.0.1, 0.1.1.0, 0.1.2.0, 0.1.3.0, 0.1.3.1, 0.1.3.5, 0.1.3.6, 0.2.0.0, 0.3.0.0
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]
LicenseBSD3
Copyright(C) Hiromi ISHII 2013
AuthorHiromi ISHII
Maintainerkonn.jinro_at_gmail.com
CategoryMath
Home pagehttps://github.com/konn/computational-algebra
Source repositoryhead: git clone git://github.com/konn/computational-algebra.git
UploadedSat May 4 12:49:59 UTC 2013 by HiromiIshii
DistributionsNixOS:0.3.0.0
Downloads2276 total (77 in last 30 days)
Votes
0 []
StatusDocs not available [build log]
All reported builds failed as of 2015-05-26 [all 2 reports]

Modules

Downloads

Maintainers' corner

For package maintainers and hackage trustees

Readme for computational-algebra-0.1.3.6

Computational Algebra Library

Installation

$ 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:

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: