Tommy Hofmann
Tommy Hofmann
- [x] Cache a pseudo HNF and improve equality work for number field lattices (#541, @thofma) - [x] For creation of lattices without ambient space we want to allow to...
We are a bit sloppy and not really distinguishing embeddings and infinite places. So far this has been fine. For CM types one needs to work with complex embeddings and...
Reference: https://arxiv.org/pdf/1304.0708.pdf Would be nice to have - "Level" of a number field (Algorithm 10) - "Pythagoras number" of a number field (Algorithm 11) - Witt equivalence of number fields...
```julia julia> Qx,x = Hecke.QQ["x"] (Univariate Polynomial Ring in x over Rational Field, x) julia> f = 8x^3+4x^2-4x-1 8*x^3 + 4*x^2 - 4*x - 1 julia> K,a = Hecke.NumberField(f, "a",...
If I remember correctly, the fanbase for `base_ring` is rather small (mainly because we used it in a different way than it was designed for) and we started introducing mathematically...
We have an example from @AlheydisGeiger where computing a saturation with Singular(.jl) ideals is much faster than with Oscar ideals, because the provided ordering made everything faster. At the moment...
Maybe also store this somehow to make `image/preimage/is[bijective|injective|surjective]` trivial.
```juia julia> F = free_group(2) julia> rand_pseudo(F) # hangs forever ``` This is a bit unfortunate. Could we catch this somehow? Not sure how feasible this is. The 'correct' call...
```julia julia> A, t = rational_function_field(QQ, "t"); julia> B, s = rational_function_field(A, "s"); julia> R, (x,y,z) = polynomial_ring(B, ["x", "y", "z"]); julia> I = ideal(R, [x]); x in I ERROR:...