Hecke.jl
Hecke.jl copied to clipboard
thofma
Computational algebraic number theory
- [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...
IndexCalculus for DLP over safeprime fields. Wiedemann version for more general fields in progress
According to the main page of the GitHub for Hecke, we should cite Hecke as back in 2017. I guess things changed a lot since then, and in particular citing...
**Some context** To define a hermitian lattice `L` over a cyclotomic field `E`, in theory, we define `E` as a quadratic extension over its real maximal subfield `K` (generated by...
On my M1 Mac with Julia 1.8-rc1: ``` julia> @time @eval maximal_order(quadratic_field(-1)[1]); 5.577463 seconds (2.85 M allocations: 140.472 MiB, 0.34% gc time, 99.97% compilation time) julia> @time @eval maximal_order(quadratic_field(-1)[1]); 0.000288...
**General:** - [x] Nicer printing for isogenies and isomorphisms - [ ] Formal group law (as in Silverman) - [x] Use formal group law to compute the dual isogeny properly...
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...
Is there a strong reason (other historical ones) why the function `Localization` is not called `localization`? If not, I'd submit a PR to rename it (with an alias for backwards...
There is a helper function `issquare_matrix` in Hecke which is only used locally in one place. OTOH in AbstractAlgebra, there is an `issquare` (now: `is_square`) method for matrices which does...