Mohamed Barakat

No GB possible over rings created by Hecke

4

```julia _ _ _ _(_)_ | Documentation: https://docs.julialang.org (_) | (_) (_) | _ _ _| |_ __ _ | Type "?" for help, "]?" for Pkg help. | |...

Gröbner bases in plural

2

I will collect here some remarks on the Gröbner basics (`std`, `liftstd`, `lift`, `syz`, ...) in `Singular`'s subsystem `Plural`. These remarks might be helpful for designing the interaction between the...

GAP command Process hangs after IO_Popen3 is used on macOS

6

On macOS ``` $ julia _ _ _ _(_)_ | Documentation: https://docs.julialang.org (_) | (_) (_) | _ _ _| |_ __ _ | Type "?" for help, "]?" for...

d&i InternalHomToTensorProduct*AdjunctionIsomorphism

1

and use it to derive TensorProductToInternalHom*AdjunctMorphismWithGivenInternalHom this means that the counit (=evaluation) is enough to derive the entire Hom-tensor adjunction

Since 316b8942ebdb354e8a8e208caeb10aad84258fc6 GradedModulePresentationsForCAP does not load FreydCategoriesForCAP

2

I assume this is intended: After: ```gap gap> LoadPackage( "GradedModulePresentationsForCAP", false ); true gap> IsPackageMarkedForLoading( "FreydCategoriesForCAP", ">= 0" ); false ``` Before: ```gap gap> LoadPackage( "GradedModulePresentationsForCAP", false ); true gap>...

support the adjunction (a ⊗ -) ⊢ hom(a,-)

3

Currently, we are supporting the adjunction (- ⊗ b) ⊢ hom(b,-). When specialized to ⊗ = × in the context of `SkeletalFinSets` it yields, as expected, an isomorphism Hom(a ×...

Avoid race conditions between resolving methods installed via `InstallMethodForCompilerForCAP` as functions and resolving attributes of categories as global variables. See https://github.com/homalg-project/CategoricalTowers/pull/207#discussion_r1193400995

updated LinearAlgebraForCAP/gap/CompilerLogic.gi

14

Preparing for the upcoming `PreComposeList`-PR.