Benjamin Lorenz
Benjamin Lorenz
The error during the FTheory booktests should be gone now with https://github.com/oscar-system/Oscar.jl/pull/3612 merged in Oscar.
Everything that is merged into master should maintain compatibility with existing code that works with 1.0.0 (for example in the book, but also anywhere else). We will only backport small...
The arguments of the constructor have to be reordered: ```julia julia> X = normal_toric_variety([[1,2], [1,3,4], [2,3,4]], [[-1,-1,0], [-1,-1,-2], [3,0,2], [0,3,2]]) Normal toric variety julia> d = canonical_divisor(X); julia> is_ample(d) polymake:...
Interestingly this seems to be the same place as the crashes in #2336: ``` page: /home/datastore/lorenz/software/julia/Oscar.jl/src/Groups/group_characters.jl:380-395 Segmentation fault (core dumped) ```
The doctest is disabled because it takes very long when Browse is not working (I don't really know why... I thought browse is just an ncurses wrapper), so I think...
> The module uses the module SetPartitions which is currently in the folder experimentals. To compile properly, we needed to rename the project folder to ZPartitionedPermutations so that this folder...
This has been happening for a bit, the first occurrence I could find in a quick search is here, https://github.com/oscar-system/Oscar.jl/actions/runs/7489387259/job/20385820568#step:7:2915, 3 weeks ago with julia 1.11.0-DEV.1249. I don't think this...
Still happens, for example in the tests for #3586: https://github.com/oscar-system/Oscar.jl/actions/runs/8638534713/job/23683179472?pr=3586#step:8:1683 ~~So far I have seen this only with the 1.11 versions (while they were still nightly) but not with current...
It looks like this was not really fixed, it recently happened here: https://github.com/oscar-system/Oscar.jl/actions/runs/7766397045/job/21182180188?pr=3255#step:8:1271 (Probably depending on which other tests use the random number generation before...) It has since disappeared again...
I did see this once with 1.9 as well for Oscar.jl: https://github.com/oscar-system/Oscar.jl/actions/runs/4844111264/jobs/8632169406 For the linux-nightly-crash I ran this in a bunch of loops until it died and collected core files...