Tommy Hofmann
Tommy Hofmann
Can you reproduce it with GAP.jl only?
https://juliapkgstats.com/pkg/Oscar
Hecke implements Diminos algorithm. Is there something better for black box groups?
Have you checked whether they contain zero? There is a `contains` function. P.S.: The printing for elements of `RR` is not faithful, which can be misleading if they have low...
An explanation like the one here: https://docs.oscar-system.org/stable/Nemo/real/#Printing?
The printing magic is ``` function native_string(x::arb) d = ceil(parent(x).prec * 0.30102999566398119521) cstr = @ccall libflint.arb_get_str(x::Ref{arb}, Int(d)::Int, UInt(0)::UInt)::Ptr{UInt8} res = unsafe_string(cstr) @ccall libflint.flint_free(cstr::Ptr{UInt8})::Nothing return res end ``` which I think...
FWIW, I vote for `transport[er]`. I found a lot of literature once someone told me that what I was trying to do was solving the (well-studied) "transporter problem".
Investigating method invalidations is described here: https://julialang.org/blog/2020/08/invalidations/#tools_for_analyzing_and_fixing_invalidations Did you try this?
Something is not working
That would be nice (I already adjusted it to Hecke already with some tweaks, see https://github.com/oscar-system/Oscar.jl/issues/4665#issuecomment-2692260864).