# The computational-algebra package

Dependently-typed computational algebra library 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, 0.5.1.0 |
---|---|

Dependencies | algebra (>=4.1 && <4.4), algebraic-prelude (>=0.1.1.0 && <0.2), arithmoi (>=0.5 && <0.7), base (>=4 && <4.11), computational-algebra, constraints (>=0.3 && <0.10), containers (==0.5.*), control-monad-loop (==0.1.*), convertible (==1.1.*), criterion (>=0.8.1.0 && <1.3), deepseq (>=1.3 && <1.5), dlist (==0.8.*), entropy (>=0.3.8 && <0.4), equational-reasoning (>=0.4 && <0.6), ghc-typelits-knownnat (>=0.3.1 && <0.4), ghc-typelits-natnormalise (==0.5.*), ghc-typelits-presburger (>=0.1.1.1 && <0.2), hashable (>=1.1 && <1.3), heaps (==0.3.*), hmatrix (>=0.16 && <0.19), hybrid-vectors (>=0.1 && <0.3), integer-logarithms (==1.0.*), lens (>=4.13 && <4.16), ListLike (==4.5.*), matrix (==0.3.*), monad-loops (==0.4.*), MonadRandom (>=0.1 && <0.6), mono-traversable (>=0.10 && <1.1), monomorphic (>=0.0.3 && <0.1), mtl (>=2.1 && <2.3), parallel (==3.2.*), primes (>=0.2.1 && <0.3), random (>=1.0 && <1.2), reflection (>=2 && <2.2), semigroups (>=0.15 && <0.19), singletons (>=2.2 && <2.4), sized (==0.2.*), tagged (>=0.7 && <0.9), template-haskell (>=2.10 && <2.13), text (>=0.11 && <1.3), type-natural (>=0.7.1 && <0.8), unamb (==0.2.*), unordered-containers (==0.2.*), vector (>=0.10 && <0.13), vector-algorithms (>=0.7.0.1 && <0.8) [details] |

License | BSD3 |

Copyright | (C) Hiromi ISHII 2013 |

Author | Hiromi ISHII |

Maintainer | konn.jinro_at_gmail.com |

Category | Math |

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

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

Uploaded | Thu Dec 7 06:42:49 UTC 2017 by HiromiIshii |

Updated | Thu Dec 14 05:07:08 UTC 2017 by HiromiIshii to revision 1 [What is this?] |

Distributions | NixOS:0.5.1.0 |

Executables | quotient, sandpit-poly, hensel-prof, ipsolve, algebraic, solve, groebner-prof |

Downloads | 6481 total (137 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 2017-12-07 [all 3 reports] Hackage Matrix CI |

## Modules

*Algebra**Algorithms*- Algebra.Algorithms.ChineseRemainder
- Algebra.Algorithms.Groebner
- Algebra.Algorithms.PrimeTest
- Algebra.Algorithms.ZeroDim

*Field*- Algebra.Field.AlgebraicReal
- Algebra.Field.Finite
- Algebra.Field.Galois

- Algebra.Instances
- Algebra.Internal
- Algebra.LinkedMatrix
- Algebra.Matrix
- Algebra.Normed
- Algebra.Prelude
- Algebra.Prelude.Core

*Ring*- Algebra.Ring.Ideal
- Algebra.Ring.Polynomial
- Algebra.Ring.Polynomial.Class
- Algebra.Ring.Polynomial.Factorise
- Algebra.Ring.Polynomial.Labeled
- Algebra.Ring.Polynomial.Monomial
- Algebra.Ring.Polynomial.Quotient
- Algebra.Ring.Polynomial.Univariate

- Algebra.Scalar

## Flags

Name | Description | Default | Type |
---|---|---|---|

examples | Disabled | Manual | |

profile | Disabled | Manual |

Use -f <flag> to enable a flag, or -f -<flag> to disable that flag. More info

## Downloads

- computational-algebra-0.5.1.0.tar.gz [browse] (Cabal source package)
- Package description (revised from the package)

Note: This package has metadata revisions in the cabal description newer than included in the tarball. To unpack the package including the revisions, use 'cabal get'.