Lars Göttgens
Lars Göttgens
As explained in the rofi 1.6.0 release notes, a breaking change for most existing themes has been introduced: > This causes a breaking change for themes, to modify the highlighting,...
We have some code doing automatic creation of docstrings in [AbstractAlgebra.jl](https://github.com/Nemocas/AbstractAlgebra.jl) including some test around that. These tests started to fail a few days ago on julia nightly (ref https://github.com/Nemocas/AbstractAlgebra.jl/issues/1608),...
Resolves https://github.com/JuliaRegistries/CompatHelper.jl/issues/408. I made some decisions while adding this, that could be converted into config settings at a later point, if so desired: 1. Do not create new compat entries...
This change makes the code in https://github.com/oscar-system/Oscar.jl/issues/2915#issuecomment-1801794028 run. And I find it nice to have for consistency (see https://github.com/oscar-system/Oscar.jl/issues/2915#issuecomment-1801794028).
There is `Hecke.factor` and `AbstractAlgebra/Nemo.factor`. Both of them have the other one as a fallback, see: https://github.com/thofma/Hecke.jl/blob/bb9dbe60f8c7da4eb4f490b5d8fdfdeb690c3eb5/src/Hecke.jl#L223 https://github.com/thofma/Hecke.jl/blob/f96fb3b2cca05bbbf7a9d579e9c615cc0baed302/src/Misc/Integer.jl#L179 This has the drawback that for types, where `factor` is not supported...
**Describe the bug** When loading a package that has OSCAR as one of its dependencies, additionally to the OSCAR banner, the polymake banner is displayed. This is considered a bug...
See https://github.com/oscar-system/Oscar.jl/actions/runs/7730599925/job/21076347030#step:8:393 This only happened in this form since 1.11.0-DEV.1428, although there are successful runs with this julia version (e.g. https://github.com/oscar-system/Oscar.jl/actions/runs/7729826314/job/21073900157?pr=3293). Log of the above CI run: ``` ERROR: The...
As layed out in https://hackmd.io/nRnyfrSxTVe5CzXidB1cBQ?both#number-of-%E2%80%A6 and implemented in https://github.com/Nemocas/AbstractAlgebra.jl/pull/1553, https://github.com/Nemocas/Nemo.jl/pull/1624, https://github.com/thofma/Hecke.jl/pull/1364, https://github.com/oscar-system/Oscar.jl/pull/3272. Thanks to @lkastner for pointing out that the style guide change was missed.
Resolves the first bullet point in the list in https://github.com/oscar-system/Oscar.jl/issues/3408. With this PR, removing an experimental project is now as easy as deleting the corresponding folder in `experimental/` (and maybe...