The constructive-algebra package

[Tags:bsd3, library]

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).


Versions 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 BSD3
Author Anders Mortberg, Bassel Mannaa
Stability Experimental
Category Math, Algebra
Uploaded Mon Jul 12 09:07:17 UTC 2010 by AndersMortberg
Distributions NixOS:0.3.0
Downloads 2136 total (17 in the last 30 days)
0 []
Status Docs uploaded by user
Build status unknown [no reports yet]




Maintainer's Corner

For package maintainers and hackage trustees