Tommy Hofmann
Tommy Hofmann
Yes, this is bad and needs to be fixed.
Yes. The problem is that building the documentation runs julia/Hecke code to produce examples. There are some blocks of the form ```` ```runthiscode Qx, x = QQ["x"] K, ... ```...
Oh no, this whole CAS business is madness. I guess if we ever need it, we can still use `is_square_with_sqrt`. I would keep `is_square`.
I will close this for now. I also could not find the `issquare_matrix` in the source code anymore (because it was removed in https://github.com/thofma/Hecke.jl/pull/688).
The functionality seems useful to have. I don't have a better name than `cyclotomic_field_as_CM_extension` in mind. Maybe @fieker has some opinion? There is already something like a cyclotomic extension of...
My bad, it is `cyclotomic` (don't ask about the name). So I guess what you want is a flag that tells you that the field `E` you received (of type...
Can you elaborate on `cat( (1,2), ...)`?
OK. Final question: What is the `(1, 2)` supposed to indicate?
I see. I think we will just overload `blkdiag`.
Is it expected that the Oscar tests will fail with this? Just asking so we know how to proceed.