doctest failure in ~/work/AlgebraicSolving.jl/AlgebraicSolving.jl/src/algorithms/decomposition.jl:16-30 ```jldoctest julia> using AlgebraicSolving julia> R, (x, y, z) = polynomial_ring(GF(65521), ["x", "y", "z"]) (Multivariate polynomial ring in 3 variables over GF(65521), Nemo.FqMPolyRingElem[x, y, z]) julia> I = Ideal([x*y - x*z, x*z^2 - x*z, x^2*z - x*z]) Nemo.FqMPolyRingElem[x*y + 65520*x*z, x*z^2 + 65520*x*z, x^2*z + 65520*x*z] julia> equidimensional_decomposition(I) 3-element Vector{Ideal{Nemo.FqMPolyRingElem}}: Nemo.FqMPolyRingElem[x] Nemo.FqMPolyRingElem[z, y] Nemo.FqMPolyRingElem[z + 65520, y + 65520, x + 65520] ``` Subexpression: R, (x, y, z) = polynomial_ring(GF(65521), ["x", "y", "z"]) Evaluated output: (Multivariate polynomial ring in 3 variables over GF(65521), FqMPolyRingElem[x, y, z]) Expected output: (Multivariate polynomial ring in 3 variables over GF(65521), Nemo.FqMPolyRingElem[x, y, z]) diff = Warning: Diff output requires color. (Multivariate polynomial ring in 3 variables over GF(65521), Nemo.FqMPolyRingElem[x, FqMPolyRingElem[x, y, z])

doctest failure in ~/work/AlgebraicSolving.jl/AlgebraicSolving.jl/src/algorithms/decomposition.jl:16-30 ```jldoctest julia> using AlgebraicSolving julia> R, (x, y, z) = polynomial_ring(GF(65521), ["x", "y", "z"]) (Multivariate polynomial ring in 3 variables over GF(65521), Nemo.FqMPolyRingElem[x, y, z]) julia> I = Ideal([x*y - x*z, x*z^2 - x*z, x^2*z - x*z]) Nemo.FqMPolyRingElem[x*y + 65520*x*z, x*z^2 + 65520*x*z, x^2*z + 65520*x*z] julia> equidimensional_decomposition(I) 3-element Vector{Ideal{Nemo.FqMPolyRingElem}}: Nemo.FqMPolyRingElem[x] Nemo.FqMPolyRingElem[z, y] Nemo.FqMPolyRingElem[z + 65520, y + 65520, x + 65520] ``` Subexpression: I = Ideal([x*y - x*z, x*z^2 - x*z, x^2*z - x*z]) Evaluated output: FqMPolyRingElem[x*y + 65520*x*z, x*z^2 + 65520*x*z, x^2*z + 65520*x*z] Expected output: Nemo.FqMPolyRingElem[x*y + 65520*x*z, x*z^2 + 65520*x*z, x^2*z + 65520*x*z] diff = Warning: Diff output requires color. Nemo.FqMPolyRingElem[x*y FqMPolyRingElem[x*y + 65520*x*z, x*z^2 + 65520*x*z, x^2*z + 65520*x*z]

doctest failure in ~/work/AlgebraicSolving.jl/AlgebraicSolving.jl/src/algorithms/decomposition.jl:16-30 ```jldoctest julia> using AlgebraicSolving julia> R, (x, y, z) = polynomial_ring(GF(65521), ["x", "y", "z"]) (Multivariate polynomial ring in 3 variables over GF(65521), Nemo.FqMPolyRingElem[x, y, z]) julia> I = Ideal([x*y - x*z, x*z^2 - x*z, x^2*z - x*z]) Nemo.FqMPolyRingElem[x*y + 65520*x*z, x*z^2 + 65520*x*z, x^2*z + 65520*x*z] julia> equidimensional_decomposition(I) 3-element Vector{Ideal{Nemo.FqMPolyRingElem}}: Nemo.FqMPolyRingElem[x] Nemo.FqMPolyRingElem[z, y] Nemo.FqMPolyRingElem[z + 65520, y + 65520, x + 65520] ``` Subexpression: equidimensional_decomposition(I) Evaluated output: 3-element Vector{Ideal{FqMPolyRingElem}}: FqMPolyRingElem[x] FqMPolyRingElem[z, y] FqMPolyRingElem[z + 65520, y + 65520, x + 65520] Expected output: 3-element Vector{Ideal{Nemo.FqMPolyRingElem}}: Nemo.FqMPolyRingElem[x] Nemo.FqMPolyRingElem[z, y] Nemo.FqMPolyRingElem[z + 65520, y + 65520, x + 65520] diff = Warning: Diff output requires color. 3-element Vector{Ideal{Nemo.FqMPolyRingElem}}: Nemo.FqMPolyRingElem[x] Nemo.FqMPolyRingElem[z, Vector{Ideal{FqMPolyRingElem}}: FqMPolyRingElem[x] FqMPolyRingElem[z, y] Nemo.FqMPolyRingElem[z FqMPolyRingElem[z + 65520, y + 65520, x + 65520]