Tommy Hofmann
Tommy Hofmann
- [ ] move tutorials out of `docs` (but don't enable coverage for it) - [ ] document how to add a tutorial - [ ] put metadata in the...
#### Orders - [ ] Cleanup, fix the TODOs from https://github.com/thofma/Hecke.jl/pull/1728. - [ ] Rename. The implementation in https://github.com/thofma/Hecke.jl/pull/1728 requires the base ring to be PID/Hermite ring. Maybe `AlgebraOrderPID`? ####...
- primitive roots modulo (2)p^k - `coprime_residues`
Nothing urgent, but it would be nice if we would use `mul!` and `inv!` and `power!` when evaluating words at ring elements. They are guaranteed to have those methods implemented.
I think we need to do the same as in Oscar, to not get something like https://docs.oscar-system.org/dev/Nemo/algebraic/.
``` julia> k, a = quadratic_field(2) (Real quadratic field defined by x^2 - 2, sqrt(2)) julia> G, f = Hecke.multiplicative_group([a + 1]) (Finitely generated abelian group with 2 generators and...
I know, I know, not clear if we can do something about this, but sometimes `is_norm` returns "large" elements: ``` julia> k, _a = Hecke.number_field(x^3 + 11*x^2 + 8*x -...