https://github.com/homalg-project/homalg_project
Revision 265addea76eb9bcf7c593e08d9ef64596f6120de authored by Mohamed Barakat on 08 October 2020, 13:46:49 UTC, committed by GitHub on 08 October 2020, 13:46:49 UTC
2 parent s 871a7e4 + 2565596
Raw File
Tip revision: 265addea76eb9bcf7c593e08d9ef64596f6120de authored by Mohamed Barakat on 08 October 2020, 13:46:49 UTC
Merge pull request #367 from zickgraf/remove_Convex_PolymakeInterface
Tip revision: 265adde
README.md
<!-- BEGIN HEADER -->
# homalg project – The packages of the homalg project

| Build Status | Code Coverage |
| ------------ | ------------- |
| [![Build Status][tests-img]][tests-url] | [![Code Coverage][codecov-img]][codecov-url] |

<!-- END HEADER -->

The homalg project is a multi-author multi-package open source software project for constructive homological algebra.

Mainly written in GAP4 it allows the use of external programs and other computer algebra systems (CASs) for specific time critical tasks.
Although the central part of the source code is the formalization of abstract notions like Abelian categories, our focus lies on concrete applications ranging from linear control theory to commutative algebra and algebraic geometry.

A big part of the project is already distributed with [GAP](https://www.gap-system.org/). The yet undeposited packages and the tested development versions of all packages can be downloaded from the project GitHub homepage.

The core part of the project is the [homalg package](https://homalg-project.github.io/homalg_project/homalg/). It provides an abstract structure and algorithms for abelian categories up to spectral sequences of multigraded complexes.

The [other packages](https://homalg-project.github.io/homalg_project/) of the homalg project implement data structures and algorithms for several mathematical objects, like modules over graded rings.

This [slideshow](images/homalg-project.pdf) visualizes the interdependency of most of the packages in this repository:

<center>
<a href="https://homalg-project.github.io/docs/homalg_project/homalg_project.pdf" target="_blank"><img src="images/thumb.png" border="0" alt="the
 homalg slideshow" title="the homalg slideshow" /></a>
</center>

<!-- BEGIN FOOTER -->
## Packages of [homalg_project](/../../):
| Name | Description | Documentation |
| ---- | ----------- | ------------- |
| [homalg](homalg) | A homological algebra meta-package for computable Abelian categories | [![HTML stable documentation][docs-homalg-img]][docs-homalg-url] |
| [4ti2Interface](4ti2Interface) | A link to 4ti2 | [![HTML stable documentation][docs-4ti2Interface-img]][docs-4ti2Interface-url] |
| [ExamplesForHomalg](ExamplesForHomalg) | Examples for the GAP Package homalg | [![HTML stable documentation][docs-ExamplesForHomalg-img]][docs-ExamplesForHomalg-url] |
| [Gauss](Gauss) | Extended Gauss functionality for GAP | [![HTML stable documentation][docs-Gauss-img]][docs-Gauss-url] |
| [GaussForHomalg](GaussForHomalg) | Gauss functionality for the homalg project | [![HTML stable documentation][docs-GaussForHomalg-img]][docs-GaussForHomalg-url] |
| [GradedModules](GradedModules) | A homalg based package for the Abelian category of finitely presented graded modules over computable graded rings | [![HTML stable documentation][docs-GradedModules-img]][docs-GradedModules-url] |
| [GradedRingForHomalg](GradedRingForHomalg) | Endow Commutative Rings with an Abelian Grading | [![HTML stable documentation][docs-GradedRingForHomalg-img]][docs-GradedRingForHomalg-url] |
| [HomalgToCAS](HomalgToCAS) | A window to the outer world | [![HTML stable documentation][docs-HomalgToCAS-img]][docs-HomalgToCAS-url] |
| [IO_ForHomalg](IO_ForHomalg) | IO capabilities for the homalg project | [![HTML stable documentation][docs-IO_ForHomalg-img]][docs-IO_ForHomalg-url] |
| [LocalizeRingForHomalg](LocalizeRingForHomalg) | A Package for Localization of Polynomial Rings | [![HTML stable documentation][docs-LocalizeRingForHomalg-img]][docs-LocalizeRingForHomalg-url] |
| [MatricesForHomalg](MatricesForHomalg) | Matrices for the homalg project | [![HTML stable documentation][docs-MatricesForHomalg-img]][docs-MatricesForHomalg-url] |
| [Modules](Modules) | A homalg based package for the Abelian category of finitely presented modules over computable rings | [![HTML stable documentation][docs-Modules-img]][docs-Modules-url] |
| [RingsForHomalg](RingsForHomalg) | Dictionaries of external rings | [![HTML stable documentation][docs-RingsForHomalg-img]][docs-RingsForHomalg-url] |
| [SCO](SCO) | SCO - Simplicial Cohomology of Orbifolds | [![HTML stable documentation][docs-SCO-img]][docs-SCO-url] |
| [ToolsForHomalg](ToolsForHomalg) | Special methods and knowledge propagation tools | [![HTML stable documentation][docs-ToolsForHomalg-img]][docs-ToolsForHomalg-url] |

[docs-homalg-img]: https://img.shields.io/badge/HTML-stable-blue.svg
[docs-homalg-url]: https://homalg-project.github.io/homalg_project/homalg/doc/chap0_mj.html

[docs-4ti2Interface-img]: https://img.shields.io/badge/HTML-stable-blue.svg
[docs-4ti2Interface-url]: https://homalg-project.github.io/homalg_project/4ti2Interface/doc/chap0_mj.html

[docs-ExamplesForHomalg-img]: https://img.shields.io/badge/HTML-stable-blue.svg
[docs-ExamplesForHomalg-url]: https://homalg-project.github.io/homalg_project/ExamplesForHomalg/doc/chap0_mj.html

[docs-Gauss-img]: https://img.shields.io/badge/HTML-stable-blue.svg
[docs-Gauss-url]: https://homalg-project.github.io/homalg_project/Gauss/doc/chap0_mj.html

[docs-GaussForHomalg-img]: https://img.shields.io/badge/HTML-stable-blue.svg
[docs-GaussForHomalg-url]: https://homalg-project.github.io/homalg_project/GaussForHomalg/doc/chap0_mj.html

[docs-GradedModules-img]: https://img.shields.io/badge/HTML-stable-blue.svg
[docs-GradedModules-url]: https://homalg-project.github.io/homalg_project/GradedModules/doc/chap0_mj.html

[docs-GradedRingForHomalg-img]: https://img.shields.io/badge/HTML-stable-blue.svg
[docs-GradedRingForHomalg-url]: https://homalg-project.github.io/homalg_project/GradedRingForHomalg/doc/chap0_mj.html

[docs-HomalgToCAS-img]: https://img.shields.io/badge/HTML-stable-blue.svg
[docs-HomalgToCAS-url]: https://homalg-project.github.io/homalg_project/HomalgToCAS/doc/chap0_mj.html

[docs-IO_ForHomalg-img]: https://img.shields.io/badge/HTML-stable-blue.svg
[docs-IO_ForHomalg-url]: https://homalg-project.github.io/homalg_project/IO_ForHomalg/doc/chap0_mj.html

[docs-LocalizeRingForHomalg-img]: https://img.shields.io/badge/HTML-stable-blue.svg
[docs-LocalizeRingForHomalg-url]: https://homalg-project.github.io/homalg_project/LocalizeRingForHomalg/doc/chap0_mj.html

[docs-MatricesForHomalg-img]: https://img.shields.io/badge/HTML-stable-blue.svg
[docs-MatricesForHomalg-url]: https://homalg-project.github.io/homalg_project/MatricesForHomalg/doc/chap0_mj.html

[docs-Modules-img]: https://img.shields.io/badge/HTML-stable-blue.svg
[docs-Modules-url]: https://homalg-project.github.io/homalg_project/Modules/doc/chap0_mj.html

[docs-RingsForHomalg-img]: https://img.shields.io/badge/HTML-stable-blue.svg
[docs-RingsForHomalg-url]: https://homalg-project.github.io/homalg_project/RingsForHomalg/doc/chap0_mj.html

[docs-SCO-img]: https://img.shields.io/badge/HTML-stable-blue.svg
[docs-SCO-url]: https://homalg-project.github.io/homalg_project/SCO/doc/chap0_mj.html

[docs-ToolsForHomalg-img]: https://img.shields.io/badge/HTML-stable-blue.svg
[docs-ToolsForHomalg-url]: https://homalg-project.github.io/homalg_project/ToolsForHomalg/doc/chap0_mj.html

[tests-img]: https://github.com/homalg-project/homalg_project/workflows/Tests/badge.svg?branch=master
[tests-url]: https://github.com/homalg-project/homalg_project/actions?query=workflow%3ATests+branch%3Amaster

[codecov-img]: https://codecov.io/gh/homalg-project/homalg_project/branch/master/graph/badge.svg
[codecov-url]: https://codecov.io/gh/homalg-project/homalg_project
<!-- END FOOTER -->
back to top