Tommy Hofmann

Results 702 comments of Tommy Hofmann

@fingolfin @ThomasBreuer: For a project we would like to create `h = hom(::AutomorphismGroup{Hecke.TorQuadMod}, ::GrpAbFinGen, L::Vector)`, where `L` is the list of images of the generators of the domain. For the...

Might also be a good idea to run it locally using https://github.com/JuliaLang/julia/pull/43252

> So, have some global variable that the tests can read and determine how many tests to run? Yes, this is one option. We could have a `OSCAR_LONG_TEST` environment variable,...

Here is the detailed runtime for every toplevel testset: ``` Test Summary: | Pass Total Duration types | 514 514 16.9 s Test Summary: | Pass Total Duration iterators |...

The timings I posted were obtained using https://github.com/JuliaLang/julia/pull/43252 and Oscar 0.7. I believe that they do not include compilation time. I don't understand how `Direct products` takes more than 1...

@benlorenz Could you do me a favor and try to reproduce the timings from `Direct products` (from `test/ToricVarieties/runtests.jl`)? With recent Oscar master and julia 1.6 I saw 20 seconds once,...

Thanks, I just checked and it is as you suspected. This explains the discrepancy between the timings I reported and the original ones by @fingolfin, at least for things related...

The ring interface function is basically testing only arithmetic (and maybe polynomials and matrices, but this is also only ring arithmetic). I am not sure, but does that really do...

I am not sure we should introduce aliases for the types, e.g., `perm_group` for `PermGroup`. I would be in favour of having all functions adhere to the usual snake case...

Help mode lookup and Documenter signature lookup are unrelated. I am sure it is either https://github.com/JuliaLang/julia/issues/20064, https://github.com/JuliaDocs/Documenter.jl/issues/839 or https://github.com/JuliaLang/julia/issues/29437 :)