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). This give a good framework for implementing many interesting algorithms.


Properties

Versions0.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
Dependenciesbase (>=3 && <=4.3.1.0), QuickCheck (>=2), type-level (>=0.2)
LicenseBSD3
AuthorAnders Mortberg, Bassel Mannaa
Maintainermortberg@chalmers.se
StabilityExperimental
CategoryMath, Algebra
Upload dateThu Mar 31 12:16:46 UTC 2011
Uploaded byAndersMortberg
Downloads829 total (69 in last 30 days)

Modules

[Index]

Downloads

Maintainers' corner

For package maintainers and hackage trustees