# constructive-algebra: A library of constructive algebra.

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 [faq] | 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@student.chalmers.se |

Category | Math, Algebra |

Uploaded | by AndersMortberg at Thu Jul 8 12:59:02 UTC 2010 |

Distributions | NixOS:0.3.0 |

Downloads | 4430 total (95 in the last 30 days) |

Rating | (no votes yet) [estimated by rule of succession] |

Your Rating | |

Status | Docs uploaded by user Build status unknown [no reports yet] |

## Modules

[Index]

*Algebra*- Algebra.FieldOfRationalFunctions
- Algebra.Ideal
- Algebra.Matrix
- Algebra.PLM
- Algebra.Q
*Structures*- Algebra.Structures.BezoutDomain
- Algebra.Structures.Coherent
- Algebra.Structures.CommutativeRing
- Algebra.Structures.EuclideanDomain
- Algebra.Structures.Field
- Algebra.Structures.FieldOfFractions
- Algebra.Structures.GCDDomain
- Algebra.Structures.IntegralDomain
- Algebra.Structures.PruferDomain
- Algebra.Structures.Ring
- Algebra.Structures.StronglyDiscrete

*TypeChar*- Algebra.UPoly
- Algebra.Z
- Algebra.Zn

## Downloads

- constructive-algebra-0.1.5.tar.gz [browse] (Cabal source package)
- Package description (as included in the package)