Tommy Hofmann
Tommy Hofmann
If one does not care for the output in the first place, one can just use a `;`.
A system has a default way of printing and there is an easy way to suppress it. Doesn't sound so complicated to me. A system should not try to decide...
The problem with `⋮` is that it is almost impossible to get the full information. Assume my group has too many generators (say 10) to fit into my terminal. With...
I have seen "internal errors" in type inference/compilation before. For some reasons I don't understand, these are sometimes just ignored and the program continues. Like here: https://github.com/JuliaLang/Pkg.jl/issues/2927. Might be due...
The tests `string(...) == "..."` are not very robust and should be avoided.
Can you clarify if this is about `QQbar` or embedded number fields (e.g. things like $\mathbf{Q}(\sqrt{2})$?
Thanks for checking @YueRen
We actually have the "geometric interface" for all our other ideals: ``` julia> QQQ, = rationals_as_number_field(); ZZZ = ring_of_integers(QQQ); julia> primary_decomposition(ideal(ZZZ, 9)) 1-element Vector{Tuple{NfOrdIdl, NfOrdIdl}}: ( [...] julia> radical(ideal(ZZZ, 9))...
Yes. I am open to renaming everything and your suggestion. I am still a bit unsure about `degree(f::PolyElem)` returning `-inf`. For this I would like to first see some benchmarks...
Since it is called polynomial composition, I would prefer to keep `compose` for polynomials for the sake of discoverability. One option to go forward would be to 1. remove all...