constructive-algebra: A library of constructive algebra.

[ algebra, bsd3, library, math ] [ Propose Tags ]

A library of algebra focusing mainly on commutative ring theory from a constructive point of view.

Classical structures are implemented without Noetherian assumptions. This means that it is not assumed that all ideals are finitely generated. For example, instead of principal ideal domains one gets Bezout domains which are integral domains in which all finitely generated ideals are principal (and not necessarily that all ideals are principal).

Downloads

Maintainer's Corner

Package maintainers

For package maintainers and hackage trustees

Candidates

  • No Candidates
Versions [RSS] 0.0.0, 0.1, 0.1.1, 0.1.2, 0.1.3, 0.1.4, 0.1.5, 0.1.6, 0.2.0, 0.3.0
Dependencies base (>=3 && <=4), QuickCheck (>=2), type-level (>=0.2) [details]
License BSD-3-Clause
Author Anders Mortberg, Bassel Mannaa
Maintainer mortberg@chalmers.se
Category Math, Algebra
Uploaded by AndersMortberg at 2010-08-10T22:34:40Z
Distributions
Reverse Dependencies 1 direct, 0 indirect [details]
Downloads 7877 total (16 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Docs uploaded by user
Build status unknown [no reports yet]