ederc
ederc
As far as I understood there will soon be more (meta) data added to `IdealGens` than just the ordering. I also raised the point of efficiancy some months ago but...
> @ederc or @jankoboehm: Is there a way to set a universal Gröbner basis of an ideal (see the comment in the code)? No, at the moment we have no...
Can you give a concrete example where `Singular.mres` ignores the `length` argument? If I compute a free resolution with current Oscar master using `algorithm = :mres` and `length` set, it...
@RafaelDavidMohr and I will take care of this.
I looked a bit more into this issue, but to tell you the truth, I may not understand completely what to do. At the moment we have this behaviour: ```...
Well, let's say something like this from `AffineRationalPoint.jl`: ``` A2 = affine_space(GF(2), [:x, :y]); (x, y) = coordinates(A2); X = algebraic_set(x*y); pA = A2([1,0]) A2a = affine_space(GF(2), [:x, :y]); @test...
@fieker @thofma I can understand the behaviour of non-cached rings, the problem is just that then this issue is nothing @RafaelDavidMohr and I can solve on our own globally. Then...
Once the referenced PRs are **all** merged, this issue can be closed. As discussed, the open PRs need adjustments in tests. I asked the corresponding authors for support.
I support to do the exact match of `libsingular_julia_jll` in `Project.toml`, any update should give us at least a minor release of `Singular.jl`. IMHO this would help speeding up the...
Here is the error message: ``` julia> using Oscar ERROR: InitError: Error thrown by GAP: Error, RequestError: Could not resolve host: raw.githubusercontent.com while requesting https://raw.githubusercontent.com/gap-system/gap-distribution/master/DistributionUpdate/PackageUpdate/currentPackageInfoURLList in Julia.Core._apply( julia_obj, args )...