oalg-abg: Finitely generated abelian groups.

[ algebra, bsd3, category, library, mathematics ] [ Propose Tags ]

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

Please see the README on GitHub at https://github.com/zErichGut/oalg-abg#readme


[Skip to Readme]

Downloads

Maintainer's Corner

Package maintainers

For package maintainers and hackage trustees

Candidates

Versions [RSS] 1.0.0.0
Change log CHANGELOG.md
Dependencies base (>=4.16 && <5), oalg-base (>=1.1) [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-abg#readme
Bug tracker https://github.com/zErichGut/oalg-abg/issues
Source repo head: git clone https://github.com/zErichGut/oalg-abg
Uploaded by zErichGuz at 2024-01-06T03:44:55Z
Distributions NixOS:1.0.0.0
Downloads 38 total (3 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Docs available [build log]
Last success reported on 2024-01-06 [all 1 reports]

Readme for oalg-abg-1.0.0.0

[back to package description]

oalg-abg

Representing finitely generated abelian groups as finite products of cyclic groups. See the contents in the provided documentation.