Package evaluation to test Polymake on Julia 1.14.0-DEV.2309 (6e1a27e459*) started at 2026-06-06T23:45:06.821 ################################################################################ # Set-up # Installing PkgEval dependencies (TestEnv)... Activating project at `~/.julia/environments/v1.14` Set-up completed after 17.5s ################################################################################ # Installation # Installing Polymake... Resolving package versions... Installed Bzip2_jll ──────────────── v1.0.9+0 Installed TOPCOM_jll ─────────────── v0.17.8+0 Installed snappy_jll ─────────────── v1.2.3+0 Installed libpolymake_julia_jll ──── v0.14.8+0 Installed MUMPS_seq_jll ──────────── v500.900.0+0 Installed MacroTools ─────────────── v0.5.16 Installed DecFP ──────────────────── v1.4.2 Installed PrecompileTools ────────── v1.3.4 Installed CxxWrap ────────────────── v0.17.5 Installed ASL_jll ────────────────── v0.1.3+0 Installed Perl_jll ───────────────── v5.34.1+0 Installed BinaryWrappers ─────────── v0.2.0 Installed Xorg_libpciaccess_jll ──── v0.19.0+0 Installed lib4ti2_jll ────────────── v1.6.10+0 Installed FLINT_jll ──────────────── v301.500.0+0 Installed StructUtils ────────────── v2.8.2 Installed Ncurses_jll ────────────── v6.6.0+2 Installed AbstractAlgebra ────────── v0.49.0 Installed polymake_jll ───────────── v400.1500.4+0 Installed Polymake ───────────────── v0.13.11 Installed Ipopt_jll ──────────────── v300.1400.1902+0 Installed libcxxwrap_julia_jll ───── v0.14.10+0 Installed OpenSpecFun_jll ────────── v0.5.6+0 Installed LogExpFunctions ────────── v1.0.1 Installed SCIP_jll ───────────────── v900.200.400+0 Installed PPL_jll ────────────────── v1.2.1+0 Installed IrrationalConstants ────── v0.2.6 Installed Parsers ────────────────── v2.8.5 Installed JSON ───────────────────── v1.6.1 Installed OpenBLAS32_jll ─────────── v0.3.33+1 Installed lrslib_jll ─────────────── v0.3.3+0 Installed Scratch ────────────────── v1.3.0 Installed SpecialFunctions ───────── v2.8.0 Installed GLPK_jll ───────────────── v5.0.2+0 Installed Hwloc_jll ──────────────── v2.13.0+1 Installed DecFP_jll ──────────────── v2.0.300+0 Installed XML2_jll ───────────────── v2.13.9+0 Installed Readline_jll ───────────── v8.3.3+0 Installed Preferences ────────────── v1.5.2 Installed Libiconv_jll ───────────── v1.18.0+0 Installed Ninja_jll ──────────────── v1.13.1+0 Installed SPRAL_jll ──────────────── v2025.9.18+0 Installed JLLWrappers ────────────── v1.8.0 Installed boost_jll ──────────────── v1.87.0+0 Installed METIS_jll ──────────────── v5.1.3+0 Installed cddlib_jll ─────────────── v0.94.15+0 Installed polymake_oscarnumber_jll ─ v0.3.18+0 Installed LLVMOpenMP_jll ─────────── v18.1.8+0 Installed DocStringExtensions ────── v0.9.5 Installed Mongoc ─────────────────── v0.10.1 Installed nauty_jll ──────────────── v2.8.10+1 Installed RandomExtensions ───────── v0.4.4 Installed bliss_jll ──────────────── v0.77.0+1 Installed MongoC_jll ─────────────── v1.28.1+0 Installed normaliz_jll ───────────── v300.1100.100+0 Installing 36 artifacts Installed artifact ASL 276.3 KiB Installed artifact snappy 43.9 KiB Installed artifact Bzip2 503.5 KiB Installed artifact lib4ti2 1.4 MiB Installed artifact Readline 1.3 MiB Installed artifact GLPK 3.1 MiB Installed artifact Hwloc 3.5 MiB Installed artifact XML2 2.5 MiB Installed artifact cddlib 1.0 MiB Installed artifact MUMPS_seq 9.1 MiB Installed artifact MongoC 763.8 KiB Installed artifact lrslib 201.1 KiB Installed artifact polymake_oscarnumber 3.7 MiB Installed artifact Ncurses 1.0 MiB Installed artifact OpenSpecFun 194.9 KiB Installed artifact DecFP 2.3 MiB Installed artifact SPRAL 691.9 KiB Installed artifact LLVMOpenMP 661.6 KiB Installed artifact OpenBLAS32 10.2 MiB Installed artifact FLINT 24.1 MiB Installed artifact Ninja 2.3 MiB Installed artifact Libiconv 1.9 MiB Installed artifact Ipopt 1.3 MiB Installed artifact METIS 1.1 MiB Installed artifact SCIP 19.6 MiB Installed artifact Perl 13.5 MiB Installed artifact bliss 153.4 KiB Installed artifact libcxxwrap_julia 8.5 MiB Installed artifact Xorg_libpciaccess 26.2 KiB Installed artifact PPL 22.9 MiB Installed artifact TOPCOM 7.9 MiB Installed artifact nauty 17.2 MiB Installed artifact boost 24.9 MiB Installed artifact polymake 49.5 MiB Installed artifact normaliz 91.8 MiB Installed artifact libpolymake_julia 124.3 MiB Updating `~/.julia/environments/v1.14/Project.toml` [d720cf60] + Polymake v0.13.11 Updating `~/.julia/environments/v1.14/Manifest.toml` [c3fe647b] + AbstractAlgebra v0.49.0 [f01c122e] + BinaryWrappers v0.2.0 [1f15a43c] + CxxWrap v0.17.5 [55939f99] + DecFP v1.4.2 [ffbed154] + DocStringExtensions v0.9.5 [92d709cd] + IrrationalConstants v0.2.6 [692b3bcd] + JLLWrappers v1.8.0 [682c06a0] + JSON v1.6.1 [2ab3a3ac] + LogExpFunctions v1.0.1 [1914dd2f] + MacroTools v0.5.16 [4fe8b98c] + Mongoc v0.10.1 [69de0a69] + Parsers v2.8.5 [d720cf60] + Polymake v0.13.11 [aea7be01] + PrecompileTools v1.3.4 [21216c6a] + Preferences v1.5.2 [fb686558] + RandomExtensions v0.4.4 [6c6a2e73] + Scratch v1.3.0 [276daf66] + SpecialFunctions v2.8.0 [ec057cc2] + StructUtils v2.8.2 [ae81ac8f] + ASL_jll v0.1.3+0 [6e34b625] + Bzip2_jll v1.0.9+0 [47200ebd] + DecFP_jll v2.0.300+0 [e134572f] + FLINT_jll v301.500.0+0 [e8aa6df9] + GLPK_jll v5.0.2+0 [e33a78d0] + Hwloc_jll v2.13.0+1 [9cc047cb] + Ipopt_jll v300.1400.1902+0 [1d63c593] + LLVMOpenMP_jll v18.1.8+0 [94ce4f54] + Libiconv_jll v1.18.0+0 [d00139f3] + METIS_jll v5.1.3+0 [d7ed1dd3] + MUMPS_seq_jll v500.900.0+0 ⌅ [90100e71] + MongoC_jll v1.28.1+0 [68e3532b] + Ncurses_jll v6.6.0+2 [76642167] + Ninja_jll v1.13.1+0 [656ef2d0] + OpenBLAS32_jll v0.3.33+1 [efe28fd5] + OpenSpecFun_jll v0.5.6+0 [80dd9cbb] + PPL_jll v1.2.1+0 [83958c19] + Perl_jll v5.34.1+0 [05236dd9] + Readline_jll v8.3.3+0 ⌅ [e5ac4fe4] + SCIP_jll v900.200.400+0 [319450e9] + SPRAL_jll v2025.9.18+0 [36f60fef] + TOPCOM_jll v0.17.8+0 ⌅ [02c8fc9c] + XML2_jll v2.13.9+0 [a65dc6b1] + Xorg_libpciaccess_jll v0.19.0+0 [508c9074] + bliss_jll v0.77.0+1 [28df3c45] + boost_jll v1.87.0+0 [f07e07eb] + cddlib_jll v0.94.15+0 [1493ae25] + lib4ti2_jll v1.6.10+0 [3eaa8342] + libcxxwrap_julia_jll v0.14.10+0 [4d8266f6] + libpolymake_julia_jll v0.14.8+0 [3873f7d0] + lrslib_jll v0.3.3+0 [55c6dc9b] + nauty_jll v2.8.10+1 [6690c6e9] + normaliz_jll v300.1100.100+0 [7c209550] + polymake_jll v400.1500.4+0 [10f31823] + polymake_oscarnumber_jll v0.3.18+0 [fe1e1685] + snappy_jll v1.2.3+0 [0dad84c5] + ArgTools v1.1.2 [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 [cf7118a7] + UUIDs v1.11.0 [4ec0a83e] + Unicode v1.11.0 [e66e0078] + CompilerSupportLibraries_jll v1.5.2+0 [781609d7] + GMP_jll v6.3.0+2 [deac9b47] + LibCURL_jll v8.20.0+1 [e37daf67] + LibGit2_jll v1.9.4+0 [29816b5a] + LibSSH2_jll v1.11.101+0 [3a97d323] + MPFR_jll v4.2.2+0 [14a3606d] + MozillaCACerts_jll v2026.5.14 [4536629a] + OpenBLAS_jll v0.3.33+0 [05823500] + OpenLibm_jll v0.8.7+0 [458c3c95] + OpenSSL_jll v3.5.6+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.69.0+0 [3f19e933] + p7zip_jll v17.8.0+0 Info Packages marked with ⌅ have new versions available but compatibility constraints restrict them from upgrading. To see why use `status --outdated -m` Installation completed after 51.46s ################################################################################ # Precompilation # Precompiling PkgEval dependencies... Precompiling project... 6.5 s ✓ TestEnv 1 dependency successfully precompiled in 7 seconds. 27 already precompiled. Precompiling package dependencies... Precompiling project... 4.9 s ✓ MacroTools 2.7 s ✓ IrrationalConstants 1.2 s ✓ DocStringExtensions 82.2 s ✓ RandomExtensions 2.3 s ✓ Scratch 3.3 s ✓ StructUtils 1.6 s ✓ Compat 3.0 s ✓ Preferences 1.9 s ✓ LogExpFunctions 0.7 s ✓ Compat → CompatLinearAlgebraExt 3.6 s ✓ JLLWrappers 3.0 s ✓ PrecompileTools 45.9 s ✓ Aqua 3.4 s ✓ METIS_jll 3.6 s ✓ snappy_jll 3.7 s ✓ Ninja_jll 3.9 s ✓ OpenBLAS32_jll 3.7 s ✓ Xorg_libpciaccess_jll 3.7 s ✓ Bzip2_jll 3.6 s ✓ LLVMOpenMP_jll 3.7 s ✓ Ncurses_jll 3.7 s ✓ Libiconv_jll 3.7 s ✓ libcxxwrap_julia_jll 3.7 s ✓ DecFP_jll 3.5 s ✓ ASL_jll 2.2 s ✓ BinaryWrappers 3.5 s ✓ OpenSpecFun_jll 4.3 s ✓ nauty_jll 3.8 s ✓ bliss_jll 3.7 s ✓ lrslib_jll 3.9 s ✓ PPL_jll 3.8 s ✓ GLPK_jll 3.8 s ✓ cddlib_jll 39.0 s ✓ Parsers ┌ Info: JuliaLowering threw given input: │ code = │ :(mutable struct ModuleHomomorphism{T <: NCRingElement} <: AbstractAlgebra.Map{AbstractAlgebra.FPModule{T}, AbstractAlgebra.FPModule{T}, AbstractAlgebra.FPModuleHomomorphism, ModuleHomomorphism} │ #= /home/pkgeval/.julia/packages/AbstractAlgebra/a2EqM/src/generic/GenericTypes.jl:1381 =# │ domain::AbstractAlgebra.FPModule{T} │ #= /home/pkgeval/.julia/packages/AbstractAlgebra/a2EqM/src/generic/GenericTypes.jl:1382 =# │ codomain::AbstractAlgebra.FPModule{T} │ #= /home/pkgeval/.julia/packages/AbstractAlgebra/a2EqM/src/generic/GenericTypes.jl:1383 =# │ matrix::AbstractAlgebra.MatElem{T} │ #= /home/pkgeval/.julia/packages/AbstractAlgebra/a2EqM/src/generic/GenericTypes.jl:1384 =# │ image_fn::Function │ #= /home/pkgeval/.julia/packages/AbstractAlgebra/a2EqM/src/generic/GenericTypes.jl:1385 =# │ is_left::Bool │ #= /home/pkgeval/.julia/packages/AbstractAlgebra/a2EqM/src/generic/GenericTypes.jl:1386 =# │ solve_ctx::Any │ #= /home/pkgeval/.julia/packages/AbstractAlgebra/a2EqM/src/generic/GenericTypes.jl:1387 =# │ map::Map │ #= /home/pkgeval/.julia/packages/AbstractAlgebra/a2EqM/src/generic/GenericTypes.jl:1391 =# │ function ModuleHomomorphism{T}(D::AbstractAlgebra.FPModule{T}, C::AbstractAlgebra.FPModule{T}, m::AbstractAlgebra.MatElem{T}) where T <: RingElement │ #= /home/pkgeval/.julia/packages/AbstractAlgebra/a2EqM/src/generic/GenericTypes.jl:1391 =# │ #= /home/pkgeval/.julia/packages/AbstractAlgebra/a2EqM/src/generic/GenericTypes.jl:1392 =# │ z = new(D, C, m, (x::AbstractAlgebra.FPModuleElem{T}->begin │ #= /home/pkgeval/.julia/packages/AbstractAlgebra/a2EqM/src/generic/GenericTypes.jl:1392 =# │ C(x.v * m) │ end), true) │ end │ #= /home/pkgeval/.julia/packages/AbstractAlgebra/a2EqM/src/generic/GenericTypes.jl:1395 =# │ function ModuleHomomorphism{T}(D::AbstractAlgebra.FPModule{T}, C::AbstractAlgebra.FPModule{T}, m::AbstractAlgebra.MatElem{T}; is_left::Bool = true, map::Union{Nothing, Map} = nothing) where T <: NCRingElement │ #= /home/pkgeval/.julia/packages/AbstractAlgebra/a2EqM/src/generic/GenericTypes.jl:1395 =# │ #= /home/pkgeval/.julia/packages/AbstractAlgebra/a2EqM/src/generic/GenericTypes.jl:1397 =# │ if is_left │ #= /home/pkgeval/.julia/packages/AbstractAlgebra/a2EqM/src/generic/GenericTypes.jl:1398 =# │ z = new(D, C, m, (x::AbstractAlgebra.FPModuleElem{T}->begin │ #= /home/pkgeval/.julia/packages/AbstractAlgebra/a2EqM/src/generic/GenericTypes.jl:1398 =# │ C(x.v * m) │ end), is_left) │ #= /home/pkgeval/.julia/packages/AbstractAlgebra/a2EqM/src/generic/GenericTypes.jl:1399 =# │ if !(map isa Nothing) │ #= /home/pkgeval/.julia/packages/AbstractAlgebra/a2EqM/src/generic/GenericTypes.jl:1400 =# │ z.map = map │ #= /home/pkgeval/.julia/packages/AbstractAlgebra/a2EqM/src/generic/GenericTypes.jl:1401 =# │ z.image_fn = (x::AbstractAlgebra.FPModuleElem{T}->begin │ #= /home/pkgeval/.julia/packages/AbstractAlgebra/a2EqM/src/generic/GenericTypes.jl:1401 =# │ C(map_entries(map, x.v) * m) │ end) │ end │ else │ #= /home/pkgeval/.julia/packages/AbstractAlgebra/a2EqM/src/generic/GenericTypes.jl:1404 =# │ z = new(D, C, m, (x::AbstractAlgebra.FPModuleElem{T}->begin │ #= /home/pkgeval/.julia/packages/AbstractAlgebra/a2EqM/src/generic/GenericTypes.jl:1404 =# │ C(m * x.v) │ end), is_left) │ #= /home/pkgeval/.julia/packages/AbstractAlgebra/a2EqM/src/generic/GenericTypes.jl:1405 =# │ if !(map isa Nothing) │ #= /home/pkgeval/.julia/packages/AbstractAlgebra/a2EqM/src/generic/GenericTypes.jl:1406 =# │ z.map = map │ #= /home/pkgeval/.julia/packages/AbstractAlgebra/a2EqM/src/generic/GenericTypes.jl:1407 =# │ z.image_fn = (x::AbstractAlgebra.FPModuleElem{T}->begin │ #= /home/pkgeval/.julia/packages/AbstractAlgebra/a2EqM/src/generic/GenericTypes.jl:1407 =# │ C(m * map_entries(map, x.v)) │ end) │ end │ end │ #= /home/pkgeval/.julia/packages/AbstractAlgebra/a2EqM/src/generic/GenericTypes.jl:1410 =# │ return z │ end │ end) │ st0 = │ SyntaxTree with attributes mod,kind,var_id,toplevel_pure,scope_type,macro_source,name_val,syntax_flags,meta,scope_layer,value,jl_source,is_toplevel_thunk,source,__macro_ctx__ │ [struct] │ │ true :: Value │ │ [<:] │ │ [curly] │ │ ModuleHomomorphism :: Identifier │ │ [<:] │ │ T :: Identifier │ │ NCRingElement :: Identifier │ │ [curly] │ │ [.] │ │ AbstractAlgebra :: Identifier │ │ [inert] │ │ Map :: Identifier │ │ [curly] │ │ [.] │ │ AbstractAlgebra :: Identifier │ │ [inert] │ │ FPModule :: Identifier │ │ T :: Identifier │ │ [curly] │ │ [.] │ │ AbstractAlgebra :: Identifier │ │ [inert] │ │ FPModule :: Identifier │ │ T :: Identifier │ │ [.] │ │ AbstractAlgebra :: Identifier │ │ [inert] │ │ FPModuleHomomorphism :: Identifier │ │ ModuleHomomorphism :: Identifier │ │ [block] │ │ [::] │ │ domain :: Identifier │ │ [curly] │ │ [.] │ │ AbstractAlgebra :: Identifier │ │ [inert] │ │ FPModule :: Identifier │ │ T :: Identifier │ │ [::] │ │ codomain :: Identifier │ │ [curly] │ │ [.] │ │ AbstractAlgebra :: Identifier │ │ [inert] │ │ FPModule :: Identifier │ │ T :: Identifier │ │ [::] │ │ matrix :: Identifier │ │ [curly] │ │ [.] │ │ AbstractAlgebra :: Identifier │ │ [inert] │ │ MatElem :: Identifier │ │ T :: Identifier │ │ [::] │ │ image_fn :: Identifier │ │ Function :: Identifier │ │ [::] │ │ is_left :: Identifier │ │ Bool :: Identifier │ │ [::] │ │ solve_ctx :: Identifier │ │ Any :: Identifier │ │ [::] │ │ map :: Identifier │ │ Map :: Identifier │ │ [function] │ │ [where] │ │ [call] │ │ [curly] │ │ ModuleHomomorphism :: Identifier │ │ T :: Identifier │ │ [::] │ │ D :: Identifier │ │ [curly] │ │ [.] │ │ AbstractAlgebra :: Identifier │ │ [inert] │ │ FPModule :: Identifier │ │ T :: Identifier │ │ [::] │ │ C :: Identifier │ │ [curly] │ │ [.] │ │ AbstractAlgebra :: Identifier │ │ [inert] │ │ FPModule :: Identifier │ │ T :: Identifier │ │ [::] │ │ m :: Identifier │ │ [curly] │ │ [.] │ │ AbstractAlgebra :: Identifier │ │ [inert] │ │ MatElem :: Identifier │ │ T :: Identifier │ │ [<:] │ │ T :: Identifier │ │ RingElement :: Identifier │ │ [block] │ │ [=] │ │ z :: Identifier │ │ [call] │ │ new :: Identifier │ │ D :: Identifier │ │ C :: Identifier │ │ m :: Identifier │ │ [->] │ │ [::] │ │ x :: Identifier │ │ [curly] │ │ [.] │ │ AbstractAlgebra :: Identifier │ │ [inert] │ │ FPModuleElem :: Identifier │ │ T :: Identifier │ │ [block] │ │ [call] │ │ C :: Identifier │ │ [call] │ │ * :: Identifier │ │ [.] │ │ x :: Identifier │ │ [inert] │ │ v :: Identifier │ │ m :: Identifier │ │ true :: Value │ │ [function] │ │ [where] │ │ [call] │ │ [curly] │ │ ModuleHomomorphism :: Identifier │ │ T :: Identifier │ │ [parameters] │ │ [kw] │ │ [::] │ │ is_left :: Identifier │ │ Bool :: Identifier │ │ true :: Value │ │ [kw] │ │ [::] │ │ map :: Identifier │ │ [curly] │ │ Union :: Identifier │ │ Nothing :: Identifier │ │ Map :: Identifier │ │ nothing :: Identifier │ │ [::] │ │ D :: Identifier │ │ [curly] │ │ [.] │ │ AbstractAlgebra :: Identifier │ │ [inert] │ │ FPModule :: Identifier │ │ T :: Identifier │ │ [::] │ │ C :: Identifier │ │ [curly] │ │ [.] │ │ AbstractAlgebra :: Identifier │ │ [inert] │ │ FPModule :: Identifier │ │ T :: Identifier │ │ [::] │ │ m :: Identifier │ │ [curly] │ │ [.] │ │ AbstractAlgebra :: Identifier │ │ [inert] │ │ MatElem :: Identifier │ │ T :: Identifier │ │ [<:] │ │ T :: Identifier │ │ NCRingElement :: Identifier │ │ [block] │ │ [if] │ │ is_left :: Identifier │ │ [block] │ │ [=] │ │ z :: Identifier │ │ [call] │ │ new :: Identifier │ │ D :: Identifier │ │ C :: Identifier │ │ m :: Identifier │ │ [->] │ │ [::] │ │ x :: Identifier │ │ [curly] │ │ [.] │ │ AbstractAlgebra :: Identifier │ │ [inert] │ │ FPModuleElem :: Identifier │ │ T :: Identifier │ │ [block] │ │ [call] │ │ C :: Identifier │ │ [call] │ │ * :: Identifier │ │ [.] │ │ x :: Identifier │ │ [inert] │ │ v :: Identifier │ │ m :: Identifier │ │ is_left :: Identifier │ │ [if] │ │ [call] │ │ ! :: Identifier │ │ [call] │ │ isa :: Identifier │ │ map :: Identifier │ │ Nothing :: Identifier │ │ [block] │ │ [=] │ │ [.] │ │ z :: Identifier │ │ [inert] │ │ map :: Identifier │ │ map :: Identifier │ │ [=] │ │ [.] │ │ z :: Identifier │ │ [inert] │ │ image_fn :: Identifier │ │ [->] │ │ [::] │ │ x :: Identifier │ │ [curly] │ │ [.] │ │ AbstractAlgebra :: Identifier │ │ [inert] │ │ FPModuleElem :: Identifier │ │ T :: Identifier │ │ [block] │ │ [call] │ │ C :: Identifier │ │ [call] │ │ * :: Identifier │ │ [call] │ │ map_entries :: Identifier │ │ map :: Identifier │ │ [.] │ │ x :: Identifier │ │ [inert] │ │ v :: Identifier │ │ m :: Identifier │ │ [block] │ │ [=] │ │ z :: Identifier │ │ [call] │ │ new :: Identifier │ │ D :: Identifier │ │ C :: Identifier │ │ m :: Identifier │ │ [->] │ │ [::] │ │ x :: Identifier │ │ [curly] │ │ [.] │ │ AbstractAlgebra :: Identifier │ │ [inert] │ │ FPModuleElem :: Identifier │ │ T :: Identifier │ │ [block] │ │ [call] │ │ C :: Identifier │ │ [call] │ │ * :: Identifier │ │ m :: Identifier │ │ [.] │ │ x :: Identifier │ │ [inert] │ │ v :: Identifier │ │ is_left :: Identifier │ │ [if] │ │ [call] │ │ ! :: Identifier │ │ [call] │ │ isa :: Identifier │ │ map :: Identifier │ │ Nothing :: Identifier │ │ [block] │ │ [=] │ │ [.] │ │ z :: Identifier │ │ [inert] │ │ map :: Identifier │ │ map :: Identifier │ │ [=] │ │ [.] │ │ z :: Identifier │ │ [inert] │ │ image_fn :: Identifier │ │ [->] │ │ [::] │ │ x :: Identifier │ │ [curly] │ │ [.] │ │ AbstractAlgebra :: Identifier │ │ [inert] │ │ FPModuleElem :: Identifier │ │ T :: Identifier │ │ [block] │ │ [call] │ │ C :: Identifier │ │ [call] │ │ * :: Identifier │ │ m :: Identifier │ │ [call] │ │ map_entries :: Identifier │ │ map :: Identifier │ │ [.] │ │ x :: Identifier │ │ [inert] │ │ v :: Identifier │ │ [return] │ │ z :: Identifier │ │ │ st1 = │ SyntaxTree with attributes mod,kind,var_id,toplevel_pure,scope_type,macro_source,name_val,syntax_flags,meta,scope_layer,value,jl_source,is_toplevel_thunk,source │ [struct] │ │ true :: Value │ │ [<:] │ scope_layer=1 │ [curly] │ │ ModuleHomomorphism :: Identifier │ scope_layer=1 │ [<:] │ scope_layer=1 │ T :: Identifier │ scope_layer=1 │ NCRingElement :: Identifier │ scope_layer=1 │ [curly] │ │ [.] │ │ AbstractAlgebra :: Identifier │ scope_layer=1 │ [inert] │ │ Map :: Identifier │ │ [curly] │ │ [.] │ │ AbstractAlgebra :: Identifier │ scope_layer=1 │ [inert] │ │ FPModule :: Identifier │ │ T :: Identifier │ scope_layer=1 │ [curly] │ │ [.] │ │ AbstractAlgebra :: Identifier │ scope_layer=1 │ [inert] │ │ FPModule :: Identifier │ │ T :: Identifier │ scope_layer=1 │ [.] │ │ AbstractAlgebra :: Identifier │ scope_layer=1 │ [inert] │ │ FPModuleHomomorphism :: Identifier │ │ ModuleHomomorphism :: Identifier │ scope_layer=1 │ [block] │ │ [::] │ │ domain :: Identifier │ scope_layer=1 │ [curly] │ │ [.] │ │ AbstractAlgebra :: Identifier │ scope_layer=1 │ [inert] │ │ FPModule :: Identifier │ │ T :: Identifier │ scope_layer=1 │ [::] │ │ codomain :: Identifier │ scope_layer=1 │ [curly] │ │ [.] │ │ AbstractAlgebra :: Identifier │ scope_layer=1 │ [inert] │ │ FPModule :: Identifier │ │ T :: Identifier │ scope_layer=1 │ [::] │ │ matrix :: Identifier │ scope_layer=1 │ [curly] │ │ [.] │ │ AbstractAlgebra :: Identifier │ scope_layer=1 │ [inert] │ │ MatElem :: Identifier │ │ T :: Identifier │ scope_layer=1 │ [::] │ │ image_fn :: Identifier │ scope_layer=1 │ Function :: Identifier │ scope_layer=1 │ [::] │ │ is_left :: Identifier │ scope_layer=1 │ Bool :: Identifier │ scope_layer=1 │ [::] │ │ solve_ctx :: Identifier │ scope_layer=1 │ Any :: Identifier │ scope_layer=1 │ [::] │ │ map :: Identifier │ scope_layer=1 │ Map :: Identifier │ scope_layer=1 │ [function] │ │ [where] │ │ [call] │ │ [curly] │ │ ModuleHomomorphism :: Identifier │ scope_layer=1 │ T :: Identifier │ scope_layer=1 │ [::] │ │ D :: Identifier │ scope_layer=1 │ [curly] │ │ [.] │ │ AbstractAlgebra :: Identifier │ scope_layer=1 │ [inert] │ │ FPModule :: Identifier │ │ T :: Identifier │ scope_layer=1 │ [::] │ │ C :: Identifier │ scope_layer=1 │ [curly] │ │ [.] │ │ AbstractAlgebra :: Identifier │ scope_layer=1 │ [inert] │ │ FPModule :: Identifier │ │ T :: Identifier │ scope_layer=1 │ [::] │ │ m :: Identifier │ scope_layer=1 │ [curly] │ │ [.] │ │ AbstractAlgebra :: Identifier │ scope_layer=1 │ [inert] │ │ MatElem :: Identifier │ │ T :: Identifier │ scope_layer=1 │ [<:] │ scope_layer=1 │ T :: Identifier │ scope_layer=1 │ RingElement :: Identifier │ scope_layer=1 │ [block] │ │ [=] │ │ z :: Identifier │ scope_layer=1 │ [call] │ │ new :: Identifier │ scope_layer=1 │ D :: Identifier │ scope_layer=1 │ C :: Identifier │ scope_layer=1 │ m :: Identifier │ scope_layer=1 │ [->] │ │ [::] │ │ x :: Identifier │ scope_layer=1 │ [curly] │ │ [.] │ │ AbstractAlgebra :: Identifier │ scope_layer=1 │ [inert] │ │ FPModuleElem :: Identifier │ │ T :: Identifier │ scope_layer=1 │ [block] │ │ [call] │ │ C :: Identifier │ scope_layer=1 │ [call] │ │ * :: Identifier │ scope_layer=1 │ [.] │ │ x :: Identifier │ scope_layer=1 │ [inert] │ │ v :: Identifier │ │ m :: Identifier │ scope_layer=1 │ true :: Value │ │ [function] │ │ [where] │ │ [call] │ │ [curly] │ │ ModuleHomomorphism :: Identifier │ scope_layer=1 │ T :: Identifier │ scope_layer=1 │ [parameters] │ │ [kw] │ │ [::] │ │ is_left :: Identifier │ scope_layer=1 │ Bool :: Identifier │ scope_layer=1 │ true :: Value │ │ [kw] │ │ [::] │ │ map :: Identifier │ scope_layer=1 │ [curly] │ │ Union :: Identifier │ scope_layer=1 │ Nothing :: Identifier │ scope_layer=1 │ Map :: Identifier │ scope_layer=1 │ nothing :: Identifier │ scope_layer=1 │ [::] │ │ D :: Identifier │ scope_layer=1 │ [curly] │ │ [.] │ │ AbstractAlgebra :: Identifier │ scope_layer=1 │ [inert] │ │ FPModule :: Identifier │ │ T :: Identifier │ scope_layer=1 │ [::] │ │ C :: Identifier │ scope_layer=1 │ [curly] │ │ [.] │ │ AbstractAlgebra :: Identifier │ scope_layer=1 │ [inert] │ │ FPModule :: Identifier │ │ T :: Identifier │ scope_layer=1 │ [::] │ │ m :: Identifier │ scope_layer=1 │ [curly] │ │ [.] │ │ AbstractAlgebra :: Identifier │ scope_layer=1 │ [inert] │ │ MatElem :: Identifier │ │ T :: Identifier │ scope_layer=1 │ [<:] │ scope_layer=1 │ T :: Identifier │ scope_layer=1 │ NCRingElement :: Identifier │ scope_layer=1 │ [block] │ │ [if] │ │ is_left :: Identifier │ scope_layer=1 │ [block] │ │ [=] │ │ z :: Identifier │ scope_layer=1 │ [call] │ │ new :: Identifier │ scope_layer=1 │ D :: Identifier │ scope_layer=1 │ C :: Identifier │ scope_layer=1 │ m :: Identifier │ scope_layer=1 │ [->] │ │ [::] │ │ x :: Identifier │ scope_layer=1 │ [curly] │ │ [.] │ │ AbstractAlgebra :: Identifier │ scope_layer=1 │ [inert] │ │ FPModuleElem :: Identifier │ │ T :: Identifier │ scope_layer=1 │ [block] │ │ [call] │ │ C :: Identifier │ scope_layer=1 │ [call] │ │ * :: Identifier │ scope_layer=1 │ [.] │ │ x :: Identifier │ scope_layer=1 │ [inert] │ │ v :: Identifier │ │ m :: Identifier │ scope_layer=1 │ is_left :: Identifier │ scope_layer=1 │ [if] │ │ [call] │ │ ! :: Identifier │ scope_layer=1 │ [call] │ │ isa :: Identifier │ scope_layer=1 │ map :: Identifier │ scope_layer=1 │ Nothing :: Identifier │ scope_layer=1 │ [block] │ │ [=] │ │ [.] │ │ z :: Identifier │ scope_layer=1 │ [inert] │ │ map :: Identifier │ │ map :: Identifier │ scope_layer=1 │ [=] │ │ [.] │ │ z :: Identifier │ scope_layer=1 │ [inert] │ │ image_fn :: Identifier │ │ [->] │ │ [::] │ │ x :: Identifier │ scope_layer=1 │ [curly] │ │ [.] │ │ AbstractAlgebra :: Identifier │ scope_layer=1 │ [inert] │ │ FPModuleElem :: Identifier │ │ T :: Identifier │ scope_layer=1 │ [block] │ │ [call] │ │ C :: Identifier │ scope_layer=1 │ [call] │ │ * :: Identifier │ scope_layer=1 │ [call] │ │ map_entries :: Identifier │ scope_layer=1 │ map :: Identifier │ scope_layer=1 │ [.] │ │ x :: Identifier │ scope_layer=1 │ [inert] │ │ v :: Identifier │ │ m :: Identifier │ scope_layer=1 │ [block] │ │ [=] │ │ z :: Identifier │ scope_layer=1 │ [call] │ │ new :: Identifier │ scope_layer=1 │ D :: Identifier │ scope_layer=1 │ C :: Identifier │ scope_layer=1 │ m :: Identifier │ scope_layer=1 │ [->] │ │ [::] │ │ x :: Identifier │ scope_layer=1 │ [curly] │ │ [.] │ │ AbstractAlgebra :: Identifier │ scope_layer=1 │ [inert] │ │ FPModuleElem :: Identifier │ │ T :: Identifier │ scope_layer=1 │ [block] │ │ [call] │ │ C :: Identifier │ scope_layer=1 │ [call] │ │ * :: Identifier │ scope_layer=1 │ m :: Identifier │ scope_layer=1 │ [.] │ │ x :: Identifier │ scope_layer=1 │ [inert] │ │ v :: Identifier │ │ is_left :: Identifier │ scope_layer=1 │ [if] │ │ [call] │ │ ! :: Identifier │ scope_layer=1 │ [call] │ │ isa :: Identifier │ scope_layer=1 │ map :: Identifier │ scope_layer=1 │ Nothing :: Identifier │ scope_layer=1 │ [block] │ │ [=] │ │ [.] │ │ z :: Identifier │ scope_layer=1 │ [inert] │ │ map :: Identifier │ │ map :: Identifier │ scope_layer=1 │ [=] │ │ [.] │ │ z :: Identifier │ scope_layer=1 │ [inert] │ │ image_fn :: Identifier │ │ [->] │ │ [::] │ │ x :: Identifier │ scope_layer=1 │ [curly] │ │ [.] │ │ AbstractAlgebra :: Identifier │ scope_layer=1 │ [inert] │ │ FPModuleElem :: Identifier │ │ T :: Identifier │ scope_layer=1 │ [block] │ │ [call] │ │ C :: Identifier │ scope_layer=1 │ [call] │ │ * :: Identifier │ scope_layer=1 │ m :: Identifier │ scope_layer=1 │ [call] │ │ map_entries :: Identifier │ scope_layer=1 │ map :: Identifier │ scope_layer=1 │ [.] │ │ x :: Identifier │ scope_layer=1 │ [inert] │ │ v :: Identifier │ │ [return] │ │ z :: Identifier │ scope_layer=1 │ │ file = "/home/pkgeval/.julia/packages/AbstractAlgebra/a2EqM/src/generic/GenericTypes.jl" │ line = 1379 └ mod = AbstractAlgebra.Generic ERROR: LoadError: LoweringError: #= /home/pkgeval/.julia/packages/AbstractAlgebra/a2EqM/src/generic/GenericTypes.jl:1392 =# - Found unexpected binding of kind static_parameter Expression:  #₈₇/T Containing expressions:  (= #₂₀₂/T #₈₇/T)  (call core.svec (call core.svec #₁₃₇/##->###22 (call core.apply_type (call top.getproperty #₇₅/AbstractAlgebra :FPModuleElem) #₈₇/T)) (call core.svec) SourceLocation:/home/pkgeval/.julia/packages/AbstractAlgebra/a2EqM/src/generic/GenericTypes.jl:1392:0)  (call core.svec (call core.svec (function_type #₈₈/#->#) (call core.apply_type (call top.getproperty #₇₅/AbstractAlgebra :FPModuleElem) #₈₇/T)) (call core.svec) SourceLocation:/home/pkgeval/.julia/packages/AbstractAlgebra/a2EqM/src/generic/GenericTypes.jl:1392:0)  Detailed provenance:  #₈₇/T  └─ T  └─ T  └─ @ /home/pkgeval/.julia/packages/AbstractAlgebra/a2EqM/src/generic/GenericTypes.jl:1392  Stacktrace:  [1] _renumber(ctx::Base.JuliaLowering.LinearIRContext{Dict{Symbol, Dict{Int64, Any}}}, ssa_rewrites::Dict{Int64, Int64}, slot_rewrites::Dict{Int64, Int64}, label_table::Dict{Int64, Int64}, ex::Base.JuliaSyntax.SyntaxTree{Dict{Symbol, Dict{Int64, Any}}})  @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/linear_ir.jl:1091  [2] renumber_body(ctx::Base.JuliaLowering.LinearIRContext{Dict{Symbol, Dict{Int64, Any}}}, input_code::Base.JuliaSyntax.SyntaxList{Dict{Symbol, Dict{Int64, Any}}, Vector{Int64}}, slot_rewrites::Dict{Int64, Int64})  @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/linear_ir.jl:1156  [3] compile_lambda(outer_ctx::Base.JuliaLowering.LinearIRContext{Dict{Symbol, Dict{Int64, Any}}}, ex::Base.JuliaSyntax.SyntaxTree{Dict{Symbol, Dict{Int64, Any}}})  @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/linear_ir.jl:1251  [4] linearize_ir(ctx::Base.JuliaLowering.ClosureConversionCtx{Dict{Symbol, Dict{Int64, Any}}}, ex::Base.JuliaSyntax.SyntaxTree{Dict{Symbol, Dict{Int64, Any}}})  @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/linear_ir.jl:1281  [5] core_lowering_hook(code::Any, mod::Module, file::String, line::UInt64, world::UInt64, _warn::Bool)  @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/hooks.jl:33  [6] include(mapexpr::Function, mod::Module, _path::String)  @ Base Base.jl:327  [7] top-level scope  @ ~/.julia/packages/AbstractAlgebra/a2EqM/src/Generic.jl:19  [8] include(mapexpr::Function, mod::Module, _path::String)  @ Base Base.jl:327  [9] top-level scope  @ ~/.julia/packages/AbstractAlgebra/a2EqM/src/AbstractAlgebra.jl:316  [10] include(mod::Module, _path::String)  @ Base Base.jl:326  [11] include_package_for_output(pkg::Base.PkgId, input::String, syntax_version::VersionNumber, depot_path::Vector{String}, dl_load_path::Vector{String}, load_path::Vector{String}, concrete_deps::Vector{Pair{Base.PkgId, UInt128}}, source::Nothing)  @ Base loading.jl:3296  [12] top-level scope  @ stdin:5  [13] eval(m::Module, e::Any)  @ Core boot.jl:521  [14] include_string(mapexpr::typeof(identity), mod::Module, code::String, filename::String)  @ Base loading.jl:3132  [15] include_string(m::Module, txt::String, fname::String)  @ Base loading.jl:3142 [inlined]  [16] exec_options(opts::Base.JLOptions)  @ Base client.jl:353  [17] _start()  @ Base client.jl:596 in expression starting at /home/pkgeval/.julia/packages/AbstractAlgebra/a2EqM/src/generic/GenericTypes.jl:1379 in expression starting at /home/pkgeval/.julia/packages/AbstractAlgebra/a2EqM/src/Generic.jl:1 in expression starting at /home/pkgeval/.julia/packages/AbstractAlgebra/a2EqM/src/AbstractAlgebra.jl:1 in expression starting at stdin:5 ✗ AbstractAlgebra 3.8 s ✓ MUMPS_seq_jll 3.7 s ✓ MongoC_jll 3.8 s ✓ FLINT_jll 3.7 s ✓ boost_jll 3.6 s ✓ Readline_jll 3.6 s ✓ XML2_jll 203.3 s ✓ CxxWrap 78.2 s ✓ SpecialFunctions 3.9 s ✓ lib4ti2_jll 4.0 s ✓ TOPCOM_jll 110.2 s ✓ JSON ERROR: LoadError: Precompiled image Base.PkgId(Base.UUID("c3fe647b-3220-5bb0-a1ea-a7954cac585d"), "AbstractAlgebra") not available with flags CacheFlags(; use_pkgimages=false, debug_level=1, check_bounds=1, inline=true, opt_level=0) Stacktrace:  [1] error(s::String)  @ Base error.jl:56  [2] __require_prelocked(pkg::Base.PkgId, env::String)  @ Base loading.jl:2837  [3] _require_prelocked(uuidkey::Base.PkgId, env::String)  @ Base loading.jl:2685  [4] macro expansion  @ loading.jl:2599 [inlined]  [5] macro expansion  @ lock.jl:376 [inlined]  [6] __require(into::Module, mod::Symbol)  @ Base loading.jl:2563  [7] require(into::Module, mod::Symbol)  @ Base loading.jl:2539 [inlined]  [8] eval_import_path(at::Module, from::Nothing, path::Expr, keyword::String)  @ Base module.jl:36 [inlined]  [9] eval_import_path_all(at::Module, path::Expr, keyword::String)  @ Base module.jl:60  [10] _eval_using(to::Module, path::Expr, flags::UInt8)  @ Base module.jl:137 [inlined]  [11] eval_using(to::Module, path::Expr)  @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/runtime.jl:207  [12] top-level scope  @ ~/.julia/packages/AbstractAlgebra/a2EqM/ext/TestExt/TestExt.jl:3  [13] include(mod::Module, _path::String)  @ Base Base.jl:326  [14] include_package_for_output(pkg::Base.PkgId, input::String, syntax_version::VersionNumber, depot_path::Vector{String}, dl_load_path::Vector{String}, load_path::Vector{String}, concrete_deps::Vector{Pair{Base.PkgId, UInt128}}, source::Nothing)  @ Base loading.jl:3296  [15] top-level scope  @ stdin:5  [16] eval(m::Module, e::Any)  @ Core boot.jl:521  [17] include_string(mapexpr::typeof(identity), mod::Module, code::String, filename::String)  @ Base loading.jl:3132  [18] include_string(m::Module, txt::String, fname::String)  @ Base loading.jl:3142 [inlined]  [19] exec_options(opts::Base.JLOptions)  @ Base client.jl:353  [20] _start()  @ Base client.jl:596 in expression starting at /home/pkgeval/.julia/packages/AbstractAlgebra/a2EqM/ext/TestExt/TestExt.jl:1 in expression starting at stdin:5 ✗ AbstractAlgebra → TestExt 3.8 s ✓ normaliz_jll 3.9 s ✓ Perl_jll 3.8 s ✓ Hwloc_jll 63.7 s ✓ DecFP 1.3 s ✓ BinaryWrappers → Perl_jllExt 3.4 s ✓ SPRAL_jll 98.6 s ✓ Mongoc 3.9 s ✓ Ipopt_jll 3.9 s ✓ SCIP_jll 3.9 s ✓ polymake_jll 4.2 s ✓ libpolymake_julia_jll 4.2 s ✓ polymake_oscarnumber_jll ERROR: LoadError: Precompiled image Base.PkgId(Base.UUID("c3fe647b-3220-5bb0-a1ea-a7954cac585d"), "AbstractAlgebra") not available with flags CacheFlags(; use_pkgimages=false, debug_level=1, check_bounds=1, inline=true, opt_level=0) Stacktrace:  [1] error(s::String)  @ Base error.jl:56  [2] __require_prelocked(pkg::Base.PkgId, env::String)  @ Base loading.jl:2837  [3] _require_prelocked(uuidkey::Base.PkgId, env::String)  @ Base loading.jl:2685  [4] macro expansion  @ loading.jl:2599 [inlined]  [5] macro expansion  @ lock.jl:376 [inlined]  [6] __require(into::Module, mod::Symbol)  @ Base loading.jl:2563  [7] require(into::Module, mod::Symbol)  @ Base loading.jl:2539 [inlined]  [8] eval_import_path(at::Module, from::Nothing, path::Expr, keyword::String)  @ Base module.jl:36 [inlined]  [9] eval_import_path_all(at::Module, path::Expr, keyword::String)  @ Base module.jl:60  [10] _eval_import(::Bool, ::Module, ::Expr, ::Expr, ::Vararg{Expr})  @ Base module.jl:101  [11] eval_import(::Bool, ::Module, ::Expr, ::Expr, ::Vararg{Expr})  @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/runtime.jl:195  [12] top-level scope  @ ~/.julia/packages/Polymake/WDCxf/src/Polymake.jl:21  [13] include(mod::Module, _path::String)  @ Base Base.jl:326  [14] include_package_for_output(pkg::Base.PkgId, input::String, syntax_version::VersionNumber, depot_path::Vector{String}, dl_load_path::Vector{String}, load_path::Vector{String}, concrete_deps::Vector{Pair{Base.PkgId, UInt128}}, source::Nothing)  @ Base loading.jl:3296  [15] top-level scope  @ stdin:5  [16] eval(m::Module, e::Any)  @ Core boot.jl:521  [17] include_string(mapexpr::typeof(identity), mod::Module, code::String, filename::String)  @ Base loading.jl:3132  [18] include_string(m::Module, txt::String, fname::String)  @ Base loading.jl:3142 [inlined]  [19] exec_options(opts::Base.JLOptions)  @ Base client.jl:353  [20] _start()  @ Base client.jl:596 in expression starting at /home/pkgeval/.julia/packages/Polymake/WDCxf/src/Polymake.jl:1 in expression starting at stdin:5 ✗ Polymake 57 dependencies successfully precompiled in 1356 seconds. 37 already precompiled. Precompilation completed after 1395.61s ################################################################################ # Testing # Testing Polymake Status `/tmp/jl_tnwIVQ/Project.toml` [4c88cf16] Aqua v0.8.16 [d720cf60] Polymake v0.13.11 [8dfed614] Test v1.11.0 Status `/tmp/jl_tnwIVQ/Manifest.toml` [c3fe647b] AbstractAlgebra v0.49.0 [4c88cf16] Aqua v0.8.16 [f01c122e] BinaryWrappers v0.2.0 [34da2185] Compat v4.18.1 [1f15a43c] CxxWrap v0.17.5 [55939f99] DecFP v1.4.2 [ffbed154] DocStringExtensions v0.9.5 [92d709cd] IrrationalConstants v0.2.6 [692b3bcd] JLLWrappers v1.8.0 [682c06a0] JSON v1.6.1 [2ab3a3ac] LogExpFunctions v1.0.1 [1914dd2f] MacroTools v0.5.16 [4fe8b98c] Mongoc v0.10.1 [69de0a69] Parsers v2.8.5 [d720cf60] Polymake v0.13.11 [aea7be01] PrecompileTools v1.3.4 [21216c6a] Preferences v1.5.2 [fb686558] RandomExtensions v0.4.4 [6c6a2e73] Scratch v1.3.0 [276daf66] SpecialFunctions v2.8.0 [ec057cc2] StructUtils v2.8.2 [ae81ac8f] ASL_jll v0.1.3+0 [6e34b625] Bzip2_jll v1.0.9+0 [47200ebd] DecFP_jll v2.0.300+0 [e134572f] FLINT_jll v301.500.0+0 [e8aa6df9] GLPK_jll v5.0.2+0 [e33a78d0] Hwloc_jll v2.13.0+1 [9cc047cb] Ipopt_jll v300.1400.1902+0 [1d63c593] LLVMOpenMP_jll v18.1.8+0 [94ce4f54] Libiconv_jll v1.18.0+0 [d00139f3] METIS_jll v5.1.3+0 [d7ed1dd3] MUMPS_seq_jll v500.900.0+0 ⌅ [90100e71] MongoC_jll v1.28.1+0 [68e3532b] Ncurses_jll v6.6.0+2 [76642167] Ninja_jll v1.13.1+0 [656ef2d0] OpenBLAS32_jll v0.3.33+1 [efe28fd5] OpenSpecFun_jll v0.5.6+0 [80dd9cbb] PPL_jll v1.2.1+0 [83958c19] Perl_jll v5.34.1+0 [05236dd9] Readline_jll v8.3.3+0 ⌅ [e5ac4fe4] SCIP_jll v900.200.400+0 [319450e9] SPRAL_jll v2025.9.18+0 [36f60fef] TOPCOM_jll v0.17.8+0 ⌅ [02c8fc9c] XML2_jll v2.13.9+0 [a65dc6b1] Xorg_libpciaccess_jll v0.19.0+0 [508c9074] bliss_jll v0.77.0+1 [28df3c45] boost_jll v1.87.0+0 [f07e07eb] cddlib_jll v0.94.15+0 [1493ae25] lib4ti2_jll v1.6.10+0 [3eaa8342] libcxxwrap_julia_jll v0.14.10+0 [4d8266f6] libpolymake_julia_jll v0.14.8+0 [3873f7d0] lrslib_jll v0.3.3+0 [55c6dc9b] nauty_jll v2.8.10+1 [6690c6e9] normaliz_jll v300.1100.100+0 [7c209550] polymake_jll v400.1500.4+0 [10f31823] polymake_oscarnumber_jll v0.3.18+0 [fe1e1685] snappy_jll v1.2.3+0 [0dad84c5] ArgTools v1.1.2 [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.2+0 [781609d7] GMP_jll v6.3.0+2 [deac9b47] LibCURL_jll v8.20.0+1 [e37daf67] LibGit2_jll v1.9.4+0 [29816b5a] LibSSH2_jll v1.11.101+0 [3a97d323] MPFR_jll v4.2.2+0 [14a3606d] MozillaCACerts_jll v2026.5.14 [4536629a] OpenBLAS_jll v0.3.33+0 [05823500] OpenLibm_jll v0.8.7+0 [458c3c95] OpenSSL_jll v3.5.6+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.69.0+0 [3f19e933] p7zip_jll v17.8.0+0 Info Packages marked with ⌅ have new versions available but compatibility constraints restrict them from upgrading. Testing Running tests... ┌ Info: JuliaLowering threw given input: │ code = │ :(mutable struct ModuleHomomorphism{T <: NCRingElement} <: AbstractAlgebra.Map{AbstractAlgebra.FPModule{T}, AbstractAlgebra.FPModule{T}, AbstractAlgebra.FPModuleHomomorphism, ModuleHomomorphism} │ #= /home/pkgeval/.julia/packages/AbstractAlgebra/a2EqM/src/generic/GenericTypes.jl:1381 =# │ domain::AbstractAlgebra.FPModule{T} │ #= /home/pkgeval/.julia/packages/AbstractAlgebra/a2EqM/src/generic/GenericTypes.jl:1382 =# │ codomain::AbstractAlgebra.FPModule{T} │ #= /home/pkgeval/.julia/packages/AbstractAlgebra/a2EqM/src/generic/GenericTypes.jl:1383 =# │ matrix::AbstractAlgebra.MatElem{T} │ #= /home/pkgeval/.julia/packages/AbstractAlgebra/a2EqM/src/generic/GenericTypes.jl:1384 =# │ image_fn::Function │ #= /home/pkgeval/.julia/packages/AbstractAlgebra/a2EqM/src/generic/GenericTypes.jl:1385 =# │ is_left::Bool │ #= /home/pkgeval/.julia/packages/AbstractAlgebra/a2EqM/src/generic/GenericTypes.jl:1386 =# │ solve_ctx::Any │ #= /home/pkgeval/.julia/packages/AbstractAlgebra/a2EqM/src/generic/GenericTypes.jl:1387 =# │ map::Map │ #= /home/pkgeval/.julia/packages/AbstractAlgebra/a2EqM/src/generic/GenericTypes.jl:1391 =# │ function ModuleHomomorphism{T}(D::AbstractAlgebra.FPModule{T}, C::AbstractAlgebra.FPModule{T}, m::AbstractAlgebra.MatElem{T}) where T <: RingElement │ #= /home/pkgeval/.julia/packages/AbstractAlgebra/a2EqM/src/generic/GenericTypes.jl:1391 =# │ #= /home/pkgeval/.julia/packages/AbstractAlgebra/a2EqM/src/generic/GenericTypes.jl:1392 =# │ z = new(D, C, m, (x::AbstractAlgebra.FPModuleElem{T}->begin │ #= /home/pkgeval/.julia/packages/AbstractAlgebra/a2EqM/src/generic/GenericTypes.jl:1392 =# │ C(x.v * m) │ end), true) │ end │ #= /home/pkgeval/.julia/packages/AbstractAlgebra/a2EqM/src/generic/GenericTypes.jl:1395 =# │ function ModuleHomomorphism{T}(D::AbstractAlgebra.FPModule{T}, C::AbstractAlgebra.FPModule{T}, m::AbstractAlgebra.MatElem{T}; is_left::Bool = true, map::Union{Nothing, Map} = nothing) where T <: NCRingElement │ #= /home/pkgeval/.julia/packages/AbstractAlgebra/a2EqM/src/generic/GenericTypes.jl:1395 =# │ #= /home/pkgeval/.julia/packages/AbstractAlgebra/a2EqM/src/generic/GenericTypes.jl:1397 =# │ if is_left │ #= /home/pkgeval/.julia/packages/AbstractAlgebra/a2EqM/src/generic/GenericTypes.jl:1398 =# │ z = new(D, C, m, (x::AbstractAlgebra.FPModuleElem{T}->begin │ #= /home/pkgeval/.julia/packages/AbstractAlgebra/a2EqM/src/generic/GenericTypes.jl:1398 =# │ C(x.v * m) │ end), is_left) │ #= /home/pkgeval/.julia/packages/AbstractAlgebra/a2EqM/src/generic/GenericTypes.jl:1399 =# │ if !(map isa Nothing) │ #= /home/pkgeval/.julia/packages/AbstractAlgebra/a2EqM/src/generic/GenericTypes.jl:1400 =# │ z.map = map │ #= /home/pkgeval/.julia/packages/AbstractAlgebra/a2EqM/src/generic/GenericTypes.jl:1401 =# │ z.image_fn = (x::AbstractAlgebra.FPModuleElem{T}->begin │ #= /home/pkgeval/.julia/packages/AbstractAlgebra/a2EqM/src/generic/GenericTypes.jl:1401 =# │ C(map_entries(map, x.v) * m) │ end) │ end │ else │ #= /home/pkgeval/.julia/packages/AbstractAlgebra/a2EqM/src/generic/GenericTypes.jl:1404 =# │ z = new(D, C, m, (x::AbstractAlgebra.FPModuleElem{T}->begin │ #= /home/pkgeval/.julia/packages/AbstractAlgebra/a2EqM/src/generic/GenericTypes.jl:1404 =# │ C(m * x.v) │ end), is_left) │ #= /home/pkgeval/.julia/packages/AbstractAlgebra/a2EqM/src/generic/GenericTypes.jl:1405 =# │ if !(map isa Nothing) │ #= /home/pkgeval/.julia/packages/AbstractAlgebra/a2EqM/src/generic/GenericTypes.jl:1406 =# │ z.map = map │ #= /home/pkgeval/.julia/packages/AbstractAlgebra/a2EqM/src/generic/GenericTypes.jl:1407 =# │ z.image_fn = (x::AbstractAlgebra.FPModuleElem{T}->begin │ #= /home/pkgeval/.julia/packages/AbstractAlgebra/a2EqM/src/generic/GenericTypes.jl:1407 =# │ C(m * map_entries(map, x.v)) │ end) │ end │ end │ #= /home/pkgeval/.julia/packages/AbstractAlgebra/a2EqM/src/generic/GenericTypes.jl:1410 =# │ return z │ end │ end) │ st0 = │ SyntaxTree with attributes mod,kind,var_id,toplevel_pure,scope_type,macro_source,name_val,syntax_flags,meta,scope_layer,value,jl_source,is_toplevel_thunk,source,__macro_ctx__ │ [struct] │ │ true :: Value │ │ [<:] │ │ [curly] │ │ ModuleHomomorphism :: Identifier │ │ [<:] │ │ T :: Identifier │ │ NCRingElement :: Identifier │ │ [curly] │ │ [.] │ │ AbstractAlgebra :: Identifier │ │ [inert] │ │ Map :: Identifier │ │ [curly] │ │ [.] │ │ AbstractAlgebra :: Identifier │ │ [inert] │ │ FPModule :: Identifier │ │ T :: Identifier │ │ [curly] │ │ [.] │ │ AbstractAlgebra :: Identifier │ │ [inert] │ │ FPModule :: Identifier │ │ T :: Identifier │ │ [.] │ │ AbstractAlgebra :: Identifier │ │ [inert] │ │ FPModuleHomomorphism :: Identifier │ │ ModuleHomomorphism :: Identifier │ │ [block] │ │ [::] │ │ domain :: Identifier │ │ [curly] │ │ [.] │ │ AbstractAlgebra :: Identifier │ │ [inert] │ │ FPModule :: Identifier │ │ T :: Identifier │ │ [::] │ │ codomain :: Identifier │ │ [curly] │ │ [.] │ │ AbstractAlgebra :: Identifier │ │ [inert] │ │ FPModule :: Identifier │ │ T :: Identifier │ │ [::] │ │ matrix :: Identifier │ │ [curly] │ │ [.] │ │ AbstractAlgebra :: Identifier │ │ [inert] │ │ MatElem :: Identifier │ │ T :: Identifier │ │ [::] │ │ image_fn :: Identifier │ │ Function :: Identifier │ │ [::] │ │ is_left :: Identifier │ │ Bool :: Identifier │ │ [::] │ │ solve_ctx :: Identifier │ │ Any :: Identifier │ │ [::] │ │ map :: Identifier │ │ Map :: Identifier │ │ [function] │ │ [where] │ │ [call] │ │ [curly] │ │ ModuleHomomorphism :: Identifier │ │ T :: Identifier │ │ [::] │ │ D :: Identifier │ │ [curly] │ │ [.] │ │ AbstractAlgebra :: Identifier │ │ [inert] │ │ FPModule :: Identifier │ │ T :: Identifier │ │ [::] │ │ C :: Identifier │ │ [curly] │ │ [.] │ │ AbstractAlgebra :: Identifier │ │ [inert] │ │ FPModule :: Identifier │ │ T :: Identifier │ │ [::] │ │ m :: Identifier │ │ [curly] │ │ [.] │ │ AbstractAlgebra :: Identifier │ │ [inert] │ │ MatElem :: Identifier │ │ T :: Identifier │ │ [<:] │ │ T :: Identifier │ │ RingElement :: Identifier │ │ [block] │ │ [=] │ │ z :: Identifier │ │ [call] │ │ new :: Identifier │ │ D :: Identifier │ │ C :: Identifier │ │ m :: Identifier │ │ [->] │ │ [::] │ │ x :: Identifier │ │ [curly] │ │ [.] │ │ AbstractAlgebra :: Identifier │ │ [inert] │ │ FPModuleElem :: Identifier │ │ T :: Identifier │ │ [block] │ │ [call] │ │ C :: Identifier │ │ [call] │ │ * :: Identifier │ │ [.] │ │ x :: Identifier │ │ [inert] │ │ v :: Identifier │ │ m :: Identifier │ │ true :: Value │ │ [function] │ │ [where] │ │ [call] │ │ [curly] │ │ ModuleHomomorphism :: Identifier │ │ T :: Identifier │ │ [parameters] │ │ [kw] │ │ [::] │ │ is_left :: Identifier │ │ Bool :: Identifier │ │ true :: Value │ │ [kw] │ │ [::] │ │ map :: Identifier │ │ [curly] │ │ Union :: Identifier │ │ Nothing :: Identifier │ │ Map :: Identifier │ │ nothing :: Identifier │ │ [::] │ │ D :: Identifier │ │ [curly] │ │ [.] │ │ AbstractAlgebra :: Identifier │ │ [inert] │ │ FPModule :: Identifier │ │ T :: Identifier │ │ [::] │ │ C :: Identifier │ │ [curly] │ │ [.] │ │ AbstractAlgebra :: Identifier │ │ [inert] │ │ FPModule :: Identifier │ │ T :: Identifier │ │ [::] │ │ m :: Identifier │ │ [curly] │ │ [.] │ │ AbstractAlgebra :: Identifier │ │ [inert] │ │ MatElem :: Identifier │ │ T :: Identifier │ │ [<:] │ │ T :: Identifier │ │ NCRingElement :: Identifier │ │ [block] │ │ [if] │ │ is_left :: Identifier │ │ [block] │ │ [=] │ │ z :: Identifier │ │ [call] │ │ new :: Identifier │ │ D :: Identifier │ │ C :: Identifier │ │ m :: Identifier │ │ [->] │ │ [::] │ │ x :: Identifier │ │ [curly] │ │ [.] │ │ AbstractAlgebra :: Identifier │ │ [inert] │ │ FPModuleElem :: Identifier │ │ T :: Identifier │ │ [block] │ │ [call] │ │ C :: Identifier │ │ [call] │ │ * :: Identifier │ │ [.] │ │ x :: Identifier │ │ [inert] │ │ v :: Identifier │ │ m :: Identifier │ │ is_left :: Identifier │ │ [if] │ │ [call] │ │ ! :: Identifier │ │ [call] │ │ isa :: Identifier │ │ map :: Identifier │ │ Nothing :: Identifier │ │ [block] │ │ [=] │ │ [.] │ │ z :: Identifier │ │ [inert] │ │ map :: Identifier │ │ map :: Identifier │ │ [=] │ │ [.] │ │ z :: Identifier │ │ [inert] │ │ image_fn :: Identifier │ │ [->] │ │ [::] │ │ x :: Identifier │ │ [curly] │ │ [.] │ │ AbstractAlgebra :: Identifier │ │ [inert] │ │ FPModuleElem :: Identifier │ │ T :: Identifier │ │ [block] │ │ [call] │ │ C :: Identifier │ │ [call] │ │ * :: Identifier │ │ [call] │ │ map_entries :: Identifier │ │ map :: Identifier │ │ [.] │ │ x :: Identifier │ │ [inert] │ │ v :: Identifier │ │ m :: Identifier │ │ [block] │ │ [=] │ │ z :: Identifier │ │ [call] │ │ new :: Identifier │ │ D :: Identifier │ │ C :: Identifier │ │ m :: Identifier │ │ [->] │ │ [::] │ │ x :: Identifier │ │ [curly] │ │ [.] │ │ AbstractAlgebra :: Identifier │ │ [inert] │ │ FPModuleElem :: Identifier │ │ T :: Identifier │ │ [block] │ │ [call] │ │ C :: Identifier │ │ [call] │ │ * :: Identifier │ │ m :: Identifier │ │ [.] │ │ x :: Identifier │ │ [inert] │ │ v :: Identifier │ │ is_left :: Identifier │ │ [if] │ │ [call] │ │ ! :: Identifier │ │ [call] │ │ isa :: Identifier │ │ map :: Identifier │ │ Nothing :: Identifier │ │ [block] │ │ [=] │ │ [.] │ │ z :: Identifier │ │ [inert] │ │ map :: Identifier │ │ map :: Identifier │ │ [=] │ │ [.] │ │ z :: Identifier │ │ [inert] │ │ image_fn :: Identifier │ │ [->] │ │ [::] │ │ x :: Identifier │ │ [curly] │ │ [.] │ │ AbstractAlgebra :: Identifier │ │ [inert] │ │ FPModuleElem :: Identifier │ │ T :: Identifier │ │ [block] │ │ [call] │ │ C :: Identifier │ │ [call] │ │ * :: Identifier │ │ m :: Identifier │ │ [call] │ │ map_entries :: Identifier │ │ map :: Identifier │ │ [.] │ │ x :: Identifier │ │ [inert] │ │ v :: Identifier │ │ [return] │ │ z :: Identifier │ │ │ st1 = │ SyntaxTree with attributes mod,kind,var_id,toplevel_pure,scope_type,macro_source,name_val,syntax_flags,meta,scope_layer,value,jl_source,is_toplevel_thunk,source │ [struct] │ │ true :: Value │ │ [<:] │ scope_layer=1 │ [curly] │ │ ModuleHomomorphism :: Identifier │ scope_layer=1 │ [<:] │ scope_layer=1 │ T :: Identifier │ scope_layer=1 │ NCRingElement :: Identifier │ scope_layer=1 │ [curly] │ │ [.] │ │ AbstractAlgebra :: Identifier │ scope_layer=1 │ [inert] │ │ Map :: Identifier │ │ [curly] │ │ [.] │ │ AbstractAlgebra :: Identifier │ scope_layer=1 │ [inert] │ │ FPModule :: Identifier │ │ T :: Identifier │ scope_layer=1 │ [curly] │ │ [.] │ │ AbstractAlgebra :: Identifier │ scope_layer=1 │ [inert] │ │ FPModule :: Identifier │ │ T :: Identifier │ scope_layer=1 │ [.] │ │ AbstractAlgebra :: Identifier │ scope_layer=1 │ [inert] │ │ FPModuleHomomorphism :: Identifier │ │ ModuleHomomorphism :: Identifier │ scope_layer=1 │ [block] │ │ [::] │ │ domain :: Identifier │ scope_layer=1 │ [curly] │ │ [.] │ │ AbstractAlgebra :: Identifier │ scope_layer=1 │ [inert] │ │ FPModule :: Identifier │ │ T :: Identifier │ scope_layer=1 │ [::] │ │ codomain :: Identifier │ scope_layer=1 │ [curly] │ │ [.] │ │ AbstractAlgebra :: Identifier │ scope_layer=1 │ [inert] │ │ FPModule :: Identifier │ │ T :: Identifier │ scope_layer=1 │ [::] │ │ matrix :: Identifier │ scope_layer=1 │ [curly] │ │ [.] │ │ AbstractAlgebra :: Identifier │ scope_layer=1 │ [inert] │ │ MatElem :: Identifier │ │ T :: Identifier │ scope_layer=1 │ [::] │ │ image_fn :: Identifier │ scope_layer=1 │ Function :: Identifier │ scope_layer=1 │ [::] │ │ is_left :: Identifier │ scope_layer=1 │ Bool :: Identifier │ scope_layer=1 │ [::] │ │ solve_ctx :: Identifier │ scope_layer=1 │ Any :: Identifier │ scope_layer=1 │ [::] │ │ map :: Identifier │ scope_layer=1 │ Map :: Identifier │ scope_layer=1 │ [function] │ │ [where] │ │ [call] │ │ [curly] │ │ ModuleHomomorphism :: Identifier │ scope_layer=1 │ T :: Identifier │ scope_layer=1 │ [::] │ │ D :: Identifier │ scope_layer=1 │ [curly] │ │ [.] │ │ AbstractAlgebra :: Identifier │ scope_layer=1 │ [inert] │ │ FPModule :: Identifier │ │ T :: Identifier │ scope_layer=1 │ [::] │ │ C :: Identifier │ scope_layer=1 │ [curly] │ │ [.] │ │ AbstractAlgebra :: Identifier │ scope_layer=1 │ [inert] │ │ FPModule :: Identifier │ │ T :: Identifier │ scope_layer=1 │ [::] │ │ m :: Identifier │ scope_layer=1 │ [curly] │ │ [.] │ │ AbstractAlgebra :: Identifier │ scope_layer=1 │ [inert] │ │ MatElem :: Identifier │ │ T :: Identifier │ scope_layer=1 │ [<:] │ scope_layer=1 │ T :: Identifier │ scope_layer=1 │ RingElement :: Identifier │ scope_layer=1 │ [block] │ │ [=] │ │ z :: Identifier │ scope_layer=1 │ [call] │ │ new :: Identifier │ scope_layer=1 │ D :: Identifier │ scope_layer=1 │ C :: Identifier │ scope_layer=1 │ m :: Identifier │ scope_layer=1 │ [->] │ │ [::] │ │ x :: Identifier │ scope_layer=1 │ [curly] │ │ [.] │ │ AbstractAlgebra :: Identifier │ scope_layer=1 │ [inert] │ │ FPModuleElem :: Identifier │ │ T :: Identifier │ scope_layer=1 │ [block] │ │ [call] │ │ C :: Identifier │ scope_layer=1 │ [call] │ │ * :: Identifier │ scope_layer=1 │ [.] │ │ x :: Identifier │ scope_layer=1 │ [inert] │ │ v :: Identifier │ │ m :: Identifier │ scope_layer=1 │ true :: Value │ │ [function] │ │ [where] │ │ [call] │ │ [curly] │ │ ModuleHomomorphism :: Identifier │ scope_layer=1 │ T :: Identifier │ scope_layer=1 │ [parameters] │ │ [kw] │ │ [::] │ │ is_left :: Identifier │ scope_layer=1 │ Bool :: Identifier │ scope_layer=1 │ true :: Value │ │ [kw] │ │ [::] │ │ map :: Identifier │ scope_layer=1 │ [curly] │ │ Union :: Identifier │ scope_layer=1 │ Nothing :: Identifier │ scope_layer=1 │ Map :: Identifier │ scope_layer=1 │ nothing :: Identifier │ scope_layer=1 │ [::] │ │ D :: Identifier │ scope_layer=1 │ [curly] │ │ [.] │ │ AbstractAlgebra :: Identifier │ scope_layer=1 │ [inert] │ │ FPModule :: Identifier │ │ T :: Identifier │ scope_layer=1 │ [::] │ │ C :: Identifier │ scope_layer=1 │ [curly] │ │ [.] │ │ AbstractAlgebra :: Identifier │ scope_layer=1 │ [inert] │ │ FPModule :: Identifier │ │ T :: Identifier │ scope_layer=1 │ [::] │ │ m :: Identifier │ scope_layer=1 │ [curly] │ │ [.] │ │ AbstractAlgebra :: Identifier │ scope_layer=1 │ [inert] │ │ MatElem :: Identifier │ │ T :: Identifier │ scope_layer=1 │ [<:] │ scope_layer=1 │ T :: Identifier │ scope_layer=1 │ NCRingElement :: Identifier │ scope_layer=1 │ [block] │ │ [if] │ │ is_left :: Identifier │ scope_layer=1 │ [block] │ │ [=] │ │ z :: Identifier │ scope_layer=1 │ [call] │ │ new :: Identifier │ scope_layer=1 │ D :: Identifier │ scope_layer=1 │ C :: Identifier │ scope_layer=1 │ m :: Identifier │ scope_layer=1 │ [->] │ │ [::] │ │ x :: Identifier │ scope_layer=1 │ [curly] │ │ [.] │ │ AbstractAlgebra :: Identifier │ scope_layer=1 │ [inert] │ │ FPModuleElem :: Identifier │ │ T :: Identifier │ scope_layer=1 │ [block] │ │ [call] │ │ C :: Identifier │ scope_layer=1 │ [call] │ │ * :: Identifier │ scope_layer=1 │ [.] │ │ x :: Identifier │ scope_layer=1 │ [inert] │ │ v :: Identifier │ │ m :: Identifier │ scope_layer=1 │ is_left :: Identifier │ scope_layer=1 │ [if] │ │ [call] │ │ ! :: Identifier │ scope_layer=1 │ [call] │ │ isa :: Identifier │ scope_layer=1 │ map :: Identifier │ scope_layer=1 │ Nothing :: Identifier │ scope_layer=1 │ [block] │ │ [=] │ │ [.] │ │ z :: Identifier │ scope_layer=1 │ [inert] │ │ map :: Identifier │ │ map :: Identifier │ scope_layer=1 │ [=] │ │ [.] │ │ z :: Identifier │ scope_layer=1 │ [inert] │ │ image_fn :: Identifier │ │ [->] │ │ [::] │ │ x :: Identifier │ scope_layer=1 │ [curly] │ │ [.] │ │ AbstractAlgebra :: Identifier │ scope_layer=1 │ [inert] │ │ FPModuleElem :: Identifier │ │ T :: Identifier │ scope_layer=1 │ [block] │ │ [call] │ │ C :: Identifier │ scope_layer=1 │ [call] │ │ * :: Identifier │ scope_layer=1 │ [call] │ │ map_entries :: Identifier │ scope_layer=1 │ map :: Identifier │ scope_layer=1 │ [.] │ │ x :: Identifier │ scope_layer=1 │ [inert] │ │ v :: Identifier │ │ m :: Identifier │ scope_layer=1 │ [block] │ │ [=] │ │ z :: Identifier │ scope_layer=1 │ [call] │ │ new :: Identifier │ scope_layer=1 │ D :: Identifier │ scope_layer=1 │ C :: Identifier │ scope_layer=1 │ m :: Identifier │ scope_layer=1 │ [->] │ │ [::] │ │ x :: Identifier │ scope_layer=1 │ [curly] │ │ [.] │ │ AbstractAlgebra :: Identifier │ scope_layer=1 │ [inert] │ │ FPModuleElem :: Identifier │ │ T :: Identifier │ scope_layer=1 │ [block] │ │ [call] │ │ C :: Identifier │ scope_layer=1 │ [call] │ │ * :: Identifier │ scope_layer=1 │ m :: Identifier │ scope_layer=1 │ [.] │ │ x :: Identifier │ scope_layer=1 │ [inert] │ │ v :: Identifier │ │ is_left :: Identifier │ scope_layer=1 │ [if] │ │ [call] │ │ ! :: Identifier │ scope_layer=1 │ [call] │ │ isa :: Identifier │ scope_layer=1 │ map :: Identifier │ scope_layer=1 │ Nothing :: Identifier │ scope_layer=1 │ [block] │ │ [=] │ │ [.] │ │ z :: Identifier │ scope_layer=1 │ [inert] │ │ map :: Identifier │ │ map :: Identifier │ scope_layer=1 │ [=] │ │ [.] │ │ z :: Identifier │ scope_layer=1 │ [inert] │ │ image_fn :: Identifier │ │ [->] │ │ [::] │ │ x :: Identifier │ scope_layer=1 │ [curly] │ │ [.] │ │ AbstractAlgebra :: Identifier │ scope_layer=1 │ [inert] │ │ FPModuleElem :: Identifier │ │ T :: Identifier │ scope_layer=1 │ [block] │ │ [call] │ │ C :: Identifier │ scope_layer=1 │ [call] │ │ * :: Identifier │ scope_layer=1 │ m :: Identifier │ scope_layer=1 │ [call] │ │ map_entries :: Identifier │ scope_layer=1 │ map :: Identifier │ scope_layer=1 │ [.] │ │ x :: Identifier │ scope_layer=1 │ [inert] │ │ v :: Identifier │ │ [return] │ │ z :: Identifier │ scope_layer=1 │ │ file = "/home/pkgeval/.julia/packages/AbstractAlgebra/a2EqM/src/generic/GenericTypes.jl" │ line = 1379 └ mod = AbstractAlgebra.Generic ERROR: LoadError: LoweringError: #= /home/pkgeval/.julia/packages/AbstractAlgebra/a2EqM/src/generic/GenericTypes.jl:1392 =# - Found unexpected binding of kind static_parameter Expression:  #₈₇/T Containing expressions:  (= #₂₀₂/T #₈₇/T)  (call core.svec (call core.svec #₁₃₇/##->###22 (call core.apply_type (call top.getproperty #₇₅/AbstractAlgebra :FPModuleElem) #₈₇/T)) (call core.svec) SourceLocation:/home/pkgeval/.julia/packages/AbstractAlgebra/a2EqM/src/generic/GenericTypes.jl:1392:0)  (call core.svec (call core.svec (function_type #₈₈/#->#) (call core.apply_type (call top.getproperty #₇₅/AbstractAlgebra :FPModuleElem) #₈₇/T)) (call core.svec) SourceLocation:/home/pkgeval/.julia/packages/AbstractAlgebra/a2EqM/src/generic/GenericTypes.jl:1392:0)  Detailed provenance:  #₈₇/T  └─ T  └─ T  └─ @ /home/pkgeval/.julia/packages/AbstractAlgebra/a2EqM/src/generic/GenericTypes.jl:1392  Stacktrace:  [1] _renumber(ctx::Base.JuliaLowering.LinearIRContext{Dict{Symbol, Dict{Int64, Any}}}, ssa_rewrites::Dict{Int64, Int64}, slot_rewrites::Dict{Int64, Int64}, label_table::Dict{Int64, Int64}, ex::Base.JuliaSyntax.SyntaxTree{Dict{Symbol, Dict{Int64, Any}}})  @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/linear_ir.jl:1091  [2] renumber_body(ctx::Base.JuliaLowering.LinearIRContext{Dict{Symbol, Dict{Int64, Any}}}, input_code::Base.JuliaSyntax.SyntaxList{Dict{Symbol, Dict{Int64, Any}}, Vector{Int64}}, slot_rewrites::Dict{Int64, Int64})  @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/linear_ir.jl:1156  [3] compile_lambda(outer_ctx::Base.JuliaLowering.LinearIRContext{Dict{Symbol, Dict{Int64, Any}}}, ex::Base.JuliaSyntax.SyntaxTree{Dict{Symbol, Dict{Int64, Any}}})  @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/linear_ir.jl:1251  [4] linearize_ir(ctx::Base.JuliaLowering.ClosureConversionCtx{Dict{Symbol, Dict{Int64, Any}}}, ex::Base.JuliaSyntax.SyntaxTree{Dict{Symbol, Dict{Int64, Any}}})  @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/linear_ir.jl:1281  [5] core_lowering_hook(code::Any, mod::Module, file::String, line::UInt64, world::UInt64, _warn::Bool)  @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/hooks.jl:33  [6] include(mapexpr::Function, mod::Module, _path::String)  @ Base Base.jl:327  [7] top-level scope  @ ~/.julia/packages/AbstractAlgebra/a2EqM/src/Generic.jl:19  [8] include(mapexpr::Function, mod::Module, _path::String)  @ Base Base.jl:327  [9] top-level scope  @ ~/.julia/packages/AbstractAlgebra/a2EqM/src/AbstractAlgebra.jl:316  [10] include(mod::Module, _path::String)  @ Base Base.jl:326  [11] include_package_for_output(pkg::Base.PkgId, input::String, syntax_version::VersionNumber, depot_path::Vector{String}, dl_load_path::Vector{String}, load_path::Vector{String}, concrete_deps::Vector{Pair{Base.PkgId, UInt128}}, source::Nothing)  @ Base loading.jl:3296  [12] top-level scope  @ stdin:5  [13] eval(m::Module, e::Any)  @ Core boot.jl:521  [14] include_string(mapexpr::typeof(identity), mod::Module, code::String, filename::String)  @ Base loading.jl:3132  [15] include_string(m::Module, txt::String, fname::String)  @ Base loading.jl:3142 [inlined]  [16] exec_options(opts::Base.JLOptions)  @ Base client.jl:353  [17] _start()  @ Base client.jl:596 in expression starting at /home/pkgeval/.julia/packages/AbstractAlgebra/a2EqM/src/generic/GenericTypes.jl:1379 in expression starting at /home/pkgeval/.julia/packages/AbstractAlgebra/a2EqM/src/Generic.jl:1 in expression starting at /home/pkgeval/.julia/packages/AbstractAlgebra/a2EqM/src/AbstractAlgebra.jl:1 in expression starting at stdin:5 ERROR: LoadError: Precompiled image Base.PkgId(Base.UUID("c3fe647b-3220-5bb0-a1ea-a7954cac585d"), "AbstractAlgebra") not available with flags CacheFlags(; use_pkgimages=false, debug_level=1, check_bounds=1, inline=true, opt_level=0) Stacktrace:  [1] error(s::String)  @ Base error.jl:56  [2] __require_prelocked(pkg::Base.PkgId, env::String)  @ Base loading.jl:2837  [3] _require_prelocked(uuidkey::Base.PkgId, env::String)  @ Base loading.jl:2685  [4] macro expansion  @ loading.jl:2599 [inlined]  [5] macro expansion  @ lock.jl:376 [inlined]  [6] __require(into::Module, mod::Symbol)  @ Base loading.jl:2563  [7] require(into::Module, mod::Symbol)  @ Base loading.jl:2539 [inlined]  [8] eval_import_path(at::Module, from::Nothing, path::Expr, keyword::String)  @ Base module.jl:36 [inlined]  [9] eval_import_path_all(at::Module, path::Expr, keyword::String)  @ Base module.jl:60  [10] _eval_import(::Bool, ::Module, ::Expr, ::Expr, ::Vararg{Expr})  @ Base module.jl:101  [11] eval_import(::Bool, ::Module, ::Expr, ::Expr, ::Vararg{Expr})  @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/runtime.jl:195  [12] top-level scope  @ ~/.julia/packages/Polymake/WDCxf/src/Polymake.jl:21  [13] include(mod::Module, _path::String)  @ Base Base.jl:326  [14] include_package_for_output(pkg::Base.PkgId, input::String, syntax_version::VersionNumber, depot_path::Vector{String}, dl_load_path::Vector{String}, load_path::Vector{String}, concrete_deps::Vector{Pair{Base.PkgId, UInt128}}, source::Nothing)  @ Base loading.jl:3296  [15] top-level scope  @ stdin:5  [16] eval(m::Module, e::Any)  @ Core boot.jl:521  [17] include_string(mapexpr::typeof(identity), mod::Module, code::String, filename::String)  @ Base loading.jl:3132  [18] include_string(m::Module, txt::String, fname::String)  @ Base loading.jl:3142 [inlined]  [19] exec_options(opts::Base.JLOptions)  @ Base client.jl:353  [20] _start()  @ Base client.jl:596 in expression starting at /home/pkgeval/.julia/packages/Polymake/WDCxf/src/Polymake.jl:1 in expression starting at stdin:5 2 dependencies had output during precompilation: ┌ AbstractAlgebra │ ┌ Info: JuliaLowering threw given input: │ │ code = │ │ :(mutable struct ModuleHomomorphism{T <: NCRingElement} <: AbstractAlgebra.Map{AbstractAlgebra.FPModule{T}, AbstractAlgebra.FPModule{T}, AbstractAlgebra.FPModuleHomomorphism, ModuleHomomorphism} │ │ #= /home/pkgeval/.julia/packages/AbstractAlgebra/a2EqM/src/generic/GenericTypes.jl:1381 =# │ │ domain::AbstractAlgebra.FPModule{T} │ │ #= /home/pkgeval/.julia/packages/AbstractAlgebra/a2EqM/src/generic/GenericTypes.jl:1382 =# │ │ codomain::AbstractAlgebra.FPModule{T} │ │ #= /home/pkgeval/.julia/packages/AbstractAlgebra/a2EqM/src/generic/GenericTypes.jl:1383 =# │ │ matrix::AbstractAlgebra.MatElem{T} │ │ #= /home/pkgeval/.julia/packages/AbstractAlgebra/a2EqM/src/generic/GenericTypes.jl:1384 =# │ │ image_fn::Function │ │ #= /home/pkgeval/.julia/packages/AbstractAlgebra/a2EqM/src/generic/GenericTypes.jl:1385 =# │ │ is_left::Bool │ │ #= /home/pkgeval/.julia/packages/AbstractAlgebra/a2EqM/src/generic/GenericTypes.jl:1386 =# │ │ solve_ctx::Any │ │ #= /home/pkgeval/.julia/packages/AbstractAlgebra/a2EqM/src/generic/GenericTypes.jl:1387 =# │ │ map::Map │ │ #= /home/pkgeval/.julia/packages/AbstractAlgebra/a2EqM/src/generic/GenericTypes.jl:1391 =# │ │ function ModuleHomomorphism{T}(D::AbstractAlgebra.FPModule{T}, C::AbstractAlgebra.FPModule{T}, m::AbstractAlgebra.MatElem{T}) where T <: RingElement │ │ #= /home/pkgeval/.julia/packages/AbstractAlgebra/a2EqM/src/generic/GenericTypes.jl:1391 =# │ │ #= /home/pkgeval/.julia/packages/AbstractAlgebra/a2EqM/src/generic/GenericTypes.jl:1392 =# │ │ z = new(D, C, m, (x::AbstractAlgebra.FPModuleElem{T}->begin │ │ #= /home/pkgeval/.julia/packages/AbstractAlgebra/a2EqM/src/generic/GenericTypes.jl:1392 =# │ │ C(x.v * m) │ │ end), true) │ │ end │ │ #= /home/pkgeval/.julia/packages/AbstractAlgebra/a2EqM/src/generic/GenericTypes.jl:1395 =# │ │ function ModuleHomomorphism{T}(D::AbstractAlgebra.FPModule{T}, C::AbstractAlgebra.FPModule{T}, m::AbstractAlgebra.MatElem{T}; is_left::Bool = true, map::Union{Nothing, Map} = nothing) where T <: NCRingElement │ │ #= /home/pkgeval/.julia/packages/AbstractAlgebra/a2EqM/src/generic/GenericTypes.jl:1395 =# │ │ #= /home/pkgeval/.julia/packages/AbstractAlgebra/a2EqM/src/generic/GenericTypes.jl:1397 =# │ │ if is_left │ │ #= /home/pkgeval/.julia/packages/AbstractAlgebra/a2EqM/src/generic/GenericTypes.jl:1398 =# │ │ z = new(D, C, m, (x::AbstractAlgebra.FPModuleElem{T}->begin │ │ #= /home/pkgeval/.julia/packages/AbstractAlgebra/a2EqM/src/generic/GenericTypes.jl:1398 =# │ │ C(x.v * m) │ │ end), is_left) │ │ #= /home/pkgeval/.julia/packages/AbstractAlgebra/a2EqM/src/generic/GenericTypes.jl:1399 =# │ │ if !(map isa Nothing) │ │ #= /home/pkgeval/.julia/packages/AbstractAlgebra/a2EqM/src/generic/GenericTypes.jl:1400 =# │ │ z.map = map │ │ #= /home/pkgeval/.julia/packages/AbstractAlgebra/a2EqM/src/generic/GenericTypes.jl:1401 =# │ │ z.image_fn = (x::AbstractAlgebra.FPModuleElem{T}->begin │ │ #= /home/pkgeval/.julia/packages/AbstractAlgebra/a2EqM/src/generic/GenericTypes.jl:1401 =# │ │ C(map_entries(map, x.v) * m) │ │ end) │ │ end │ │ else │ │ #= /home/pkgeval/.julia/packages/AbstractAlgebra/a2EqM/src/generic/GenericTypes.jl:1404 =# │ │ z = new(D, C, m, (x::AbstractAlgebra.FPModuleElem{T}->begin │ │ #= /home/pkgeval/.julia/packages/AbstractAlgebra/a2EqM/src/generic/GenericTypes.jl:1404 =# │ │ C(m * x.v) │ │ end), is_left) │ │ #= /home/pkgeval/.julia/packages/AbstractAlgebra/a2EqM/src/generic/GenericTypes.jl:1405 =# │ │ if !(map isa Nothing) │ │ #= /home/pkgeval/.julia/packages/AbstractAlgebra/a2EqM/src/generic/GenericTypes.jl:1406 =# │ │ z.map = map │ │ #= /home/pkgeval/.julia/packages/AbstractAlgebra/a2EqM/src/generic/GenericTypes.jl:1407 =# │ │ z.image_fn = (x::AbstractAlgebra.FPModuleElem{T}->begin │ │ #= /home/pkgeval/.julia/packages/AbstractAlgebra/a2EqM/src/generic/GenericTypes.jl:1407 =# │ │ C(m * map_entries(map, x.v)) │ │ end) │ │ end │ │ end │ │ #= /home/pkgeval/.julia/packages/AbstractAlgebra/a2EqM/src/generic/GenericTypes.jl:1410 =# │ │ return z │ │ end │ │ end) │ │ st0 = │ │ SyntaxTree with attributes mod,kind,var_id,toplevel_pure,scope_type,macro_source,name_val,syntax_flags,meta,scope_layer,value,jl_source,is_toplevel_thunk,source,__macro_ctx__ │ │ [struct] │ │ │ true :: Value │ │ │ [<:] │ │ │ [curly] │ │ │ ModuleHomomorphism :: Identifier │ │ │ [<:] │ │ │ T :: Identifier │ │ │ NCRingElement :: Identifier │ │ │ [curly] │ │ │ [.] │ │ │ AbstractAlgebra :: Identifier │ │ │ [inert] │ │ │ Map :: Identifier │ │ │ [curly] │ │ │ [.] │ │ │ AbstractAlgebra :: Identifier │ │ │ [inert] │ │ │ FPModule :: Identifier │ │ │ T :: Identifier │ │ │ [curly] │ │ │ [.] │ │ │ AbstractAlgebra :: Identifier │ │ │ [inert] │ │ │ FPModule :: Identifier │ │ │ T :: Identifier │ │ │ [.] │ │ │ AbstractAlgebra :: Identifier │ │ │ [inert] │ │ │ FPModuleHomomorphism :: Identifier │ │ │ ModuleHomomorphism :: Identifier │ │ │ [block] │ │ │ [::] │ │ │ domain :: Identifier │ │ │ [curly] │ │ │ [.] │ │ │ AbstractAlgebra :: Identifier │ │ │ [inert] │ │ │ FPModule :: Identifier │ │ │ T :: Identifier │ │ │ [::] │ │ │ codomain :: Identifier │ │ │ [curly] │ │ │ [.] │ │ │ AbstractAlgebra :: Identifier │ │ │ [inert] │ │ │ FPModule :: Identifier │ │ │ T :: Identifier │ │ │ [::] │ │ │ matrix :: Identifier │ │ │ [curly] │ │ │ [.] │ │ │ AbstractAlgebra :: Identifier │ │ │ [inert] │ │ │ MatElem :: Identifier │ │ │ T :: Identifier │ │ │ [::] │ │ │ image_fn :: Identifier │ │ │ Function :: Identifier │ │ │ [::] │ │ │ is_left :: Identifier │ │ │ Bool :: Identifier │ │ │ [::] │ │ │ solve_ctx :: Identifier │ │ │ Any :: Identifier │ │ │ [::] │ │ │ map :: Identifier │ │ │ Map :: Identifier │ │ │ [function] │ │ │ [where] │ │ │ [call] │ │ │ [curly] │ │ │ ModuleHomomorphism :: Identifier │ │ │ T :: Identifier │ │ │ [::] │ │ │ D :: Identifier │ │ │ [curly] │ │ │ [.] │ │ │ AbstractAlgebra :: Identifier │ │ │ [inert] │ │ │ FPModule :: Identifier │ │ │ T :: Identifier │ │ │ [::] │ │ │ C :: Identifier │ │ │ [curly] │ │ │ [.] │ │ │ AbstractAlgebra :: Identifier │ │ │ [inert] │ │ │ FPModule :: Identifier │ │ │ T :: Identifier │ │ │ [::] │ │ │ m :: Identifier │ │ │ [curly] │ │ │ [.] │ │ │ AbstractAlgebra :: Identifier │ │ │ [inert] │ │ │ MatElem :: Identifier │ │ │ T :: Identifier │ │ │ [<:] │ │ │ T :: Identifier │ │ │ RingElement :: Identifier │ │ │ [block] │ │ │ [=] │ │ │ z :: Identifier │ │ │ [call] │ │ │ new :: Identifier │ │ │ D :: Identifier │ │ │ C :: Identifier │ │ │ m :: Identifier │ │ │ [->] │ │ │ [::] │ │ │ x :: Identifier │ │ │ [curly] │ │ │ [.] │ │ │ AbstractAlgebra :: Identifier │ │ │ [inert] │ │ │ FPModuleElem :: Identifier │ │ │ T :: Identifier │ │ │ [block] │ │ │ [call] │ │ │ C :: Identifier │ │ │ [call] │ │ │ * :: Identifier │ │ │ [.] │ │ │ x :: Identifier │ │ │ [inert] │ │ │ v :: Identifier │ │ │ m :: Identifier │ │ │ true :: Value │ │ │ [function] │ │ │ [where] │ │ │ [call] │ │ │ [curly] │ │ │ ModuleHomomorphism :: Identifier │ │ │ T :: Identifier │ │ │ [parameters] │ │ │ [kw] │ │ │ [::] │ │ │ is_left :: Identifier │ │ │ Bool :: Identifier │ │ │ true :: Value │ │ │ [kw] │ │ │ [::] │ │ │ map :: Identifier │ │ │ [curly] │ │ │ Union :: Identifier │ │ │ Nothing :: Identifier │ │ │ Map :: Identifier │ │ │ nothing :: Identifier │ │ │ [::] │ │ │ D :: Identifier │ │ │ [curly] │ │ │ [.] │ │ │ AbstractAlgebra :: Identifier │ │ │ [inert] │ │ │ FPModule :: Identifier │ │ │ T :: Identifier │ │ │ [::] │ │ │ C :: Identifier │ │ │ [curly] │ │ │ [.] │ │ │ AbstractAlgebra :: Identifier │ │ │ [inert] │ │ │ FPModule :: Identifier │ │ │ T :: Identifier │ │ │ [::] │ │ │ m :: Identifier │ │ │ [curly] │ │ │ [.] │ │ │ AbstractAlgebra :: Identifier │ │ │ [inert] │ │ │ MatElem :: Identifier │ │ │ T :: Identifier │ │ │ [<:] │ │ │ T :: Identifier │ │ │ NCRingElement :: Identifier │ │ │ [block] │ │ │ [if] │ │ │ is_left :: Identifier │ │ │ [block] │ │ │ [=] │ │ │ z :: Identifier │ │ │ [call] │ │ │ new :: Identifier │ │ │ D :: Identifier │ │ │ C :: Identifier │ │ │ m :: Identifier │ │ │ [->] │ │ │ [::] │ │ │ x :: Identifier │ │ │ [curly] │ │ │ [.] │ │ │ AbstractAlgebra :: Identifier │ │ │ [inert] │ │ │ FPModuleElem :: Identifier │ │ │ T :: Identifier │ │ │ [block] │ │ │ [call] │ │ │ C :: Identifier │ │ │ [call] │ │ │ * :: Identifier │ │ │ [.] │ │ │ x :: Identifier │ │ │ [inert] │ │ │ v :: Identifier │ │ │ m :: Identifier │ │ │ is_left :: Identifier │ │ │ [if] │ │ │ [call] │ │ │ ! :: Identifier │ │ │ [call] │ │ │ isa :: Identifier │ │ │ map :: Identifier │ │ │ Nothing :: Identifier │ │ │ [block] │ │ │ [=] │ │ │ [.] │ │ │ z :: Identifier │ │ │ [inert] │ │ │ map :: Identifier │ │ │ map :: Identifier │ │ │ [=] │ │ │ [.] │ │ │ z :: Identifier │ │ │ [inert] │ │ │ image_fn :: Identifier │ │ │ [->] │ │ │ [::] │ │ │ x :: Identifier │ │ │ [curly] │ │ │ [.] │ │ │ AbstractAlgebra :: Identifier │ │ │ [inert] │ │ │ FPModuleElem :: Identifier │ │ │ T :: Identifier │ │ │ [block] │ │ │ [call] │ │ │ C :: Identifier │ │ │ [call] │ │ │ * :: Identifier │ │ │ [call] │ │ │ map_entries :: Identifier │ │ │ map :: Identifier │ │ │ [.] │ │ │ x :: Identifier │ │ │ [inert] │ │ │ v :: Identifier │ │ │ m :: Identifier │ │ │ [block] │ │ │ [=] │ │ │ z :: Identifier │ │ │ [call] │ │ │ new :: Identifier │ │ │ D :: Identifier │ │ │ C :: Identifier │ │ │ m :: Identifier │ │ │ [->] │ │ │ [::] │ │ │ x :: Identifier │ │ │ [curly] │ │ │ [.] │ │ │ AbstractAlgebra :: Identifier │ │ │ [inert] │ │ │ FPModuleElem :: Identifier │ │ │ T :: Identifier │ │ │ [block] │ │ │ [call] │ │ │ C :: Identifier │ │ │ [call] │ │ │ * :: Identifier │ │ │ m :: Identifier │ │ │ [.] │ │ │ x :: Identifier │ │ │ [inert] │ │ │ v :: Identifier │ │ │ is_left :: Identifier │ │ │ [if] │ │ │ [call] │ │ │ ! :: Identifier │ │ │ [call] │ │ │ isa :: Identifier │ │ │ map :: Identifier │ │ │ Nothing :: Identifier │ │ │ [block] │ │ │ [=] │ │ │ [.] │ │ │ z :: Identifier │ │ │ [inert] │ │ │ map :: Identifier │ │ │ map :: Identifier │ │ │ [=] │ │ │ [.] │ │ │ z :: Identifier │ │ │ [inert] │ │ │ image_fn :: Identifier │ │ │ [->] │ │ │ [::] │ │ │ x :: Identifier │ │ │ [curly] │ │ │ [.] │ │ │ AbstractAlgebra :: Identifier │ │ │ [inert] │ │ │ FPModuleElem :: Identifier │ │ │ T :: Identifier │ │ │ [block] │ │ │ [call] │ │ │ C :: Identifier │ │ │ [call] │ │ │ * :: Identifier │ │ │ m :: Identifier │ │ │ [call] │ │ │ map_entries :: Identifier │ │ │ map :: Identifier │ │ │ [.] │ │ │ x :: Identifier │ │ │ [inert] │ │ │ v :: Identifier │ │ │ [return] │ │ │ z :: Identifier │ │ │ │ │ st1 = │ │ SyntaxTree with attributes mod,kind,var_id,toplevel_pure,scope_type,macro_source,name_val,syntax_flags,meta,scope_layer,value,jl_source,is_toplevel_thunk,source │ │ [struct] │ │ │ true :: Value │ │ │ [<:] │ scope_layer=1 │ │ [curly] │ │ │ ModuleHomomorphism :: Identifier │ scope_layer=1 │ │ [<:] │ scope_layer=1 │ │ T :: Identifier │ scope_layer=1 │ │ NCRingElement :: Identifier │ scope_layer=1 │ │ [curly] │ │ │ [.] │ │ │ AbstractAlgebra :: Identifier │ scope_layer=1 │ │ [inert] │ │ │ Map :: Identifier │ │ │ [curly] │ │ │ [.] │ │ │ AbstractAlgebra :: Identifier │ scope_layer=1 │ │ [inert] │ │ │ FPModule :: Identifier │ │ │ T :: Identifier │ scope_layer=1 │ │ [curly] │ │ │ [.] │ │ │ AbstractAlgebra :: Identifier │ scope_layer=1 │ │ [inert] │ │ │ FPModule :: Identifier │ │ │ T :: Identifier │ scope_layer=1 │ │ [.] │ │ │ AbstractAlgebra :: Identifier │ scope_layer=1 │ │ [inert] │ │ │ FPModuleHomomorphism :: Identifier │ │ │ ModuleHomomorphism :: Identifier │ scope_layer=1 │ │ [block] │ │ │ [::] │ │ │ domain :: Identifier │ scope_layer=1 │ │ [curly] │ │ │ [.] │ │ │ AbstractAlgebra :: Identifier │ scope_layer=1 │ │ [inert] │ │ │ FPModule :: Identifier │ │ │ T :: Identifier │ scope_layer=1 │ │ [::] │ │ │ codomain :: Identifier │ scope_layer=1 │ │ [curly] │ │ │ [.] │ │ │ AbstractAlgebra :: Identifier │ scope_layer=1 │ │ [inert] │ │ │ FPModule :: Identifier │ │ │ T :: Identifier │ scope_layer=1 │ │ [::] │ │ │ matrix :: Identifier │ scope_layer=1 │ │ [curly] │ │ │ [.] │ │ │ AbstractAlgebra :: Identifier │ scope_layer=1 │ │ [inert] │ │ │ MatElem :: Identifier │ │ │ T :: Identifier │ scope_layer=1 │ │ [::] │ │ │ image_fn :: Identifier │ scope_layer=1 │ │ Function :: Identifier │ scope_layer=1 │ │ [::] │ │ │ is_left :: Identifier │ scope_layer=1 │ │ Bool :: Identifier │ scope_layer=1 │ │ [::] │ │ │ solve_ctx :: Identifier │ scope_layer=1 │ │ Any :: Identifier │ scope_layer=1 │ │ [::] │ │ │ map :: Identifier │ scope_layer=1 │ │ Map :: Identifier │ scope_layer=1 │ │ [function] │ │ │ [where] │ │ │ [call] │ │ │ [curly] │ │ │ ModuleHomomorphism :: Identifier │ scope_layer=1 │ │ T :: Identifier │ scope_layer=1 │ │ [::] │ │ │ D :: Identifier │ scope_layer=1 │ │ [curly] │ │ │ [.] │ │ │ AbstractAlgebra :: Identifier │ scope_layer=1 │ │ [inert] │ │ │ FPModule :: Identifier │ │ │ T :: Identifier │ scope_layer=1 │ │ [::] │ │ │ C :: Identifier │ scope_layer=1 │ │ [curly] │ │ │ [.] │ │ │ AbstractAlgebra :: Identifier │ scope_layer=1 │ │ [inert] │ │ │ FPModule :: Identifier │ │ │ T :: Identifier │ scope_layer=1 │ │ [::] │ │ │ m :: Identifier │ scope_layer=1 │ │ [curly] │ │ │ [.] │ │ │ AbstractAlgebra :: Identifier │ scope_layer=1 │ │ [inert] │ │ │ MatElem :: Identifier │ │ │ T :: Identifier │ scope_layer=1 │ │ [<:] │ scope_layer=1 │ │ T :: Identifier │ scope_layer=1 │ │ RingElement :: Identifier │ scope_layer=1 │ │ [block] │ │ │ [=] │ │ │ z :: Identifier │ scope_layer=1 │ │ [call] │ │ │ new :: Identifier │ scope_layer=1 │ │ D :: Identifier │ scope_layer=1 │ │ C :: Identifier │ scope_layer=1 │ │ m :: Identifier │ scope_layer=1 │ │ [->] │ │ │ [::] │ │ │ x :: Identifier │ scope_layer=1 │ │ [curly] │ │ │ [.] │ │ │ AbstractAlgebra :: Identifier │ scope_layer=1 │ │ [inert] │ │ │ FPModuleElem :: Identifier │ │ │ T :: Identifier │ scope_layer=1 │ │ [block] │ │ │ [call] │ │ │ C :: Identifier │ scope_layer=1 │ │ [call] │ │ │ * :: Identifier │ scope_layer=1 │ │ [.] │ │ │ x :: Identifier │ scope_layer=1 │ │ [inert] │ │ │ v :: Identifier │ │ │ m :: Identifier │ scope_layer=1 │ │ true :: Value │ │ │ [function] │ │ │ [where] │ │ │ [call] │ │ │ [curly] │ │ │ ModuleHomomorphism :: Identifier │ scope_layer=1 │ │ T :: Identifier │ scope_layer=1 │ │ [parameters] │ │ │ [kw] │ │ │ [::] │ │ │ is_left :: Identifier │ scope_layer=1 │ │ Bool :: Identifier │ scope_layer=1 │ │ true :: Value │ │ │ [kw] │ │ │ [::] │ │ │ map :: Identifier │ scope_layer=1 │ │ [curly] │ │ │ Union :: Identifier │ scope_layer=1 │ │ Nothing :: Identifier │ scope_layer=1 │ │ Map :: Identifier │ scope_layer=1 │ │ nothing :: Identifier │ scope_layer=1 │ │ [::] │ │ │ D :: Identifier │ scope_layer=1 │ │ [curly] │ │ │ [.] │ │ │ AbstractAlgebra :: Identifier │ scope_layer=1 │ │ [inert] │ │ │ FPModule :: Identifier │ │ │ T :: Identifier │ scope_layer=1 │ │ [::] │ │ │ C :: Identifier │ scope_layer=1 │ │ [curly] │ │ │ [.] │ │ │ AbstractAlgebra :: Identifier │ scope_layer=1 │ │ [inert] │ │ │ FPModule :: Identifier │ │ │ T :: Identifier │ scope_layer=1 │ │ [::] │ │ │ m :: Identifier │ scope_layer=1 │ │ [curly] │ │ │ [.] │ │ │ AbstractAlgebra :: Identifier │ scope_layer=1 │ │ [inert] │ │ │ MatElem :: Identifier │ │ │ T :: Identifier │ scope_layer=1 │ │ [<:] │ scope_layer=1 │ │ T :: Identifier │ scope_layer=1 │ │ NCRingElement :: Identifier │ scope_layer=1 │ │ [block] │ │ │ [if] │ │ │ is_left :: Identifier │ scope_layer=1 │ │ [block] │ │ │ [=] │ │ │ z :: Identifier │ scope_layer=1 │ │ [call] │ │ │ new :: Identifier │ scope_layer=1 │ │ D :: Identifier │ scope_layer=1 │ │ C :: Identifier │ scope_layer=1 │ │ m :: Identifier │ scope_layer=1 │ │ [->] │ │ │ [::] │ │ │ x :: Identifier │ scope_layer=1 │ │ [curly] │ │ │ [.] │ │ │ AbstractAlgebra :: Identifier │ scope_layer=1 │ │ [inert] │ │ │ FPModuleElem :: Identifier │ │ │ T :: Identifier │ scope_layer=1 │ │ [block] │ │ │ [call] │ │ │ C :: Identifier │ scope_layer=1 │ │ [call] │ │ │ * :: Identifier │ scope_layer=1 │ │ [.] │ │ │ x :: Identifier │ scope_layer=1 │ │ [inert] │ │ │ v :: Identifier │ │ │ m :: Identifier │ scope_layer=1 │ │ is_left :: Identifier │ scope_layer=1 │ │ [if] │ │ │ [call] │ │ │ ! :: Identifier │ scope_layer=1 │ │ [call] │ │ │ isa :: Identifier │ scope_layer=1 │ │ map :: Identifier │ scope_layer=1 │ │ Nothing :: Identifier │ scope_layer=1 │ │ [block] │ │ │ [=] │ │ │ [.] │ │ │ z :: Identifier │ scope_layer=1 │ │ [inert] │ │ │ map :: Identifier │ │ │ map :: Identifier │ scope_layer=1 │ │ [=] │ │ │ [.] │ │ │ z :: Identifier │ scope_layer=1 │ │ [inert] │ │ │ image_fn :: Identifier │ │ │ [->] │ │ │ [::] │ │ │ x :: Identifier │ scope_layer=1 │ │ [curly] │ │ │ [.] │ │ │ AbstractAlgebra :: Identifier │ scope_layer=1 │ │ [inert] │ │ │ FPModuleElem :: Identifier │ │ │ T :: Identifier │ scope_layer=1 │ │ [block] │ │ │ [call] │ │ │ C :: Identifier │ scope_layer=1 │ │ [call] │ │ │ * :: Identifier │ scope_layer=1 │ │ [call] │ │ │ map_entries :: Identifier │ scope_layer=1 │ │ map :: Identifier │ scope_layer=1 │ │ [.] │ │ │ x :: Identifier │ scope_layer=1 │ │ [inert] │ │ │ v :: Identifier │ │ │ m :: Identifier │ scope_layer=1 │ │ [block] │ │ │ [=] │ │ │ z :: Identifier │ scope_layer=1 │ │ [call] │ │ │ new :: Identifier │ scope_layer=1 │ │ D :: Identifier │ scope_layer=1 │ │ C :: Identifier │ scope_layer=1 │ │ m :: Identifier │ scope_layer=1 │ │ [->] │ │ │ [::] │ │ │ x :: Identifier │ scope_layer=1 │ │ [curly] │ │ │ [.] │ │ │ AbstractAlgebra :: Identifier │ scope_layer=1 │ │ [inert] │ │ │ FPModuleElem :: Identifier │ │ │ T :: Identifier │ scope_layer=1 │ │ [block] │ │ │ [call] │ │ │ C :: Identifier │ scope_layer=1 │ │ [call] │ │ │ * :: Identifier │ scope_layer=1 │ │ m :: Identifier │ scope_layer=1 │ │ [.] │ │ │ x :: Identifier │ scope_layer=1 │ │ [inert] │ │ │ v :: Identifier │ │ │ is_left :: Identifier │ scope_layer=1 │ │ [if] │ │ │ [call] │ │ │ ! :: Identifier │ scope_layer=1 │ │ [call] │ │ │ isa :: Identifier │ scope_layer=1 │ │ map :: Identifier │ scope_layer=1 │ │ Nothing :: Identifier │ scope_layer=1 │ │ [block] │ │ │ [=] │ │ │ [.] │ │ │ z :: Identifier │ scope_layer=1 │ │ [inert] │ │ │ map :: Identifier │ │ │ map :: Identifier │ scope_layer=1 │ │ [=] │ │ │ [.] │ │ │ z :: Identifier │ scope_layer=1 │ │ [inert] │ │ │ image_fn :: Identifier │ │ │ [->] │ │ │ [::] │ │ │ x :: Identifier │ scope_layer=1 │ │ [curly] │ │ │ [.] │ │ │ AbstractAlgebra :: Identifier │ scope_layer=1 │ │ [inert] │ │ │ FPModuleElem :: Identifier │ │ │ T :: Identifier │ scope_layer=1 │ │ [block] │ │ │ [call] │ │ │ C :: Identifier │ scope_layer=1 │ │ [call] │ │ │ * :: Identifier │ scope_layer=1 │ │ m :: Identifier │ scope_layer=1 │ │ [call] │ │ │ map_entries :: Identifier │ scope_layer=1 │ │ map :: Identifier │ scope_layer=1 │ │ [.] │ │ │ x :: Identifier │ scope_layer=1 │ │ [inert] │ │ │ v :: Identifier │ │ │ [return] │ │ │ z :: Identifier │ scope_layer=1 │ │ │ │ file = "/home/pkgeval/.julia/packages/AbstractAlgebra/a2EqM/src/generic/GenericTypes.jl" │ │ line = 1379 │ └ mod = AbstractAlgebra.Generic │ ERROR: LoadError: LoweringError: │ #= /home/pkgeval/.julia/packages/AbstractAlgebra/a2EqM/src/generic/GenericTypes.jl:1392 =# - Found unexpected binding of kind static_parameter │ Expression: │ #₈₇/T │ Containing expressions: │ (= #₂₀₂/T #₈₇/T) │ (call core.svec (call core.svec #₁₃₇/##->###22 (call core.apply_type (call top.getproperty #₇₅/AbstractAlgebra :FPModuleElem) #₈₇/T)) (call core.svec) SourceLocation:/home/pkgeval/.julia/packages/AbstractAlgebra/a2EqM/src/generic/GenericTypes.jl:1392:0) │ (call core.svec (call core.svec (function_type #₈₈/#->#) (call core.apply_type (call top.getproperty #₇₅/AbstractAlgebra :FPModuleElem) #₈₇/T)) (call core.svec) SourceLocation:/home/pkgeval/.julia/packages/AbstractAlgebra/a2EqM/src/generic/GenericTypes.jl:1392:0) │ │ Detailed provenance: │ #₈₇/T │ └─ T │ └─ T │ └─ @ /home/pkgeval/.julia/packages/AbstractAlgebra/a2EqM/src/generic/GenericTypes.jl:1392 │ │ Stacktrace: │ [1] _renumber(ctx::Base.JuliaLowering.LinearIRContext{Dict{Symbol, Dict{Int64, Any}}}, ssa_rewrites::Dict{Int64, Int64}, slot_rewrites::Dict{Int64, Int64}, label_table::Dict{Int64, Int64}, ex::Base.JuliaSyntax.SyntaxTree{Dict{Symbol, Dict{Int64, Any}}}) │ @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/linear_ir.jl:1091 │ [2] renumber_body(ctx::Base.JuliaLowering.LinearIRContext{Dict{Symbol, Dict{Int64, Any}}}, input_code::Base.JuliaSyntax.SyntaxList{Dict{Symbol, Dict{Int64, Any}}, Vector{Int64}}, slot_rewrites::Dict{Int64, Int64}) │ @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/linear_ir.jl:1156 │ [3] compile_lambda(outer_ctx::Base.JuliaLowering.LinearIRContext{Dict{Symbol, Dict{Int64, Any}}}, ex::Base.JuliaSyntax.SyntaxTree{Dict{Symbol, Dict{Int64, Any}}}) │ @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/linear_ir.jl:1251 │ [4] linearize_ir(ctx::Base.JuliaLowering.ClosureConversionCtx{Dict{Symbol, Dict{Int64, Any}}}, ex::Base.JuliaSyntax.SyntaxTree{Dict{Symbol, Dict{Int64, Any}}}) │ @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/linear_ir.jl:1281 │ [5] core_lowering_hook(code::Any, mod::Module, file::String, line::UInt64, world::UInt64, _warn::Bool) │ @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/hooks.jl:33 │ [6] include(mapexpr::Function, mod::Module, _path::String) │ @ Base Base.jl:327 │ [7] top-level scope │ @ ~/.julia/packages/AbstractAlgebra/a2EqM/src/Generic.jl:19 │ [8] include(mapexpr::Function, mod::Module, _path::String) │ @ Base Base.jl:327 │ [9] top-level scope │ @ ~/.julia/packages/AbstractAlgebra/a2EqM/src/AbstractAlgebra.jl:316 │ [10] include(mod::Module, _path::String) │ @ Base Base.jl:326 │ [11] include_package_for_output(pkg::Base.PkgId, input::String, syntax_version::VersionNumber, depot_path::Vector{String}, dl_load_path::Vector{String}, load_path::Vector{String}, concrete_deps::Vector{Pair{Base.PkgId, UInt128}}, source::Nothing) │ @ Base loading.jl:3296 │ [12] top-level scope │ @ stdin:5 │ [13] eval(m::Module, e::Any) │ @ Core boot.jl:521 │ [14] include_string(mapexpr::typeof(identity), mod::Module, code::String, filename::String) │ @ Base loading.jl:3132 │ [15] include_string(m::Module, txt::String, fname::String) │ @ Base loading.jl:3142 [inlined] │ [16] exec_options(opts::Base.JLOptions) │ @ Base client.jl:353 │ [17] _start() │ @ Base client.jl:596 │ in expression starting at /home/pkgeval/.julia/packages/AbstractAlgebra/a2EqM/src/generic/GenericTypes.jl:1379 │ in expression starting at /home/pkgeval/.julia/packages/AbstractAlgebra/a2EqM/src/Generic.jl:1 │ in expression starting at /home/pkgeval/.julia/packages/AbstractAlgebra/a2EqM/src/AbstractAlgebra.jl:1 │ in expression starting at stdin:5 └ ┌ Polymake │ [Output was shown above] └ ERROR: LoadError: The following 2 packages failed to precompile: AbstractAlgebra Failed to precompile AbstractAlgebra [c3fe647b-3220-5bb0-a1ea-a7954cac585d] to "/home/pkgeval/.julia/compiled/v1.14/AbstractAlgebra/jl_DAX3bD" (ProcessExited(1)). Polymake Failed to precompile Polymake [d720cf60-89b5-51f5-aff5-213f193123e7] to "/home/pkgeval/.julia/compiled/v1.14/Polymake/jl_VVm1Nu" (ProcessExited(1)). in expression starting at /home/pkgeval/.julia/packages/Polymake/WDCxf/test/runtests.jl:1 Testing failed after 479.52s ERROR: LoadError: Package Polymake 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:3247 [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 [8] include(mod::Module, _path::String) @ Base Base.jl:326 [9] exec_options(opts::Base.JLOptions) @ Base client.jl:355 [10] _start() @ Base client.jl:596 in expression starting at /PkgEval.jl/scripts/evaluate.jl:214 PkgEval failed after 1968.75s: package fails to precompile