Hecke.jl
Hecke.jl copied to clipboard
Computational algebraic number theory
Iterators for 0-dimensional matrix spaces should not fail but return the zero element and `nothing` for subsequent calls ``` julia> k = GF(3); julia> m = matrix_space(k, 0, 1); julia>...
I think it would be nice if the documentation mentioned that some of the functions are not thread safe, even when called with completely unrelated parameters (for example due to...
Enabling the type piracy report in `test/Aqua.jl` currently reports 721 (!) instances of type piracy (with Julia 1.9). That's really bad, and might explain partially of why loading Hecke is...
We can map factored ideals to ray class groups, but the individual factors need to be coprime to the modulus: https://github.com/thofma/Hecke.jl/blob/60a055cf6d9a54784a3dca18e56c090b20282e50/src/NumFieldOrd/NfOrd/RayClassGrp.jl#L785-L792 I think we can do better. Here is a...
I have actually used the `@req` concept in https://github.com/Nemocas/AbstractAlgebra.jl/pull/1360/ and as assertions are an abstract concept in general, they seem to fit into AbstractAlgebra 😄
_Originally posted by @fingolfin in https://github.com/oscar-system/Oscar.jl/pull/2925#discussion_r1372101285_
Rainy day todo list for algebras: - [ ] Add `hom(A, B, ::Vector)` constructor. - [ ] Morphisms defined by `hom(A, B, data)` do not check whether they are morphisms....
From my experience in #1102, it seemed to be worth wile, to compute the `S` in `H = AS` by computing the hnf `H` and then solving `H = AS`....
I get (Julia version v1.9.0 Windows 64-Bit, Hecke version 0.18.14) : julia> factor(12//35) ERROR: StackOverflowError: Stacktrace: [1] factor(a::Rational{Int64}; b::Base.Pairs{Symbol, Union{}, Tuple{}, NamedTuple{(), Tuple{}}}) @ Hecke xxx\.julia\packages\Hecke\ttSxw\src\Misc\Integer.jl:712 [2] factor(a::Rational{Int64}) @ Hecke...