# The computational-algebra package

Dependently-typed computational algebra libray for Groebner basis.

[Skip to Readme]

## Properties

Versions | 0.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, 0.4.0.0, 0.5.0.0 |
---|---|

Dependencies | algebra (==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] |

License | BSD3 |

Copyright | (C) Hiromi ISHII 2013 |

Author | Hiromi ISHII |

Maintainer | konn.jinro_at_gmail.com |

Stability | Unknown |

Category | Math |

Home page | https://github.com/konn/computational-algebra |

Source repository | head: git clone git://github.com/konn/computational-algebra.git |

Uploaded | Thu May 2 15:21:23 UTC 2013 by HiromiIshii |

Distributions | NixOS:0.5.0.0 |

Downloads | 3503 total (39 in the last 30 days) |

Votes | |

Status | Docs not available [build log] All reported builds failed as of 2016-12-21 [all 8 reports] |

## Modules

*Algebra**Algorithms*- Algebra.Algorithms.Groebner
- Algebra.Algorithms.Groebner.Monomorphic

- Algebra.Algorithms.Groebner
- Algebra.Internal
*Ring*- Algebra.Ring.Noetherian
- Algebra.Ring.Polynomial
- Algebra.Ring.Polynomial.Monomorphic
- Algebra.Ring.Polynomial.Parser

## Downloads

- computational-algebra-0.1.3.1.tar.gz [browse] (Cabal source package)
- Package description (included in the package)