Tommy Hofmann

Results 92 issues of 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.

enhancement
topic: groups

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