# 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), lens (==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 |

Category | Math |

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

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

Uploaded | Fri Mar 22 16:49:11 UTC 2013 by HiromiIshii |

Distributions | NixOS:0.5.0.0 |

Downloads | 3990 total (70 in the last 30 days) |

Rating | 2.0 (votes: 1) [estimated by rule of succession] |

Your Rating | |

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

## 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.0.3.1.tar.gz [browse] (Cabal source package)
- Package description (included in the package)