Johannes Schmitt
Johannes Schmitt
> @Syz-MS : Failure of the test 1.6, long. ubuntu-latest is due to a problem on the underlying system, not due to you. I will restart the job after all...
I'm sorry! Obviously, I didn't check this carefully enough yesterday evening.
The quotient has valuation -2, how should this lift to the integers? ``` julia> R, _ = qadic_field(7, 1, precision = 30); julia> a = 1 + 2*7 + 4*7^2...
Regarding the possible connection to #3711: I just tried these with Singular.jl 0.23.2 and they didn't finish after 3 minutes.
I'm late to the party, but when I put the ideals from your example in OSCAR I get `false` which seems correct to me. ``` julia> R, (x, y) =...
I now have this timing: ``` julia> @time standard_basis(I); 0.042802 seconds (320.76 k allocations: 15.418 MiB) ```
If we want this, we would have to (also) allow sparse matrices in `MatrixOrdering`, so probably add a type parameter to the struct etc. I do not know whether it...
If we overload `hom` like this, we have the following: ``` julia> R, (x, y) = graded_polynomial_ring(QQ, ["x", "y"], [ 1, 1 ]); julia> S, (u, v, w) = graded_polynomial_ring(QQ,...
I thought about this again and I am with Wolfram. I don't see why we need a morphism between a non-graded and a graded ring or a non-graded morphism between...
> > * If one has mathematically identical rings with different gradings, one can use `forget_grading` and type casting to move elements between the rings (efficiently!). Maybe there is room...