Package evaluation to test AbstractAlgebra on Julia 1.14.0-DEV.3055 (7e75a8061a*) started at 2026-08-27T14:28:54.086 ################################################################################ # Set-up # Installing PkgEval dependencies (TestEnv)... Activating project at `~/.julia/environments/v1.14` Set-up completed after 15.41s ################################################################################ # Installation # Installing AbstractAlgebra... Resolving package versions... Installed Compat ─────────── v4.18.1 Installed MacroTools ─────── v0.5.16 Installed RandomExtensions ─ v0.4.4 Installed Preferences ────── v1.5.2 Installed PrecompileTools ── v1.3.4 Installed AbstractAlgebra ── v0.50.2 Updating `~/.julia/environments/v1.14/Project.toml` [c3fe647b] + AbstractAlgebra v0.50.2 Updating `~/.julia/environments/v1.14/Manifest.toml` [c3fe647b] + AbstractAlgebra v0.50.2 [34da2185] + Compat v4.18.1 [1914dd2f] + MacroTools v0.5.16 [aea7be01] + PrecompileTools v1.3.4 [21216c6a] + Preferences v1.5.2 [fb686558] + RandomExtensions v0.4.4 [56f22d72] + Artifacts v1.11.0 [ade2ca70] + Dates v1.11.0 [8f399da3] + Libdl v1.11.0 [37e2e46d] + LinearAlgebra v1.14.0 [de0858da] + Printf v1.11.0 [9a3f8284] + Random v1.11.0 [ea8e919c] + SHA v1.13.0 [9e88b42a] + Serialization v1.11.0 [2f01184e] + SparseArrays v1.13.0 [fa267f1f] + TOML v1.0.3 [cf7118a7] + UUIDs v1.11.0 [4ec0a83e] + Unicode v1.11.0 [e66e0078] + CompilerSupportLibraries_jll v1.5.7+0 [4536629a] + OpenBLAS_jll v0.3.34+0 [bea87d4a] + SuiteSparse_jll v7.10.1+0 [8e850b90] + libblastrampoline_jll v5.15.0+0 Installation completed after 4.29s ################################################################################ # Precompilation # Precompiling PkgEval dependencies... Precompiling project... 4.4 s ✓ TestEnv 1 dependency successfully precompiled in 5 seconds. 27 already precompiled. Precompiling package dependencies... Precompiling project... 3.5 s ✓ MacroTools 4.9 s ✓ RandomExtensions 0.9 s ✓ Compat 1.3 s ✓ Preferences 0.7 s ✓ Compat → CompatLinearAlgebraExt 1.4 s ✓ PrecompileTools 6.3 s ✓ Aqua 104.5 s ✓ AbstractAlgebra 7.7 s ✓ AbstractAlgebra → TestExt 9 dependencies successfully precompiled in 131 seconds. 34 already precompiled. Precompilation completed after 154.55s ################################################################################ # Testing # Testing AbstractAlgebra Status `/tmp/jl_0AxR5o/Project.toml` [c3fe647b] AbstractAlgebra v0.50.2 [4c88cf16] Aqua v0.8.16 [44cfe95a] Pkg v1.14.0 [3fa0cd96] REPL v1.11.0 [8dfed614] Test v1.11.0 Status `/tmp/jl_0AxR5o/Manifest.toml` [c3fe647b] AbstractAlgebra v0.50.2 [4c88cf16] Aqua v0.8.16 [34da2185] Compat v4.18.1 [1914dd2f] MacroTools v0.5.16 [aea7be01] PrecompileTools v1.3.4 [21216c6a] Preferences v1.5.2 [fb686558] RandomExtensions v0.4.4 [0dad84c5] ArgTools v1.2.0 [56f22d72] Artifacts v1.11.0 [2a0f44e3] Base64 v1.11.0 [ade2ca70] Dates v1.11.0 [f43a241f] Downloads v1.7.0 [7b1f6079] FileWatching v1.11.0 [b77e0a4c] InteractiveUtils v1.11.0 [ac6e5ff7] JuliaSyntaxHighlighting v1.13.0 [b27032c2] LibCURL v1.0.0 [76f85450] LibGit2 v1.11.0 [8f399da3] Libdl v1.11.0 [37e2e46d] LinearAlgebra v1.14.0 [56ddb016] Logging v1.11.0 [d6f4376e] Markdown v1.11.0 [ca575930] NetworkOptions v1.3.0 [44cfe95a] Pkg v1.14.0 [de0858da] Printf v1.11.0 [3fa0cd96] REPL v1.11.0 [9a3f8284] Random v1.11.0 [ea8e919c] SHA v1.13.0 [9e88b42a] Serialization v1.11.0 [6462fe0b] Sockets v1.11.0 [2f01184e] SparseArrays v1.13.0 [f489334b] StyledStrings v1.13.0 [fa267f1f] TOML v1.0.3 [a4e569a6] Tar v1.10.0 [8dfed614] Test v1.11.0 [cf7118a7] UUIDs v1.11.0 [4ec0a83e] Unicode v1.11.0 [e66e0078] CompilerSupportLibraries_jll v1.5.7+0 [deac9b47] LibCURL_jll v8.21.0+0 [e37daf67] LibGit2_jll v1.9.7+0 [29816b5a] LibSSH2_jll v1.11.104+0 [14a3606d] MozillaCACerts_jll v2026.8.13 [4536629a] OpenBLAS_jll v0.3.34+0 [458c3c95] OpenSSL_jll v3.5.8+0 [efcefdf7] PCRE2_jll v10.47.0+0 [bea87d4a] SuiteSparse_jll v7.10.1+0 [83775a58] Zlib_jll v1.3.2+0 [3161d3a3] Zstd_jll v1.5.7+1 [8e850b90] libblastrampoline_jll v5.15.0+0 [8e850ede] nghttp2_jll v1.70.0+0 [3f19e933] p7zip_jll v17.8.2+0 Testing Running tests... Test Summary: | Pass Total Time Banners | 5 5 1m15.0s Unbound type parameters detected: [1] solve_context_type(NF::AbstractAlgebra.Solve.MatrixNormalFormTrait, ::Type{var"#s1018"} where var"#s1018"<:MatElem{T}) where T @ AbstractAlgebra.Solve ~/.julia/packages/AbstractAlgebra/V9Znx/src/Solve.jl:252 [2] is_domain_type(::Type{T}) where {S<:RingElement, T<:Union{LaurentSeriesFieldElem{S}, LaurentSeriesRingElem{S}}} @ AbstractAlgebra.Generic ~/.julia/packages/AbstractAlgebra/V9Znx/src/generic/LaurentSeries.jl:52 [3] is_exact_type(a::Type{S}) where {T<:RingElement, S<:FreeAssociativeAlgebraElem{T}} @ AbstractAlgebra ~/.julia/packages/AbstractAlgebra/V9Znx/src/FreeAssociativeAlgebra.jl:20 [4] is_domain_type(::Type{T}) where {S<:RingElement, T<:PolyRingElem{S}} @ AbstractAlgebra ~/.julia/packages/AbstractAlgebra/V9Znx/src/Poly.jl:20 [5] is_domain_type(::Type{var"#s1018"} where var"#s1018"<:LaurentPolyRingElem{T}) where T @ AbstractAlgebra ~/.julia/packages/AbstractAlgebra/V9Znx/src/LaurentPoly.jl:19 [6] promote_rule(::Type{S}, ::Type{S}) where {T<:NCRingElement, S<:MatRingElem{T}} @ AbstractAlgebra.Generic ~/.julia/packages/AbstractAlgebra/V9Znx/src/generic/MatRing.jl:181 [7] is_exact_type(a::Type{T}) where {S<:RingElement, T<:ResFieldElem{S}} @ AbstractAlgebra ~/.julia/packages/AbstractAlgebra/V9Znx/src/ResidueField.jl:21 [8] is_exact_type(::Type{var"#s1018"} where var"#s1018"<:(UniversalRingElem{T})) where T @ AbstractAlgebra ~/.julia/packages/AbstractAlgebra/V9Znx/src/UniversalRing.jl:21 [9] is_domain_type(::Type{T}) where {S<:RingElem, T<:TotFrac{S}} @ AbstractAlgebra.Generic ~/.julia/packages/AbstractAlgebra/V9Znx/src/generic/TotalFraction.jl:29 [10] is_domain_type(::Type{S}) where {T<:RingElement, S<:FreeAssociativeAlgebraElem{T}} @ AbstractAlgebra ~/.julia/packages/AbstractAlgebra/V9Znx/src/FreeAssociativeAlgebra.jl:16 [11] is_domain_type(::Type{var"#s1018"} where var"#s1018"<:(UniversalRingElem{T})) where T @ AbstractAlgebra ~/.julia/packages/AbstractAlgebra/V9Znx/src/UniversalRing.jl:19 [12] promote_rule(::Type{S}, ::Type{U}) where {T<:NCRingElement, S<:Mat{T}, U<:NCRingElement} @ AbstractAlgebra.Generic ~/.julia/packages/AbstractAlgebra/V9Znx/src/generic/Matrix.jl:110 [13] is_exact_type(::Type{var"#s1018"} where var"#s1018"<:LaurentPolyRingElem{T}) where T @ AbstractAlgebra ~/.julia/packages/AbstractAlgebra/V9Znx/src/LaurentPoly.jl:20 [14] is_exact_type(a::Type{S}) where {T<:FieldElement, U<:Union{MPolyRingElem, PolyRingElem}, S<:RationalFunctionFieldElem{T, U}} @ AbstractAlgebra.Generic ~/.julia/packages/AbstractAlgebra/V9Znx/src/generic/RationalFunctionField.jl:33 [15] is_domain_type(::Type{T}) where {S<:RingElement, T<:SeriesElem{S}} @ AbstractAlgebra ~/.julia/packages/AbstractAlgebra/V9Znx/src/RelSeries.jl:36 [16] is_exact_type(a::Type{T}) where {S<:RingElement, T<:ResElem{S}} @ AbstractAlgebra ~/.julia/packages/AbstractAlgebra/V9Znx/src/Residue.jl:21 [17] promote_rule(::Type{S}, ::Type{U}) where {T<:NCRingElement, S<:MatRingElem{T}, U<:NCRingElement} @ AbstractAlgebra.Generic ~/.julia/packages/AbstractAlgebra/V9Znx/src/generic/MatRing.jl:183 [18] extract_gens(B::Vector{T}) where {N, U<:MPolyRingElem, V, T<:lmnode{U, V, N}} @ AbstractAlgebra.Generic ~/.julia/packages/AbstractAlgebra/V9Znx/src/generic/Ideal.jl:1293 [19] is_exact_type(a::Type{T}) where {S<:RingElem, T<:TotFrac{S}} @ AbstractAlgebra.Generic ~/.julia/packages/AbstractAlgebra/V9Znx/src/generic/TotalFraction.jl:33 [20] is_exact_type(a::Type{T}) where {S<:RingElement, T<:MPolyRingElem{S}} @ AbstractAlgebra ~/.julia/packages/AbstractAlgebra/V9Znx/src/MPoly.jl:99 [21] promote_rule(::Type{S}, ::Type{S}) where {T<:NCRingElement, S<:Mat{T}} @ AbstractAlgebra.Generic ~/.julia/packages/AbstractAlgebra/V9Znx/src/generic/Matrix.jl:108 [22] is_domain_type(::Type{T}) where {S<:RingElement, T<:Union{PuiseuxSeriesFieldElem{S}, PuiseuxSeriesRingElem{S}}} @ AbstractAlgebra.Generic ~/.julia/packages/AbstractAlgebra/V9Znx/src/generic/PuiseuxSeries.jl:96 [23] direct_sum(m::Vector{<:AbstractAlgebra.FPModule{T}}) where T<:RingElement @ AbstractAlgebra.Generic ~/.julia/packages/AbstractAlgebra/V9Znx/src/generic/DirectSum.jl:213 [24] is_exact_type(a::Type{T}) where {S<:RingElement, T<:PolyRingElem{S}} @ AbstractAlgebra ~/.julia/packages/AbstractAlgebra/V9Znx/src/Poly.jl:24 [25] is_exact_type(a::Type{T}) where {S<:NCRingElem, T<:NCPolyRingElem{S}} @ AbstractAlgebra ~/.julia/packages/AbstractAlgebra/V9Znx/src/NCPoly.jl:18 [26] is_exact_type(a::Type{T}) where {S<:RingElement, T<:FracElem{S}} @ AbstractAlgebra ~/.julia/packages/AbstractAlgebra/V9Znx/src/Fraction.jl:19 [27] is_exact_type(a::Type{T}) where {S<:FieldElement, T<:(AbsSimpleFunctionFieldElem{S, U} where U<:PolyRingElem{S})} @ AbstractAlgebra.Generic ~/.julia/packages/AbstractAlgebra/V9Znx/src/generic/FunctionField.jl:543 [28] is_domain_type(::Type{T}) where {S<:RingElement, T<:FracElem{S}} @ AbstractAlgebra ~/.julia/packages/AbstractAlgebra/V9Znx/src/Fraction.jl:15 [29] is_domain_type(::Type{T}) where {S<:RingElement, T<:MPolyRingElem{S}} @ AbstractAlgebra ~/.julia/packages/AbstractAlgebra/V9Znx/src/MPoly.jl:95 Unbound type parameters: Test Failed at /home/pkgeval/.julia/packages/Aqua/h1qD0/src/unbound_args.jl:38 Expression: isempty(unbounds) Evaluated: isempty(Method[solve_context_type(NF::AbstractAlgebra.Solve.MatrixNormalFormTrait, ::Type{var"#s1018"} where var"#s1018"<:MatElem{T}) where T @ AbstractAlgebra.Solve ~/.julia/packages/AbstractAlgebra/V9Znx/src/Solve.jl:252, is_domain_type(::Type{T}) where {S<:RingElement, T<:Union{LaurentSeriesFieldElem{S}, LaurentSeriesRingElem{S}}} @ AbstractAlgebra.Generic ~/.julia/packages/AbstractAlgebra/V9Znx/src/generic/LaurentSeries.jl:52, is_exact_type(a::Type{S}) where {T<:RingElement, S<:FreeAssociativeAlgebraElem{T}} @ AbstractAlgebra ~/.julia/packages/AbstractAlgebra/V9Znx/src/FreeAssociativeAlgebra.jl:20, is_domain_type(::Type{T}) where {S<:RingElement, T<:PolyRingElem{S}} @ AbstractAlgebra ~/.julia/packages/AbstractAlgebra/V9Znx/src/Poly.jl:20, is_domain_type(::Type{var"#s1018"} where var"#s1018"<:LaurentPolyRingElem{T}) where T @ AbstractAlgebra ~/.julia/packages/AbstractAlgebra/V9Znx/src/LaurentPoly.jl:19, promote_rule(::Type{S}, ::Type{S}) where {T<:NCRingElement, S<:MatRingElem{T}} @ AbstractAlgebra.Generic ~/.julia/packages/AbstractAlgebra/V9Znx/src/generic/MatRing.jl:181, is_exact_type(a::Type{T}) where {S<:RingElement, T<:ResFieldElem{S}} @ AbstractAlgebra ~/.julia/packages/AbstractAlgebra/V9Znx/src/ResidueField.jl:21, is_exact_type(::Type{var"#s1018"} where var"#s1018"<:(UniversalRingElem{T})) where T @ AbstractAlgebra ~/.julia/packages/AbstractAlgebra/V9Znx/src/UniversalRing.jl:21, is_domain_type(::Type{T}) where {S<:RingElem, T<:TotFrac{S}} @ AbstractAlgebra.Generic ~/.julia/packages/AbstractAlgebra/V9Znx/src/generic/TotalFraction.jl:29, is_domain_type(::Type{S}) where {T<:RingElement, S<:FreeAssociativeAlgebraElem{T}} @ AbstractAlgebra ~/.julia/packages/AbstractAlgebra/V9Znx/src/FreeAssociativeAlgebra.jl:16 … is_exact_type(a::Type{T}) where {S<:RingElement, T<:MPolyRingElem{S}} @ AbstractAlgebra ~/.julia/packages/AbstractAlgebra/V9Znx/src/MPoly.jl:99, promote_rule(::Type{S}, ::Type{S}) where {T<:NCRingElement, S<:Mat{T}} @ AbstractAlgebra.Generic ~/.julia/packages/AbstractAlgebra/V9Znx/src/generic/Matrix.jl:108, is_domain_type(::Type{T}) where {S<:RingElement, T<:Union{PuiseuxSeriesFieldElem{S}, PuiseuxSeriesRingElem{S}}} @ AbstractAlgebra.Generic ~/.julia/packages/AbstractAlgebra/V9Znx/src/generic/PuiseuxSeries.jl:96, direct_sum(m::Vector{<:AbstractAlgebra.FPModule{T}}) where T<:RingElement @ AbstractAlgebra.Generic ~/.julia/packages/AbstractAlgebra/V9Znx/src/generic/DirectSum.jl:213, is_exact_type(a::Type{T}) where {S<:RingElement, T<:PolyRingElem{S}} @ AbstractAlgebra ~/.julia/packages/AbstractAlgebra/V9Znx/src/Poly.jl:24, is_exact_type(a::Type{T}) where {S<:NCRingElem, T<:NCPolyRingElem{S}} @ AbstractAlgebra ~/.julia/packages/AbstractAlgebra/V9Znx/src/NCPoly.jl:18, is_exact_type(a::Type{T}) where {S<:RingElement, T<:FracElem{S}} @ AbstractAlgebra ~/.julia/packages/AbstractAlgebra/V9Znx/src/Fraction.jl:19, is_exact_type(a::Type{T}) where {S<:FieldElement, T<:(AbsSimpleFunctionFieldElem{S, U} where U<:PolyRingElem{S})} @ AbstractAlgebra.Generic ~/.julia/packages/AbstractAlgebra/V9Znx/src/generic/FunctionField.jl:543, is_domain_type(::Type{T}) where {S<:RingElement, T<:FracElem{S}} @ AbstractAlgebra ~/.julia/packages/AbstractAlgebra/V9Znx/src/Fraction.jl:15, is_domain_type(::Type{T}) where {S<:RingElement, T<:MPolyRingElem{S}} @ AbstractAlgebra ~/.julia/packages/AbstractAlgebra/V9Znx/src/MPoly.jl:95]) Stacktrace: [1] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:784 [inlined] [2] test_unbound_args(m::Module; broken::Bool) @ Aqua ~/.julia/packages/Aqua/h1qD0/src/unbound_args.jl:38 [3] test_unbound_args(m::Module) @ Aqua ~/.julia/packages/Aqua/h1qD0/src/unbound_args.jl:14 [inlined] [4] macro expansion @ ~/.julia/packages/Aqua/h1qD0/src/Aqua.jl:78 [inlined] [5] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2247 [inlined] [6] test_all(testtarget::Module; ambiguities::Bool, unbound_args::Bool, undefined_exports::Bool, project_extras::Bool, stale_deps::Bool, deps_compat::Bool, piracies::Bool, persistent_tasks::Bool, undocumented_names::Bool) @ Aqua ~/.julia/packages/Aqua/h1qD0/src/Aqua.jl:78 Test Summary: | Pass Fail Total Time Aqua.jl | 8 1 9 1m19.1s Unbound type parameters | 1 1 18.5s Undefined exports | 1 1 0.0s Compare Project.toml and test/Project.toml | 1 1 0.3s Stale dependencies | 1 1 6.9s Compat bounds | 4 4 0.6s Persistent tasks | 1 1 34.7s RNG of the outermost testset: Random.Xoshiro(0x357075242df6c44e, 0x8afcbec81cd97825, 0x90624c7d981d0fb6, 0xbf296211c6a46348, 0xe273de6ceb933243) ERROR: LoadError: Some tests did not pass: 8 passed, 1 failed, 0 errored, 0 broken. in expression starting at /home/pkgeval/.julia/packages/AbstractAlgebra/V9Znx/test/Aqua.jl:3 in expression starting at /home/pkgeval/.julia/packages/AbstractAlgebra/V9Znx/test/runtests.jl:30 Testing failed after 166.39s ERROR: LoadError: Package AbstractAlgebra errored during testing Stacktrace: [1] pkgerror(msg::String) @ Pkg.Types /opt/julia/share/julia/stdlib/v1.14/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.14/Pkg/src/Operations.jl:3283 [3] 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.14/Pkg/src/API.jl:587 [4] test(pkgs::Vector{PackageSpec}; io::IOContext{IO}, kwargs::@Kwargs{julia_args::Cmd}) @ Pkg.API /opt/julia/share/julia/stdlib/v1.14/Pkg/src/API.jl:172 [5] test(pkgs::Vector{String}; kwargs::@Kwargs{julia_args::Cmd}) @ Pkg.API /opt/julia/share/julia/stdlib/v1.14/Pkg/src/API.jl:160 [6] test(pkg::String; kwargs::@Kwargs{julia_args::Cmd}) @ Pkg.API /opt/julia/share/julia/stdlib/v1.14/Pkg/src/API.jl:159 [inlined] [7] top-level scope @ /PkgEval.jl/scripts/evaluate.jl:223 in expression starting at /PkgEval.jl/scripts/evaluate.jl:214 PkgEval failed after 387.8s: package has test failures