Skip to content

fix module bug, fix remove, cleanup #4

fix module bug, fix remove, cleanup

fix module bug, fix remove, cleanup #4

Triggered via push October 3, 2024 22:38
Status Failure
Total duration 2m 15s
Artifacts

CI.yml

on: push
Matrix: test
Fit to window
Zoom out
Zoom in

Annotations

17 errors, 1 warning, and 9 notices
test (~1.10.0-0, x64, ubuntu-latest)
Process completed with exit code 1.
test (1.6, x64, ubuntu-latest)
Process completed with exit code 1.
test (1.9, x64, ubuntu-latest)
Process completed with exit code 1.
Documentation: ../../../.julia/packages/Documenter/bFHi4/src/DocTests.jl#L373
doctest failure in ~/work/AlgebraicSolving.jl/AlgebraicSolving.jl/src/algorithms/groebner-bases.jl:30-42 ```jldoctest julia> using AlgebraicSolving julia> R, (x,y,z) = polynomial_ring(GF(101),["x","y","z"], internal_ordering=:degrevlex) (Multivariate polynomial ring in 3 variables over GF(101), FqMPolyRingElem[x, y, z]) julia> I = Ideal([x+2*y+2*z-1, x^2+2*y^2+2*z^2-x, 2*x*y+2*y*z-y]) FqMPolyRingElem[x + 2*y + 2*z + 100, x^2 + 2*y^2 + 2*z^2 + 100*x, 2*x*y + 2*y*z + 100*y] julia> eliminate(I, 2) 1-element Vector{FqMPolyRingElem}: z^4 + 38*z^3 + 95*z^2 + 95*z ``` Subexpression: R, (x,y,z) = polynomial_ring(GF(101),["x","y","z"], internal_ordering=:degrevlex) Evaluated output: (Multivariate polynomial ring in 3 variables over GF(101), Nemo.FqMPolyRingElem[x, y, z]) Expected output: (Multivariate polynomial ring in 3 variables over GF(101), FqMPolyRingElem[x, y, z]) diff = Warning: Diff output requires color. (Multivariate polynomial ring in 3 variables over GF(101), FqMPolyRingElem[x, Nemo.FqMPolyRingElem[x, y, z])
Documentation: ../../../.julia/packages/Documenter/bFHi4/src/DocTests.jl#L373
doctest failure in ~/work/AlgebraicSolving.jl/AlgebraicSolving.jl/src/algorithms/groebner-bases.jl:30-42 ```jldoctest julia> using AlgebraicSolving julia> R, (x,y,z) = polynomial_ring(GF(101),["x","y","z"], internal_ordering=:degrevlex) (Multivariate polynomial ring in 3 variables over GF(101), FqMPolyRingElem[x, y, z]) julia> I = Ideal([x+2*y+2*z-1, x^2+2*y^2+2*z^2-x, 2*x*y+2*y*z-y]) FqMPolyRingElem[x + 2*y + 2*z + 100, x^2 + 2*y^2 + 2*z^2 + 100*x, 2*x*y + 2*y*z + 100*y] julia> eliminate(I, 2) 1-element Vector{FqMPolyRingElem}: z^4 + 38*z^3 + 95*z^2 + 95*z ``` Subexpression: I = Ideal([x+2*y+2*z-1, x^2+2*y^2+2*z^2-x, 2*x*y+2*y*z-y]) Evaluated output: Nemo.FqMPolyRingElem[x + 2*y + 2*z + 100, x^2 + 2*y^2 + 2*z^2 + 100*x, 2*x*y + 2*y*z + 100*y] Expected output: FqMPolyRingElem[x + 2*y + 2*z + 100, x^2 + 2*y^2 + 2*z^2 + 100*x, 2*x*y + 2*y*z + 100*y] diff = Warning: Diff output requires color. FqMPolyRingElem[x Nemo.FqMPolyRingElem[x + 2*y + 2*z + 100, x^2 + 2*y^2 + 2*z^2 + 100*x, 2*x*y + 2*y*z + 100*y]
Documentation: ../../../.julia/packages/Documenter/bFHi4/src/DocTests.jl#L373
doctest failure in ~/work/AlgebraicSolving.jl/AlgebraicSolving.jl/src/algorithms/groebner-bases.jl:30-42 ```jldoctest julia> using AlgebraicSolving julia> R, (x,y,z) = polynomial_ring(GF(101),["x","y","z"], internal_ordering=:degrevlex) (Multivariate polynomial ring in 3 variables over GF(101), FqMPolyRingElem[x, y, z]) julia> I = Ideal([x+2*y+2*z-1, x^2+2*y^2+2*z^2-x, 2*x*y+2*y*z-y]) FqMPolyRingElem[x + 2*y + 2*z + 100, x^2 + 2*y^2 + 2*z^2 + 100*x, 2*x*y + 2*y*z + 100*y] julia> eliminate(I, 2) 1-element Vector{FqMPolyRingElem}: z^4 + 38*z^3 + 95*z^2 + 95*z ``` Subexpression: eliminate(I, 2) Evaluated output: 1-element Vector{Nemo.FqMPolyRingElem}: z^4 + 38*z^3 + 95*z^2 + 95*z Expected output: 1-element Vector{FqMPolyRingElem}: z^4 + 38*z^3 + 95*z^2 + 95*z diff = Warning: Diff output requires color. 1-element Vector{FqMPolyRingElem}: Vector{Nemo.FqMPolyRingElem}: z^4 + 38*z^3 + 95*z^2 + 95*z
Documentation: ../../../.julia/packages/Documenter/bFHi4/src/DocTests.jl#L373
doctest failure in ~/work/AlgebraicSolving.jl/AlgebraicSolving.jl/src/algorithms/groebner-bases.jl:92-111 ```jldoctest julia> using AlgebraicSolving julia> R, (x,y,z) = polynomial_ring(GF(101),["x","y","z"], internal_ordering=:degrevlex) (Multivariate polynomial ring in 3 variables over GF(101), FqMPolyRingElem[x, y, z]) julia> I = Ideal([x+2*y+2*z-1, x^2+2*y^2+2*z^2-x, 2*x*y+2*y*z-y]) FqMPolyRingElem[x + 2*y + 2*z + 100, x^2 + 2*y^2 + 2*z^2 + 100*x, 2*x*y + 2*y*z + 100*y] julia> groebner_basis(I) 4-element Vector{FqMPolyRingElem}: x + 2*y + 2*z + 100 y*z + 82*z^2 + 10*y + 40*z y^2 + 60*z^2 + 20*y + 81*z z^3 + 28*z^2 + 64*y + 13*z julia> groebner_basis(I, eliminate=2) 1-element Vector{FqMPolyRingElem}: z^4 + 38*z^3 + 95*z^2 + 95*z ``` Subexpression: R, (x,y,z) = polynomial_ring(GF(101),["x","y","z"], internal_ordering=:degrevlex) Evaluated output: (Multivariate polynomial ring in 3 variables over GF(101), Nemo.FqMPolyRingElem[x, y, z]) Expected output: (Multivariate polynomial ring in 3 variables over GF(101), FqMPolyRingElem[x, y, z]) diff = Warning: Diff output requires color. (Multivariate polynomial ring in 3 variables over GF(101), FqMPolyRingElem[x, Nemo.FqMPolyRingElem[x, y, z])
Documentation: ../../../.julia/packages/Documenter/bFHi4/src/DocTests.jl#L373
doctest failure in ~/work/AlgebraicSolving.jl/AlgebraicSolving.jl/src/algorithms/groebner-bases.jl:92-111 ```jldoctest julia> using AlgebraicSolving julia> R, (x,y,z) = polynomial_ring(GF(101),["x","y","z"], internal_ordering=:degrevlex) (Multivariate polynomial ring in 3 variables over GF(101), FqMPolyRingElem[x, y, z]) julia> I = Ideal([x+2*y+2*z-1, x^2+2*y^2+2*z^2-x, 2*x*y+2*y*z-y]) FqMPolyRingElem[x + 2*y + 2*z + 100, x^2 + 2*y^2 + 2*z^2 + 100*x, 2*x*y + 2*y*z + 100*y] julia> groebner_basis(I) 4-element Vector{FqMPolyRingElem}: x + 2*y + 2*z + 100 y*z + 82*z^2 + 10*y + 40*z y^2 + 60*z^2 + 20*y + 81*z z^3 + 28*z^2 + 64*y + 13*z julia> groebner_basis(I, eliminate=2) 1-element Vector{FqMPolyRingElem}: z^4 + 38*z^3 + 95*z^2 + 95*z ``` Subexpression: I = Ideal([x+2*y+2*z-1, x^2+2*y^2+2*z^2-x, 2*x*y+2*y*z-y]) Evaluated output: Nemo.FqMPolyRingElem[x + 2*y + 2*z + 100, x^2 + 2*y^2 + 2*z^2 + 100*x, 2*x*y + 2*y*z + 100*y] Expected output: FqMPolyRingElem[x + 2*y + 2*z + 100, x^2 + 2*y^2 + 2*z^2 + 100*x, 2*x*y + 2*y*z + 100*y] diff = Warning: Diff output requires color. FqMPolyRingElem[x Nemo.FqMPolyRingElem[x + 2*y + 2*z + 100, x^2 + 2*y^2 + 2*z^2 + 100*x, 2*x*y + 2*y*z + 100*y]
Documentation: ../../../.julia/packages/Documenter/bFHi4/src/DocTests.jl#L373
doctest failure in ~/work/AlgebraicSolving.jl/AlgebraicSolving.jl/src/algorithms/groebner-bases.jl:92-111 ```jldoctest julia> using AlgebraicSolving julia> R, (x,y,z) = polynomial_ring(GF(101),["x","y","z"], internal_ordering=:degrevlex) (Multivariate polynomial ring in 3 variables over GF(101), FqMPolyRingElem[x, y, z]) julia> I = Ideal([x+2*y+2*z-1, x^2+2*y^2+2*z^2-x, 2*x*y+2*y*z-y]) FqMPolyRingElem[x + 2*y + 2*z + 100, x^2 + 2*y^2 + 2*z^2 + 100*x, 2*x*y + 2*y*z + 100*y] julia> groebner_basis(I) 4-element Vector{FqMPolyRingElem}: x + 2*y + 2*z + 100 y*z + 82*z^2 + 10*y + 40*z y^2 + 60*z^2 + 20*y + 81*z z^3 + 28*z^2 + 64*y + 13*z julia> groebner_basis(I, eliminate=2) 1-element Vector{FqMPolyRingElem}: z^4 + 38*z^3 + 95*z^2 + 95*z ``` Subexpression: groebner_basis(I) Evaluated output: 4-element Vector{Nemo.FqMPolyRingElem}: x + 2*y + 2*z + 100 y*z + 82*z^2 + 10*y + 40*z y^2 + 60*z^2 + 20*y + 81*z z^3 + 28*z^2 + 64*y + 13*z Expected output: 4-element Vector{FqMPolyRingElem}: x + 2*y + 2*z + 100 y*z + 82*z^2 + 10*y + 40*z y^2 + 60*z^2 + 20*y + 81*z z^3 + 28*z^2 + 64*y + 13*z diff = Warning: Diff output requires color. 4-element Vector{FqMPolyRingElem}: Vector{Nemo.FqMPolyRingElem}: x + 2*y + 2*z + 100 y*z + 82*z^2 + 10*y + 40*z y^2 + 60*z^2 + 20*y + 81*z z^3 + 28*z^2 + 64*y + 13*z
Documentation: ../../../.julia/packages/Documenter/bFHi4/src/DocTests.jl#L373
doctest failure in ~/work/AlgebraicSolving.jl/AlgebraicSolving.jl/src/algorithms/groebner-bases.jl:92-111 ```jldoctest julia> using AlgebraicSolving julia> R, (x,y,z) = polynomial_ring(GF(101),["x","y","z"], internal_ordering=:degrevlex) (Multivariate polynomial ring in 3 variables over GF(101), FqMPolyRingElem[x, y, z]) julia> I = Ideal([x+2*y+2*z-1, x^2+2*y^2+2*z^2-x, 2*x*y+2*y*z-y]) FqMPolyRingElem[x + 2*y + 2*z + 100, x^2 + 2*y^2 + 2*z^2 + 100*x, 2*x*y + 2*y*z + 100*y] julia> groebner_basis(I) 4-element Vector{FqMPolyRingElem}: x + 2*y + 2*z + 100 y*z + 82*z^2 + 10*y + 40*z y^2 + 60*z^2 + 20*y + 81*z z^3 + 28*z^2 + 64*y + 13*z julia> groebner_basis(I, eliminate=2) 1-element Vector{FqMPolyRingElem}: z^4 + 38*z^3 + 95*z^2 + 95*z ``` Subexpression: groebner_basis(I, eliminate=2) Evaluated output: 1-element Vector{Nemo.FqMPolyRingElem}: z^4 + 38*z^3 + 95*z^2 + 95*z Expected output: 1-element Vector{FqMPolyRingElem}: z^4 + 38*z^3 + 95*z^2 + 95*z diff = Warning: Diff output requires color. 1-element Vector{FqMPolyRingElem}: Vector{Nemo.FqMPolyRingElem}: z^4 + 38*z^3 + 95*z^2 + 95*z
Documentation: ../../../.julia/packages/Documenter/bFHi4/src/DocTests.jl#L373
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: R, vars = polynomial_ring(GF(17), ["x$i" for i in 1:4]) Evaluated output: (Multivariate polynomial ring in 4 variables over GF(17), Nemo.FqMPolyRingElem[x1, x2, x3, x4]) Expected output: (Multivariate polynomial ring in 4 variables over GF(17), FqMPolyRingElem[x1, x2, x3, x4]) diff = Warning: Diff output requires color. (Multivariate polynomial ring in 4 variables over GF(17), FqMPolyRingElem[x1, Nemo.FqMPolyRingElem[x1, x2, x3, x4])
Documentation: ../../../.julia/packages/Documenter/bFHi4/src/DocTests.jl#L373
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: F = cyclic(R) Evaluated output: Nemo.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] Expected output: 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] diff = Warning: Diff output requires color. FqMPolyRingElem[x1 Nemo.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]
Documentation: ../../../.julia/packages/Documenter/bFHi4/src/DocTests.jl#L373
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
test (1.6, x64, macOS-latest)
Process completed with exit code 1.
test (nightly, x64, ubuntu-latest)
Process completed with exit code 1.
test (~1.11.0-0, x64, ubuntu-latest)
Process completed with exit code 1.
test (nightly, x64, macOS-latest)
Process completed with exit code 1.
Documentation: ../../../.julia/packages/Documenter/bFHi4/src/deployconfig.jl#L394
Possible deploydocs() misconfiguration: main vs master Documenter's configured primary development branch (`devbranch`) is "master", but the current branch (from $GITHUB_REF) is "main". This can happen because Documenter uses GitHub's old default primary branch name as the default value for `devbranch`. If your primary development branch is 'main', you must explicitly pass `devbranch = "main"` to deploydocs. See #1443 for more discussion: https://github.com/JuliaDocs/Documenter.jl/issues/1443
[julia-buildpkg] Caching of the julia depot was not detected
Consider using `julia-actions/cache` to speed up runs https://github.com/julia-actions/cache. To ignore, set input `ignore-no-cache: true`
[julia-buildpkg] Caching of the julia depot was not detected
Consider using `julia-actions/cache` to speed up runs https://github.com/julia-actions/cache. To ignore, set input `ignore-no-cache: true`
test (1.6, x64, ubuntu-latest)
[setup-julia] If you are testing 1.6 as a Long Term Support (lts) version, consider using the new "lts" version specifier instead of "1.6" explicitly, which will automatically resolve the current lts.
[julia-buildpkg] Caching of the julia depot was not detected
Consider using `julia-actions/cache` to speed up runs https://github.com/julia-actions/cache. To ignore, set input `ignore-no-cache: true`
[julia-buildpkg] Caching of the julia depot was not detected
Consider using `julia-actions/cache` to speed up runs https://github.com/julia-actions/cache. To ignore, set input `ignore-no-cache: true`
test (1.6, x64, macOS-latest)
[setup-julia] If you are testing 1.6 as a Long Term Support (lts) version, consider using the new "lts" version specifier instead of "1.6" explicitly, which will automatically resolve the current lts.
[julia-buildpkg] Caching of the julia depot was not detected
Consider using `julia-actions/cache` to speed up runs https://github.com/julia-actions/cache. To ignore, set input `ignore-no-cache: true`
[julia-buildpkg] Caching of the julia depot was not detected
Consider using `julia-actions/cache` to speed up runs https://github.com/julia-actions/cache. To ignore, set input `ignore-no-cache: true`
[julia-buildpkg] Caching of the julia depot was not detected
Consider using `julia-actions/cache` to speed up runs https://github.com/julia-actions/cache. To ignore, set input `ignore-no-cache: true`