Max Horn
Max Horn
The Singular.jl CI tests started to fail. Nothing in Singular.jl changed, but there is a new Singular_jll release which is ``` sideal.slimgb: Error During Test at /Users/runner/work/Singular.jl/Singular.jl/test/ideal/sideal-test.jl:398 Test threw exception...
Motivated by comments in PR #1731 Should be in `docs/src/ideal_interface.md` I guess?
It probably isn't a good idea to use the same variable names multiple times, like here: ``` julia> polynomial_ring(QQ, :x=>1:2, :x=>1:3) (Multivariate polynomial ring in 5 variables over QQ, QQMPolyRingElem[x[1],...
Right now `polynomial_ring(QQ, :x => 3)` leads to an error that is not very helpful: ``` julia> polynomial_ring(QQ, :x => 3) ERROR: MethodError: no method matching iterate(::Symbol) Closest candidates are:...
We have `add!(a,b,c)` which basically computes `b+c` and potentially might store the result in `a`. We also have `addeq!(a,b)` which is documented as > Return a + b, possibly modifying...
- the source code says that it implements `ideals over Euclidean domains` - but [the manual claims](https://nemocas.github.io/AbstractAlgebra.jl/dev/ideal/) that also "univariate or multivariate polynomial ring over the integers" are supported -...
While we don't need this, it is very valuable for teaching, as then one can gradually convert people from e.g. using `Matrix{Int}` to `Matrix{ZZRingElem}` to `ZZMatrix`
Right now we `ccall` many FLINT functions from multiple places, e.g. `fmpq_mpoly_add` is called in three places in Nemo; so is `fmpz_add` but that one also has two callers in...
Since the element types of these ring types are subtypes of ResElem, the rings should be subtypes of ResidueRing. Otherwise some generic code gets confused (notably check_parent for ResElem). This...