The computational-algebra package

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

Dependently-typed computational algebra libray for Groebner basis.

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
Dependencies algebra (==3.*), base (>=2.0 && <5), containers (>=0.4 && <0.6), lens (==3.*), monomorphic (==0.0.*), parsec (==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 Fri Mar 15 12:50:19 UTC 2013 by HiromiIshii
Distributions NixOS:0.3.0.0
Downloads 3186 total (37 in the last 30 days)
Votes
0 []
Status Docs not available [build log]
All reported builds failed as of 2015-12-12 [all 6 reports]

Modules

  • Algebra
    • Algorithms
      • Algebra.Algorithms.Groebner
        • Algebra.Algorithms.Groebner.Monomorphic
    • Ring
      • Algebra.Ring.Noetherian
      • Algebra.Ring.Polynomial
        • Algebra.Ring.Polynomial.Monomorphic
        • Algebra.Ring.Polynomial.Parser

Downloads

Maintainer's Corner

For package maintainers and hackage trustees