doctest failure in ~/work/AlgebraicSolving.jl/AlgebraicSolving.jl/src/siggb/siggb.jl:46-71 ```jldoctest julia> using AlgebraicSolving julia> R, vars = polynomial_ring(GF(17), ["x$i" for i in 1:4]) (Multivariate polynomial ring in 4 variables over GF(17), FqMPolyRingElem[x1, x2, x3, x4]) julia> F = cyclic(R) FqMPolyRingElem[x1 + x2 + x3 + x4, x1*x2 + x1*x4 + x2*x3 + x3*x4, x1*x2*x3 + x1*x2*x4 + x1*x3*x4 + x2*x3*x4, x1*x2*x3*x4 + 16] julia> Fhom = homogenize(F.gens) 4-element Vector{FqMPolyRingElem}: x1 + x2 + x3 + x4 x1*x2 + x2*x3 + x1*x4 + x3*x4 x1*x2*x3 + x1*x2*x4 + x1*x3*x4 + x2*x3*x4 x1*x2*x3*x4 + 16*x5^4 julia> sig_groebner_basis(Fhom, mod_ord = :DPOT) 7-element Vector{Tuple{Tuple{Int64, FqMPolyRingElem}, FqMPolyRingElem}}: ((1, 1), x1 + x2 + x3 + x4) ((2, 1), x2^2 + 2*x2*x4 + x4^2) ((3, 1), x2*x3^2 + x3^2*x4 + 16*x2*x4^2 + 16*x4^3) ((4, 1), x2*x3*x4^2 + x3^2*x4^2 + 16*x2*x4^3 + x3*x4^3 + 16*x4^4 + 16*x5^4) ((4, x3), x3^3*x4^2 + x3^2*x4^3 + 16*x3*x5^4 + 16*x4*x5^4) ((4, x2), x2*x4^4 + x4^5 + 16*x2*x5^4 + 16*x4*x5^4) ((4, x2*x3), x3^2*x4^4 + x2*x3*x5^4 + 16*x2*x4*x5^4 + x3*x4*x5^4 + 15*x4^2*x5^4) ``` Subexpression: Fhom = homogenize(F.gens) Evaluated output: 4-element Vector{Nemo.FqMPolyRingElem}: x1 + x2 + x3 + x4 x1*x2 + x2*x3 + x1*x4 + x3*x4 x1*x2*x3 + x1*x2*x4 + x1*x3*x4 + x2*x3*x4 x1*x2*x3*x4 + 16*x5^4 Expected output: 4-element Vector{FqMPolyRingElem}: x1 + x2 + x3 + x4 x1*x2 + x2*x3 + x1*x4 + x3*x4 x1*x2*x3 + x1*x2*x4 + x1*x3*x4 + x2*x3*x4 x1*x2*x3*x4 + 16*x5^4 diff = Warning: Diff output requires color. 4-element Vector{FqMPolyRingElem}: Vector{Nemo.FqMPolyRingElem}: x1 + x2 + x3 + x4 x1*x2 + x2*x3 + x1*x4 + x3*x4 x1*x2*x3 + x1*x2*x4 + x1*x3*x4 + x2*x3*x4 x1*x2*x3*x4 + 16*x5^4