Mohamed Barakat

icon indicating a website link https://mohamed-barakat.github.io/ icon indicating an email [email protected]

icon company University of Siegen icon location Siegen icon location Professor of Mathematics. Research: Algorithmic aspects of category theory, homological algebra, algebraic geometry & their computer algebra implementation.

Results 42 issues of Mohamed Barakat

All contributors of the branch gh-gap show up on the front page of the github repository

5 comment

If the `gh-pages` are created using `PackageMaker` then GitHub shows all contributors to the branch `gh-gap` on the front page of the repository. Here is an example: https://github.com/homalg-project/CatReps This list...

Introduce IsSafeWellDefinedFor* or IsMathematicallyWellDefinedFor*

1 comment

The current `IsWellDefinedForObjects` and `IsWellDefinedForMorphism` include tests for checking whether the type of `ObjectDatum`/`MorphismDatum` is correct. They all compile to `true`. It would make sense to introduce `IsSafeWellDefinedFor*` or `IsMathematicallyWellDefinedFor*`...