Tommy Hofmann
Tommy Hofmann
If one looks at https://github.com/oscar-system/Oscar.jl/commits/master/, one sees that often "Run tests / test (~1.10.0-0, long, ubuntu-latest) (push)" fails. The error looks scary, e.g. in https://github.com/oscar-system/Oscar.jl/actions/runs/7364038493/job/20044077891#step:7:4952 and https://github.com/oscar-system/Oscar.jl/actions/runs/7364038493/job/20044077891#step:7:26094: ``` !!! ERROR...
In an application, I have a map $f \colon \mathbf{C}^n \to \mathbf{C}^m$ given by rational polynomials and I want to know if the image of $f$ is dense in $\mathbf{C}^m$....
I just spent too much time tracking down a bug which appeared when changing the version from `0.5.1-DEV` to `0.5.1`. The example folder files requires include code which is necessary...
There was some request on slack for making `facstd` (https://www.singular.uni-kl.de/Manual/4-3-2/sing_242.htm#SEC282) available in Singular.jl. This probably amounts to calling `kStdfac` in some form or the other.
See https://github.com/Nemocas/AbstractAlgebra.jl/pull/1286. We should make the universal polynomial ring also work flint rings by always creating it with one dummy variable, which should be ignored/handled by subsequent computations.
Karatsuba is now disabled by default. Someone needs to investigate whether we can enable this again using more sophisticated thresholds, see https://github.com/Nemocas/AbstractAlgebra.jl/pull/1248.
```julia julia> Qx, (x, y) = QQ["x", "y"]; julia> typeof(zero(Qx)(x, y)) Rational{BigInt} ``` Should be fixed once we have the new `evaluate` code.
For maps, the documentation says that `MyMap` should belong to an abstract type `Map{D, C,...}` but `D` and `C` need not be the type of the domain and codomain respectively....
I am not sure if we want to support h[v]cat with julia arrays, but at the moment it gives garbage: ```julia julia> vcat(ZZ[5 6; 5 2], [1 2]) 2×2 Matrix{Any}:...