oalg-abg: Finitely generated abelian groups.
Representing finitely generated abelian groups (OAlg.AbelianGroup.Definition) as finite products of cyclic groups (OAlg.AbelianGroup.ZMod) and additive homomorphisms between finitely generated abelian groups as matrices of additive homomorphisms between cyclic groups.
Kernels and Cokernels (OAlg.AbelianGroup.KernelsAndCokernels) for additive homomorphisms between finitely generated abelian groups are provided by reducing Z-matrices to Smith Normal Form (OAlg.AbelianGroup.Free.SmithNormalForm). Further more the provided cokernels are all liftable.
Please see the README on GitHub at https://github.com/zErichGut/oalg-main/blob/main/oalg-abg/README.md
[Skip to Readme]
Modules
[Index] [Quick Jump]
Downloads
- oalg-abg-2.0.0.0.tar.gz [browse] (Cabal source package)
- Package description (as included in the package)
Maintainer's Corner
For package maintainers and hackage trustees
Candidates
| Versions [RSS] | 1.0.0.0, 2.0.0.0 |
|---|---|
| Change log | CHANGELOG.md |
| Dependencies | base (>=4.17 && <5), oalg-base (>=3.0 && <4) [details] |
| License | BSD-3-Clause |
| Copyright | Erich Gut |
| Author | Erich.Gut |
| Maintainer | zerich.gut@gmail.com |
| Category | Mathematics, Algebra, Category |
| Home page | https://github.com/zErichGut/oalg-main#readme |
| Bug tracker | https://github.com/zErichGut/oalg-main/issues |
| Source repo | head: git clone https://github.com/zErichGut/oalg-main(oalg-abg) |
| Uploaded | by zErichGuz at 2025-10-03T20:15:35Z |
| Distributions | |
| Downloads | 83 total (4 in the last 30 days) |
| Rating | (no votes yet) [estimated by Bayesian average] |
| Your Rating | |
| Status | Docs available [build log] Last success reported on 2025-10-03 [all 1 reports] |