Hecke.jl icon indicating copy to clipboard operation
Hecke.jl copied to clipboard

`Localization` vs. `localization`

Open fingolfin opened this issue 2 years ago • 0 comments

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).

fingolfin avatar Jun 10 '22 14:06 fingolfin