Hecke.jl
Hecke.jl copied to clipboard
`Localization` vs. `localization`
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 compatibility, as Oscar.jl also installs methods for it).