Max Horn

Results 501 issues of Max Horn

Consider a doctest looking like this, testing a [thrown exception with omitted stacktrace](https://documenter.juliadocs.org/stable/man/doctests/#Exceptions): ```` ```jldoctest julia> error("x") ERROR: x ``` ```` It is very nice that Documenter allows me to...

Nothing uses them and the names are suboptimal (so if someone needs this functionality we'd be better of implementing these as `convert` methods or constructors or something like that).

We are seeing this now in some CI logs: ``` ERROR: LoadError: InitError: Error thrown by GAP: Error, file "regen_doc.g" must exist and be readable at /Users/aaruni/.julia/artifacts/b5c2f0f824457e5c391fb24916f94d5d91c62c4f/share/gap/lib/files.gi:208 called from (...

bug
package: GAP
regression

[log for "test (1.11-nightly, short, ubuntu-latest)"](https://github.com/oscar-system/Oscar.jl/actions/runs/9765589683/job/26956602104) (and similar in [the "long" variant](https://github.com/oscar-system/Oscar.jl/actions/runs/9765589683/job/26956602678)): ``` Testing Running tests... [1907] signal 11 (1): Segmentation fault in expression starting at /home/runner/work/Oscar.jl/Oscar.jl/test/runtests.jl:1 jl_object_id__cold at /cache/build/builder-amdci5-6/julialang/julia-release-1-dot-11/src/builtins.c:441...

Julia docs show a big red banner "This documentation is not for the latest version. [Go to the latest documentation](https://docs.julialang.org/en/v1.10)." on pages like https://docs.julialang.org/en/v1.7/ We should do the same for...

documentation

It seems there is quite some inefficient conversion code from OSCAR to Singular (perhaps also the other way around) in e.g. `src/Rings/mpoly.jl`. One example: ```julia function (SF::Singular.N_AlgExtField)(a::fqPolyRepFieldElem) F = parent(a)...

package: Singular

Consider this: ``` julia> m = matrix(GF(2), [1 0 ; 1 1]) [1 0] [1 1] julia> G = matrix_group(m) Matrix group of degree 2 over Finite field of characteristic...

topic: groups

While trying to understand why the book tests failed on a PR of mine (I think it was a fluke in the end?), I had a look [at this log](https://github.com/oscar-system/Oscar.jl/actions/runs/9277391037/job/25526477175?pr=3808),...

Cthulhu.jl is great! But its UI is a bit limited: I have a terminal window with 55 rows and 185 columns, yet Cthulhu's `descend` insists on squeezing itself into the...

enhancement