Package evaluation of SemialgebraicSets on Julia 1.13.0-DEV.896 (efa4faf9a4*) started at 2025-07-25T11:33:36.194 ################################################################################ # Set-up # Installing PkgEval dependencies (TestEnv)... Set-up completed after 13.37s ################################################################################ # Installation # Installing SemialgebraicSets... Resolving package versions... Installed Compat ────────────────── v4.17.0 Installed OrderedCollections ────── v1.8.1 Installed DataStructures ────────── v0.18.22 Installed CommonSolve ───────────── v0.2.4 Installed ChainRulesCore ────────── v1.25.2 Installed SemialgebraicSets ─────── v0.3.3 Installed MutableArithmetics ────── v1.6.4 Installed MultivariatePolynomials ─ v0.5.9 Updating `~/.julia/environments/v1.13/Project.toml` [8e049039] + SemialgebraicSets v0.3.3 Updating `~/.julia/environments/v1.13/Manifest.toml` [d360d2e6] + ChainRulesCore v1.25.2 [38540f10] + CommonSolve v0.2.4 [34da2185] + Compat v4.17.0 [864edb3b] + DataStructures v0.18.22 [102ac46a] + MultivariatePolynomials v0.5.9 [d8a4904e] + MutableArithmetics v1.6.4 [bac558e1] + OrderedCollections v1.8.1 [8e049039] + SemialgebraicSets v0.3.3 [56f22d72] + Artifacts v1.11.0 [2a0f44e3] + Base64 v1.11.0 [ade2ca70] + Dates v1.11.0 [b77e0a4c] + InteractiveUtils v1.11.0 [ac6e5ff7] + JuliaSyntaxHighlighting v1.12.0 [8f399da3] + Libdl v1.11.0 [37e2e46d] + LinearAlgebra v1.13.0 [56ddb016] + Logging v1.11.0 [d6f4376e] + Markdown v1.11.0 [de0858da] + Printf v1.11.0 [9a3f8284] + Random v1.11.0 [ea8e919c] + SHA v0.7.0 [9e88b42a] + Serialization v1.11.0 [2f01184e] + SparseArrays v1.13.0 [f489334b] + StyledStrings v1.11.0 [fa267f1f] + TOML v1.0.3 [8dfed614] + Test v1.11.0 [cf7118a7] + UUIDs v1.11.0 [4ec0a83e] + Unicode v1.11.0 [e66e0078] + CompilerSupportLibraries_jll v1.3.0+1 [4536629a] + OpenBLAS_jll v0.3.29+0 [bea87d4a] + SuiteSparse_jll v7.10.1+0 [8e850b90] + libblastrampoline_jll v5.13.1+0 Installation completed after 1.66s ################################################################################ # Precompilation # Precompiling PkgEval dependencies... Precompiling packages... 3301.9 ms ✓ TestEnv 1 dependency successfully precompiled in 4 seconds. 26 already precompiled. Precompiling package dependencies... Precompilation completed after 59.85s ################################################################################ # Testing # Testing SemialgebraicSets Status `/tmp/jl_B9581r/Project.toml` [7c1d4256] DynamicPolynomials v0.6.2 [102ac46a] MultivariatePolynomials v0.5.9 [d8a4904e] MutableArithmetics v1.6.4 [8e049039] SemialgebraicSets v0.3.3 [37e2e46d] LinearAlgebra v1.13.0 [9a3f8284] Random v1.11.0 [8dfed614] Test v1.11.0 Status `/tmp/jl_B9581r/Manifest.toml` [d360d2e6] ChainRulesCore v1.25.2 [38540f10] CommonSolve v0.2.4 [34da2185] Compat v4.17.0 [864edb3b] DataStructures v0.18.22 [7c1d4256] DynamicPolynomials v0.6.2 [102ac46a] MultivariatePolynomials v0.5.9 [d8a4904e] MutableArithmetics v1.6.4 [bac558e1] OrderedCollections v1.8.1 [189a3867] Reexport v1.2.2 [8e049039] SemialgebraicSets v0.3.3 [56f22d72] Artifacts v1.11.0 [2a0f44e3] Base64 v1.11.0 [ade2ca70] Dates v1.11.0 [9fa8497b] Future v1.11.0 [b77e0a4c] InteractiveUtils v1.11.0 [ac6e5ff7] JuliaSyntaxHighlighting v1.12.0 [8f399da3] Libdl v1.11.0 [37e2e46d] LinearAlgebra v1.13.0 [56ddb016] Logging v1.11.0 [d6f4376e] Markdown v1.11.0 [de0858da] Printf v1.11.0 [9a3f8284] Random v1.11.0 [ea8e919c] SHA v0.7.0 [9e88b42a] Serialization v1.11.0 [2f01184e] SparseArrays v1.13.0 [f489334b] StyledStrings v1.11.0 [fa267f1f] TOML v1.0.3 [8dfed614] Test v1.11.0 [cf7118a7] UUIDs v1.11.0 [4ec0a83e] Unicode v1.11.0 [e66e0078] CompilerSupportLibraries_jll v1.3.0+1 [4536629a] OpenBLAS_jll v0.3.29+0 [bea87d4a] SuiteSparse_jll v7.10.1+0 [8e850b90] libblastrampoline_jll v5.13.1+0 Testing Running tests... Test Summary: | Pass Total Time Basic | 40 40 7.8s Test Summary: | Pass Total Time Basic with no equality | 16 16 0.1s Basic with fixed variables: Error During Test at /home/pkgeval/.julia/packages/SemialgebraicSets/BoKut/test/macro.jl:16 Test threw exception Expression: #= /home/pkgeval/.julia/packages/SemialgebraicSets/BoKut/test/macro.jl:16 =# @inferred(variables(set)) == variables(mono) return type Vector{DynamicPolynomials.Variable{DynamicPolynomials.Commutative{DynamicPolynomials.CreationOrder}, Graded{LexOrder}}} does not match inferred return type Any Stacktrace: [1] error(s::String) @ Base ./error.jl:44 [2] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:738 [inlined] [3] _test_polynomial_API(set::BasicSemialgebraicSet{Int64, DynamicPolynomials.Polynomial{DynamicPolynomials.Commutative{DynamicPolynomials.CreationOrder}, Graded{LexOrder}, Int64}, FixedVariablesSet{DynamicPolynomials.Variable{DynamicPolynomials.Commutative{DynamicPolynomials.CreationOrder}, Graded{LexOrder}}, Int64, DynamicPolynomials.Variable{DynamicPolynomials.Commutative{DynamicPolynomials.CreationOrder}, Graded{LexOrder}}}}, vars::Tuple{DynamicPolynomials.Variable{DynamicPolynomials.Commutative{DynamicPolynomials.CreationOrder}, Graded{LexOrder}}}) @ Main.TestMacro ~/.julia/packages/SemialgebraicSets/BoKut/test/macro.jl:16 Basic with fixed variables: Error During Test at /home/pkgeval/.julia/packages/SemialgebraicSets/BoKut/test/macro.jl:16 Test threw exception Expression: #= /home/pkgeval/.julia/packages/SemialgebraicSets/BoKut/test/macro.jl:16 =# @inferred(variables(set)) == variables(mono) return type Vector{DynamicPolynomials.Variable{DynamicPolynomials.Commutative{DynamicPolynomials.CreationOrder}, Graded{LexOrder}}} does not match inferred return type Any Stacktrace: [1] error(s::String) @ Base ./error.jl:44 [2] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:738 [inlined] [3] _test_polynomial_API(set::BasicSemialgebraicSet{Int64, DynamicPolynomials.Polynomial{DynamicPolynomials.Commutative{DynamicPolynomials.CreationOrder}, Graded{LexOrder}, Int64}, FixedVariablesSet{DynamicPolynomials.Variable{DynamicPolynomials.Commutative{DynamicPolynomials.CreationOrder}, Graded{LexOrder}}, Int64, DynamicPolynomials.Variable{DynamicPolynomials.Commutative{DynamicPolynomials.CreationOrder}, Graded{LexOrder}}}}, vars::Tuple{DynamicPolynomials.Variable{DynamicPolynomials.Commutative{DynamicPolynomials.CreationOrder}, Graded{LexOrder}}, DynamicPolynomials.Variable{DynamicPolynomials.Commutative{DynamicPolynomials.CreationOrder}, Graded{LexOrder}}}) @ Main.TestMacro ~/.julia/packages/SemialgebraicSets/BoKut/test/macro.jl:16 Basic with fixed variables: Error During Test at /home/pkgeval/.julia/packages/SemialgebraicSets/BoKut/test/macro.jl:16 Test threw exception Expression: #= /home/pkgeval/.julia/packages/SemialgebraicSets/BoKut/test/macro.jl:16 =# @inferred(variables(set)) == variables(mono) return type Vector{DynamicPolynomials.Variable{DynamicPolynomials.Commutative{DynamicPolynomials.CreationOrder}, Graded{LexOrder}}} does not match inferred return type Any Stacktrace: [1] error(s::String) @ Base ./error.jl:44 [2] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:738 [inlined] [3] _test_polynomial_API(set::BasicSemialgebraicSet{Int64, DynamicPolynomials.Polynomial{DynamicPolynomials.Commutative{DynamicPolynomials.CreationOrder}, Graded{LexOrder}, Int64}, FixedVariablesSet{DynamicPolynomials.Variable{DynamicPolynomials.Commutative{DynamicPolynomials.CreationOrder}, Graded{LexOrder}}, Int64, DynamicPolynomials.Variable{DynamicPolynomials.Commutative{DynamicPolynomials.CreationOrder}, Graded{LexOrder}}}}, vars::Tuple{DynamicPolynomials.Variable{DynamicPolynomials.Commutative{DynamicPolynomials.CreationOrder}, Graded{LexOrder}}, DynamicPolynomials.Variable{DynamicPolynomials.Commutative{DynamicPolynomials.CreationOrder}, Graded{LexOrder}}}) @ Main.TestMacro ~/.julia/packages/SemialgebraicSets/BoKut/test/macro.jl:16 Empty: Error During Test at /home/pkgeval/.julia/packages/SemialgebraicSets/BoKut/test/macro.jl:16 Test threw exception Expression: #= /home/pkgeval/.julia/packages/SemialgebraicSets/BoKut/test/macro.jl:16 =# @inferred(variables(set)) == variables(mono) return type Vector{DynamicPolynomials.Variable{DynamicPolynomials.Commutative{DynamicPolynomials.CreationOrder}, Graded{LexOrder}}} does not match inferred return type Any Stacktrace: [1] error(s::String) @ Base ./error.jl:44 [2] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:738 [inlined] [3] _test_polynomial_API(set::BasicSemialgebraicSet{Int64, DynamicPolynomials.Polynomial{DynamicPolynomials.Commutative{DynamicPolynomials.CreationOrder}, Graded{LexOrder}, Int64}, FixedVariablesSet{DynamicPolynomials.Variable{DynamicPolynomials.Commutative{DynamicPolynomials.CreationOrder}, Graded{LexOrder}}, Int64, DynamicPolynomials.Variable{DynamicPolynomials.Commutative{DynamicPolynomials.CreationOrder}, Graded{LexOrder}}}}, vars::Tuple{DynamicPolynomials.Variable{DynamicPolynomials.Commutative{DynamicPolynomials.CreationOrder}, Graded{LexOrder}}, DynamicPolynomials.Variable{DynamicPolynomials.Commutative{DynamicPolynomials.CreationOrder}, Graded{LexOrder}}}) @ Main.TestMacro ~/.julia/packages/SemialgebraicSets/BoKut/test/macro.jl:16 Empty: Error During Test at /home/pkgeval/.julia/packages/SemialgebraicSets/BoKut/test/macro.jl:16 Test threw exception Expression: #= /home/pkgeval/.julia/packages/SemialgebraicSets/BoKut/test/macro.jl:16 =# @inferred(variables(set)) == variables(mono) return type Vector{DynamicPolynomials.Variable{DynamicPolynomials.Commutative{DynamicPolynomials.CreationOrder}, Graded{LexOrder}}} does not match inferred return type Any Stacktrace: [1] error(s::String) @ Base ./error.jl:44 [2] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:738 [inlined] [3] _test_polynomial_API(set::BasicSemialgebraicSet{Int64, DynamicPolynomials.Polynomial{DynamicPolynomials.Commutative{DynamicPolynomials.CreationOrder}, Graded{LexOrder}, Int64}, FixedVariablesSet{DynamicPolynomials.Variable{DynamicPolynomials.Commutative{DynamicPolynomials.CreationOrder}, Graded{LexOrder}}, Int64, DynamicPolynomials.Variable{DynamicPolynomials.Commutative{DynamicPolynomials.CreationOrder}, Graded{LexOrder}}}}, vars::Tuple{DynamicPolynomials.Variable{DynamicPolynomials.Commutative{DynamicPolynomials.CreationOrder}, Graded{LexOrder}}, DynamicPolynomials.Variable{DynamicPolynomials.Commutative{DynamicPolynomials.CreationOrder}, Graded{LexOrder}}}) @ Main.TestMacro ~/.julia/packages/SemialgebraicSets/BoKut/test/macro.jl:16 Empty: Error During Test at /home/pkgeval/.julia/packages/SemialgebraicSets/BoKut/test/macro.jl:16 Test threw exception Expression: #= /home/pkgeval/.julia/packages/SemialgebraicSets/BoKut/test/macro.jl:16 =# @inferred(variables(set)) == variables(mono) return type Vector{DynamicPolynomials.Variable{DynamicPolynomials.Commutative{DynamicPolynomials.CreationOrder}, Graded{LexOrder}}} does not match inferred return type Any Stacktrace: [1] error(s::String) @ Base ./error.jl:44 [2] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:738 [inlined] [3] _test_polynomial_API(set::BasicSemialgebraicSet{Int64, DynamicPolynomials.Polynomial{DynamicPolynomials.Commutative{DynamicPolynomials.CreationOrder}, Graded{LexOrder}, Int64}, FixedVariablesSet{DynamicPolynomials.Variable{DynamicPolynomials.Commutative{DynamicPolynomials.CreationOrder}, Graded{LexOrder}}, Int64, DynamicPolynomials.Variable{DynamicPolynomials.Commutative{DynamicPolynomials.CreationOrder}, Graded{LexOrder}}}}, vars::Tuple{DynamicPolynomials.Variable{DynamicPolynomials.Commutative{DynamicPolynomials.CreationOrder}, Graded{LexOrder}}, DynamicPolynomials.Variable{DynamicPolynomials.Commutative{DynamicPolynomials.CreationOrder}, Graded{LexOrder}}}) @ Main.TestMacro ~/.julia/packages/SemialgebraicSets/BoKut/test/macro.jl:16 Empty: Error During Test at /home/pkgeval/.julia/packages/SemialgebraicSets/BoKut/test/macro.jl:16 Test threw exception Expression: #= /home/pkgeval/.julia/packages/SemialgebraicSets/BoKut/test/macro.jl:16 =# @inferred(variables(set)) == variables(mono) return type Vector{DynamicPolynomials.Variable{DynamicPolynomials.Commutative{DynamicPolynomials.CreationOrder}, Graded{LexOrder}}} does not match inferred return type Any Stacktrace: [1] error(s::String) @ Base ./error.jl:44 [2] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:738 [inlined] [3] _test_polynomial_API(set::BasicSemialgebraicSet{Int64, DynamicPolynomials.Polynomial{DynamicPolynomials.Commutative{DynamicPolynomials.CreationOrder}, Graded{LexOrder}, Int64}, FixedVariablesSet{DynamicPolynomials.Variable{DynamicPolynomials.Commutative{DynamicPolynomials.CreationOrder}, Graded{LexOrder}}, Int64, DynamicPolynomials.Variable{DynamicPolynomials.Commutative{DynamicPolynomials.CreationOrder}, Graded{LexOrder}}}}, vars::Tuple{DynamicPolynomials.Variable{DynamicPolynomials.Commutative{DynamicPolynomials.CreationOrder}, Graded{LexOrder}}, DynamicPolynomials.Variable{DynamicPolynomials.Commutative{DynamicPolynomials.CreationOrder}, Graded{LexOrder}}}) @ Main.TestMacro ~/.julia/packages/SemialgebraicSets/BoKut/test/macro.jl:16 Empty: Error During Test at /home/pkgeval/.julia/packages/SemialgebraicSets/BoKut/test/macro.jl:16 Test threw exception Expression: #= /home/pkgeval/.julia/packages/SemialgebraicSets/BoKut/test/macro.jl:16 =# @inferred(variables(set)) == variables(mono) return type Vector{DynamicPolynomials.Variable{DynamicPolynomials.Commutative{DynamicPolynomials.CreationOrder}, Graded{LexOrder}}} does not match inferred return type Any Stacktrace: [1] error(s::String) @ Base ./error.jl:44 [2] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:738 [inlined] [3] _test_polynomial_API(set::BasicSemialgebraicSet{Int64, DynamicPolynomials.Polynomial{DynamicPolynomials.Commutative{DynamicPolynomials.CreationOrder}, Graded{LexOrder}, Int64}, FixedVariablesSet{DynamicPolynomials.Variable{DynamicPolynomials.Commutative{DynamicPolynomials.CreationOrder}, Graded{LexOrder}}, Int64, DynamicPolynomials.Variable{DynamicPolynomials.Commutative{DynamicPolynomials.CreationOrder}, Graded{LexOrder}}}}, vars::Tuple{DynamicPolynomials.Variable{DynamicPolynomials.Commutative{DynamicPolynomials.CreationOrder}, Graded{LexOrder}}, DynamicPolynomials.Variable{DynamicPolynomials.Commutative{DynamicPolynomials.CreationOrder}, Graded{LexOrder}}}) @ Main.TestMacro ~/.julia/packages/SemialgebraicSets/BoKut/test/macro.jl:16 Test Summary: | Pass Error Total Time Basic with fixed variables | 65 8 73 12.7s Empty | 40 5 45 0.2s RNG of the outermost testset: Random.Xoshiro(0xd24bd3e23c787b7a, 0xac201b06b4a7e32e, 0xc2d2996286fb8884, 0xb675f361c076301f, 0xa202cb8f40952071) ERROR: LoadError: Some tests did not pass: 65 passed, 0 failed, 8 errored, 0 broken. in expression starting at /home/pkgeval/.julia/packages/SemialgebraicSets/BoKut/test/macro.jl:206 in expression starting at /home/pkgeval/.julia/packages/SemialgebraicSets/BoKut/test/commutativetests.jl:1 in expression starting at /home/pkgeval/.julia/packages/SemialgebraicSets/BoKut/test/runtests.jl:18 Testing failed after 69.48s ERROR: LoadError: Package SemialgebraicSets errored during testing Stacktrace: [1] pkgerror(::String, ::Vararg{String}) @ Pkg.Types /opt/julia/share/julia/stdlib/v1.13/Pkg/src/Types.jl:68 [2] test(ctx::Pkg.Types.Context, pkgs::Vector{PackageSpec}; coverage::Bool, julia_args::Cmd, test_args::Cmd, test_fn::Nothing, force_latest_compatible_version::Bool, allow_earlier_backwards_compatible_versions::Bool, allow_reresolve::Bool) @ Pkg.Operations /opt/julia/share/julia/stdlib/v1.13/Pkg/src/Operations.jl:2661 [3] test @ /opt/julia/share/julia/stdlib/v1.13/Pkg/src/Operations.jl:2510 [inlined] [4] test(ctx::Pkg.Types.Context, pkgs::Vector{PackageSpec}; coverage::Bool, test_fn::Nothing, julia_args::Cmd, test_args::Cmd, force_latest_compatible_version::Bool, allow_earlier_backwards_compatible_versions::Bool, allow_reresolve::Bool, kwargs::@Kwargs{io::IOContext{IO}}) @ Pkg.API /opt/julia/share/julia/stdlib/v1.13/Pkg/src/API.jl:538 [5] test(pkgs::Vector{PackageSpec}; io::IOContext{IO}, kwargs::@Kwargs{julia_args::Cmd}) @ Pkg.API /opt/julia/share/julia/stdlib/v1.13/Pkg/src/API.jl:168 [6] test(pkgs::Vector{String}; kwargs::@Kwargs{julia_args::Cmd}) @ Pkg.API /opt/julia/share/julia/stdlib/v1.13/Pkg/src/API.jl:156 [7] test @ /opt/julia/share/julia/stdlib/v1.13/Pkg/src/API.jl:156 [inlined] [8] #test#81 @ /opt/julia/share/julia/stdlib/v1.13/Pkg/src/API.jl:155 [inlined] [9] top-level scope @ /PkgEval.jl/scripts/evaluate.jl:219 [10] include(mod::Module, _path::String) @ Base ./Base.jl:311 [11] exec_options(opts::Base.JLOptions) @ Base ./client.jl:320 [12] _start() @ Base ./client.jl:553 in expression starting at /PkgEval.jl/scripts/evaluate.jl:210 PkgEval failed after 158.67s: package tests unexpectedly errored