Hecke.jl
Hecke.jl copied to clipboard
Computational algebraic number theory
... instead of ``` show_banner = allowbanner && isinteractive_manual && isinteractive() && !any(x->x.name in ["Oscar"], keys(Base.package_locks)) && get(ENV, "SINGULAR_PRINT_BANNER", "true") != "false" ``` etc. Similar to what https://github.com/Nemocas/Nemo.jl/pull/1714 by @lgoettgens...
Goes with https://github.com/Nemocas/AbstractAlgebra.jl/pull/1684.
I copied the p-adic and q-adic functionality form Nemo and removed the precision of the field. There is something wrong in the completion code which I have not been able...
This requires a new AA release
I assume these were not left out for a reason?
The idea is to add this code to Hecke.jl, and then to remove it from Oscar.jl. Once we agree what shall be really added here, tests and documentation has to...
Added ten test codes related to support and radical function, going to add tests for io functions as well
```julia LocalFundamentalClass Serre: Test Failed at /home/runner/.julia/packages/Hecke/1fdag/test/LocalField/neq.jl:57 Expression: iszero(a) || valuation(a) > 20 Stacktrace: [1] macro expansion @ ~/.julia/packages/Hecke/1fdag/test/LocalField/neq.jl:57 [inlined] [2] macro expansion @ /buildworker/worker/package_linux64/build/usr/share/julia/stdlib/v1.6/Test/src/Test.jl:1[151](https://github.com/Nemocas/AbstractAlgebra.jl/actions/runs/8281920352/job/22661589864?pr=1636#step:7:152) [inlined] [3] top-level scope @...
... resp. trigger points for method invalidations