Hecke.jl
Hecke.jl copied to clipboard
Computational algebraic number theory
julia> k, a = wildanger_field(3, 13) (Number field of degree 3 over QQ, _$) julia> c, mc = Hecke.unramified_completion(k, prime_ideals_over(maximal_order(k), 17)[1]) (Unramified extension of 17-adic numbers of degree 1, Map:...
I have some genera of hermitian lattices for which I cannot compute any representative. It seems to be related to a wrong valuation being computed/estimated somewhere while creating a quaternion...
Maybe the following example is not a bug ... but the solution computed is suboptimal The following computations can be done modulo 29^2. They should be possible with padics? ```...
The functions `quadratic_field`, `wildanger_field` and more are defined on https://www.thofma.com/Hecke.jl/dev/manual/number_fields/fields but when one uses the search feature of the manual to search for `quadratic_field` or `wildanger_field` they are not found....
``` julia> K,toK = completion(F, 2*OF); julia> F,_ = cyclotomic_field(3) (Cyclotomic field of order 3, z_3) julia> OF = maximal_order(F); julia> K,toK = completion(F, 2*OF); julia> setprecision!(toK,5) ``` it seems...
There is no easy way to get the maximal/prime ideal from a residue field map. We should add a method to do this. @simonbrandhorst suggested `kernel`. So that ``` F,...
The function _zero_algebra was renamed to zero_algebra some time ago, but not all places calling it were updated. I found this because it caused a bunch of invalidations in code...
I'd like to check if two lattices L_1, L_2 over a number filed are isomorphic with the restriction that the isomorphism is an automorphism group of the third lattice L_3....
Nothing uses them and the names are suboptimal (so if someone needs this functionality we'd be better of implementing these as `convert` methods or constructors or something like that).