Lars Göttgens
Lars Göttgens
Resolves the Oscar part of https://github.com/oscar-system/Oscar.jl/issues/3907. Diff created using ```julia julia> using DocumenterTools julia> DocumenterTools.OutdatedWarning.generate(".") ``` I was doing this for other repositories anyway, so I gave it a shot...
Resolves https://github.com/oscar-system/Oscar.jl/issues/3322. Let's first do some bikeshedding here, and I will only fix the doctests once we are happy with the printing of the example from https://github.com/oscar-system/Oscar.jl/issues/3322. All changes to...
I observed this in my package PBWDeformations.jl, in the nightly CI jobs. I unfortunately cannot tell when this first appeared as the nightly CI job was broken for a while....
I compared the backtraces of the `__init__` call in the cases of `using OtherPackage` and `using Package` in 1.11.0-rc1, and the only difference is one single line number. So I...
> I was curious what these vectors are used for. Turns put the code is buggy: the code in line 391 below checks for divisibility by 3 instead of 7......
Reverts #1612. The underlying issue has been fixed in https://github.com/JuliaLang/julia/pull/54499 and should be available in tomorrows nightly and 1.11.0-beta2.
I was a bit bored on the train yesterday I put a first draft together heavily using ChatGPT (for things like regexes). Is this how you imagine it @fingolfin ?
The MPoly interface (https://nemocas.github.io/AbstractAlgebra.jl/dev/mpoly_interface/#Unsafe-functions) states that these must exist. When trying to run the UnivPoly testsuite from AA with Nemo rings to verify the correctness of my changes for https://github.com/Nemocas/AbstractAlgebra.jl/issues/1746,...
```julia julia> s = matrix(QQ, 2, 2, [1,2,3,4]) [1 2] [3 4] julia> t = similar(s, ZZ) [#undef #undef] [#undef #undef] julia> typeof(s) QQMatrix julia> typeof(t) AbstractAlgebra.Generic.MatSpaceElem{ZZRingElem} ``` I would...
the point is that is_zero_row for ZZ should be done via - get the pointer of the row (no c-call!) - check if the entries are binary zero (no c-call)...