Tommy Hofmann

For ZZ this is implemented now (in Hecke), although not documented and not all the functionality that you mentioned. The syntax for creation is `ideal(ZZ, x)` or `x * ZZ`,...

We decided to use `is_*` instead of `is*` (see the [Oscar style guide](https://oscar-system.github.io/Oscar.jl/dev/DeveloperDocumentation/styleguide/#Naming-conventions)) and we are gradually adjusting the various projects. New code is already using the new convention.

Yes, if I remember correctly the consensus was that if there is a corresponding julia function, we will have both.

I am happy with the `const ...` deprecation approach.

> 1. We [...] > 2. We [...] I personally would prefer 1. > * we could have macros to generate these "aliases" more conveniently, with all the checks and...

Agree with Claus here.

Same as https://github.com/oscar-system/Oscar.jl/pull/548?

I think the underlying issue is https://github.com/JuliaLang/julia/issues/29437. In the past I had (someimes) success with moving the `where` around.

I think it is a bug in Preferences.jl

https://github.com/JuliaPackaging/Preferences.jl/issues/31