Package evaluation to test Polymake on Julia 1.14.0-DEV.2373 (cf67ecc88f*) started at 2026-06-13T21:06:40.609 ################################################################################ # Set-up # Installing PkgEval dependencies (TestEnv)... Activating project at `~/.julia/environments/v1.14` Set-up completed after 15.31s ################################################################################ # Installation # Installing Polymake... Resolving package versions... Installed Bzip2_jll ──────────────── v1.0.9+0 Installed libpolymake_julia_jll ──── v0.14.8+0 Installed snappy_jll ─────────────── v1.2.3+0 Installed TOPCOM_jll ─────────────── v0.17.8+0 Installed DecFP ──────────────────── v1.4.2 Installed MacroTools ─────────────── v0.5.16 Installed PrecompileTools ────────── v1.3.4 Installed AbstractAlgebra ────────── v0.50.1 Installed CxxWrap ────────────────── v0.17.5 Installed ASL_jll ────────────────── v0.1.3+0 Installed BinaryWrappers ─────────── v0.2.0 Installed Xorg_libpciaccess_jll ──── v0.19.0+0 Installed StructUtils ────────────── v2.8.2 Installed lib4ti2_jll ────────────── v1.6.10+0 Installed Perl_jll ───────────────── v5.34.1+0 Installed polymake_jll ───────────── v400.1500.4+0 Installed MUMPS_seq_jll ──────────── v500.900.0+0 Installed FLINT_jll ──────────────── v301.500.0+0 Installed Polymake ───────────────── v0.13.12 Installed OpenSpecFun_jll ────────── v0.5.6+0 Installed libcxxwrap_julia_jll ───── v0.14.10+0 Installed LogExpFunctions ────────── v1.0.1 Installed Ipopt_jll ──────────────── v300.1400.1902+0 Installed SCIP_jll ───────────────── v900.200.400+0 Installed Parsers ────────────────── v2.8.5 Installed IrrationalConstants ────── v0.2.6 Installed JSON ───────────────────── v1.6.1 Installed Ncurses_jll ────────────── v6.6.0+2 Installed PPL_jll ────────────────── v1.2.1+0 Installed OpenBLAS32_jll ─────────── v0.3.33+1 Installed Scratch ────────────────── v1.3.0 Installed lrslib_jll ─────────────── v0.3.3+0 Installed DecFP_jll ──────────────── v2.0.300+0 Installed GLPK_jll ───────────────── v5.0.2+0 Installed Ninja_jll ──────────────── v1.13.1+0 Installed XML2_jll ───────────────── v2.13.9+0 Installed Hwloc_jll ──────────────── v2.13.0+1 Installed SpecialFunctions ───────── v2.8.0 Installed Libiconv_jll ───────────── v1.18.0+0 Installed Readline_jll ───────────── v8.3.3+0 Installed Mongoc ─────────────────── v0.10.1 Installed SPRAL_jll ──────────────── v2025.9.18+0 Installed boost_jll ──────────────── v1.87.0+0 Installed polymake_oscarnumber_jll ─ v0.3.18+0 Installed Preferences ────────────── v1.5.2 Installed JLLWrappers ────────────── v1.8.0 Installed LLVMOpenMP_jll ─────────── v18.1.8+0 Installed cddlib_jll ─────────────── v0.94.15+0 Installed METIS_jll ──────────────── v5.1.3+0 Installed RandomExtensions ───────── v0.4.4 Installed DocStringExtensions ────── v0.9.5 Installed MongoC_jll ─────────────── v1.28.1+0 Installed bliss_jll ──────────────── v0.77.0+1 Installed normaliz_jll ───────────── v300.1100.100+0 Installed nauty_jll ──────────────── v2.8.10+1 Installing 36 artifacts Installed artifact LLVMOpenMP 661.6 KiB Installed artifact snappy 43.9 KiB Installed artifact bliss 153.4 KiB Installed artifact SPRAL 691.9 KiB Installed artifact cddlib 1.0 MiB Installed artifact Ncurses 1.0 MiB Installed artifact Hwloc 3.5 MiB Installed artifact OpenSpecFun 194.9 KiB Installed artifact Ninja 2.3 MiB Installed artifact lrslib 201.1 KiB Installed artifact libcxxwrap_julia 8.5 MiB Installed artifact MUMPS_seq 9.1 MiB Installed artifact lib4ti2 1.4 MiB Installed artifact GLPK 3.1 MiB Installed artifact ASL 276.3 KiB Installed artifact METIS 1.1 MiB Installed artifact polymake_oscarnumber 3.7 MiB Installed artifact Readline 1.3 MiB Installed artifact Xorg_libpciaccess 26.2 KiB Installed artifact Bzip2 503.5 KiB Installed artifact Libiconv 1.9 MiB Installed artifact DecFP 2.3 MiB Installed artifact MongoC 763.8 KiB Installed artifact TOPCOM 7.9 MiB Installed artifact PPL 22.9 MiB Installed artifact nauty 17.2 MiB Installed artifact Perl 13.5 MiB Installed artifact Ipopt 1.3 MiB Installed artifact XML2 2.5 MiB Installed artifact SCIP 19.6 MiB Installed artifact OpenBLAS32 10.2 MiB Installed artifact FLINT 24.1 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.12 Updating `~/.julia/environments/v1.14/Manifest.toml` [c3fe647b] + AbstractAlgebra v0.50.1 [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.12 [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.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 [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.7+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 48.58s ################################################################################ # Precompilation # Precompiling PkgEval dependencies... Precompiling project... 6.2 s ✓ TestEnv 1 dependency successfully precompiled in 6 seconds. 27 already precompiled. Precompiling package dependencies... Precompiling project... 3.9 s ✓ MacroTools 2.3 s ✓ IrrationalConstants 1.1 s ✓ DocStringExtensions 72.8 s ✓ RandomExtensions 2.0 s ✓ Scratch 2.9 s ✓ StructUtils 1.4 s ✓ Compat 2.5 s ✓ Preferences 1.5 s ✓ LogExpFunctions 0.7 s ✓ Compat → CompatLinearAlgebraExt 2.8 s ✓ JLLWrappers 2.4 s ✓ PrecompileTools 40.5 s ✓ Aqua 3.1 s ✓ METIS_jll 3.1 s ✓ snappy_jll 2.7 s ✓ Ninja_jll 3.0 s ✓ OpenBLAS32_jll 3.0 s ✓ Xorg_libpciaccess_jll 3.0 s ✓ Bzip2_jll 3.0 s ✓ LLVMOpenMP_jll 3.1 s ✓ Ncurses_jll 3.0 s ✓ Libiconv_jll 3.1 s ✓ libcxxwrap_julia_jll 3.1 s ✓ DecFP_jll 3.0 s ✓ ASL_jll 1.7 s ✓ BinaryWrappers 3.1 s ✓ OpenSpecFun_jll 3.5 s ✓ nauty_jll 3.1 s ✓ bliss_jll 3.2 s ✓ lrslib_jll 3.2 s ✓ PPL_jll 3.1 s ✓ GLPK_jll 2.9 s ✓ cddlib_jll 32.6 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/Y7um3/src/generic/GenericTypes.jl:1380 =# │ domain::AbstractAlgebra.FPModule{T} │ #= /home/pkgeval/.julia/packages/AbstractAlgebra/Y7um3/src/generic/GenericTypes.jl:1381 =# │ codomain::AbstractAlgebra.FPModule{T} │ #= /home/pkgeval/.julia/packages/AbstractAlgebra/Y7um3/src/generic/GenericTypes.jl:1382 =# │ matrix::AbstractAlgebra.MatElem{T} │ #= /home/pkgeval/.julia/packages/AbstractAlgebra/Y7um3/src/generic/GenericTypes.jl:1383 =# │ image_fn::Function │ #= /home/pkgeval/.julia/packages/AbstractAlgebra/Y7um3/src/generic/GenericTypes.jl:1384 =# │ is_left::Bool │ #= /home/pkgeval/.julia/packages/AbstractAlgebra/Y7um3/src/generic/GenericTypes.jl:1385 =# │ solve_ctx::Any │ #= /home/pkgeval/.julia/packages/AbstractAlgebra/Y7um3/src/generic/GenericTypes.jl:1386 =# │ map::Map │ #= /home/pkgeval/.julia/packages/AbstractAlgebra/Y7um3/src/generic/GenericTypes.jl:1390 =# │ function ModuleHomomorphism{T}(D::AbstractAlgebra.FPModule{T}, C::AbstractAlgebra.FPModule{T}, m::AbstractAlgebra.MatElem{T}) where T <: RingElement │ #= /home/pkgeval/.julia/packages/AbstractAlgebra/Y7um3/src/generic/GenericTypes.jl:1390 =# │ #= /home/pkgeval/.julia/packages/AbstractAlgebra/Y7um3/src/generic/GenericTypes.jl:1391 =# │ z = new(D, C, m, (x::AbstractAlgebra.FPModuleElem{T}->begin │ #= /home/pkgeval/.julia/packages/AbstractAlgebra/Y7um3/src/generic/GenericTypes.jl:1391 =# │ C(x.v * m) │ end), true) │ end │ #= /home/pkgeval/.julia/packages/AbstractAlgebra/Y7um3/src/generic/GenericTypes.jl:1394 =# │ 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/Y7um3/src/generic/GenericTypes.jl:1394 =# │ #= /home/pkgeval/.julia/packages/AbstractAlgebra/Y7um3/src/generic/GenericTypes.jl:1396 =# │ if is_left │ #= /home/pkgeval/.julia/packages/AbstractAlgebra/Y7um3/src/generic/GenericTypes.jl:1397 =# │ z = new(D, C, m, (x::AbstractAlgebra.FPModuleElem{T}->begin │ #= /home/pkgeval/.julia/packages/AbstractAlgebra/Y7um3/src/generic/GenericTypes.jl:1397 =# │ C(x.v * m) │ end), is_left) │ #= /home/pkgeval/.julia/packages/AbstractAlgebra/Y7um3/src/generic/GenericTypes.jl:1398 =# │ if !(map isa Nothing) │ #= /home/pkgeval/.julia/packages/AbstractAlgebra/Y7um3/src/generic/GenericTypes.jl:1399 =# │ z.map = map │ #= /home/pkgeval/.julia/packages/AbstractAlgebra/Y7um3/src/generic/GenericTypes.jl:1400 =# │ z.image_fn = (x::AbstractAlgebra.FPModuleElem{T}->begin │ #= /home/pkgeval/.julia/packages/AbstractAlgebra/Y7um3/src/generic/GenericTypes.jl:1400 =# │ C(map_entries(map, x.v) * m) │ end) │ end │ else │ #= /home/pkgeval/.julia/packages/AbstractAlgebra/Y7um3/src/generic/GenericTypes.jl:1403 =# │ z = new(D, C, m, (x::AbstractAlgebra.FPModuleElem{T}->begin │ #= /home/pkgeval/.julia/packages/AbstractAlgebra/Y7um3/src/generic/GenericTypes.jl:1403 =# │ C(m * x.v) │ end), is_left) │ #= /home/pkgeval/.julia/packages/AbstractAlgebra/Y7um3/src/generic/GenericTypes.jl:1404 =# │ if !(map isa Nothing) │ #= /home/pkgeval/.julia/packages/AbstractAlgebra/Y7um3/src/generic/GenericTypes.jl:1405 =# │ z.map = map │ #= /home/pkgeval/.julia/packages/AbstractAlgebra/Y7um3/src/generic/GenericTypes.jl:1406 =# │ z.image_fn = (x::AbstractAlgebra.FPModuleElem{T}->begin │ #= /home/pkgeval/.julia/packages/AbstractAlgebra/Y7um3/src/generic/GenericTypes.jl:1406 =# │ C(m * map_entries(map, x.v)) │ end) │ end │ end │ #= /home/pkgeval/.julia/packages/AbstractAlgebra/Y7um3/src/generic/GenericTypes.jl:1409 =# │ 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/Y7um3/src/generic/GenericTypes.jl" │ line = 1378 └ mod = AbstractAlgebra.Generic ERROR: LoadError: LoweringError: #= /home/pkgeval/.julia/packages/AbstractAlgebra/Y7um3/src/generic/GenericTypes.jl:1391 =# - 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/Y7um3/src/generic/GenericTypes.jl:1391: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/Y7um3/src/generic/GenericTypes.jl:1391:0)  Detailed provenance:  #₈₇/T  └─ T  └─ T  └─ @ /home/pkgeval/.julia/packages/AbstractAlgebra/Y7um3/src/generic/GenericTypes.jl:1391  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:1097  [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:1162  [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:1257  [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:1287  [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:326  [7] top-level scope  @ ~/.julia/packages/AbstractAlgebra/Y7um3/src/Generic.jl:19  [8] include(mapexpr::Function, mod::Module, _path::String)  @ Base Base.jl:326  [9] top-level scope  @ ~/.julia/packages/AbstractAlgebra/Y7um3/src/AbstractAlgebra.jl:316  [10] include(mod::Module, _path::String)  @ Base Base.jl:325  [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:522  [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/Y7um3/src/generic/GenericTypes.jl:1378 in expression starting at /home/pkgeval/.julia/packages/AbstractAlgebra/Y7um3/src/Generic.jl:1 in expression starting at /home/pkgeval/.julia/packages/AbstractAlgebra/Y7um3/src/AbstractAlgebra.jl:1 in expression starting at stdin:5 ✗ AbstractAlgebra 3.1 s ✓ MUMPS_seq_jll 3.1 s ✓ MongoC_jll 3.2 s ✓ FLINT_jll 3.2 s ✓ boost_jll 3.0 s ✓ Readline_jll 3.0 s ✓ XML2_jll 182.9 s ✓ CxxWrap 71.7 s ✓ SpecialFunctions 3.4 s ✓ lib4ti2_jll 3.7 s ✓ TOPCOM_jll 93.9 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/Y7um3/ext/TestExt/TestExt.jl:3  [13] include(mod::Module, _path::String)  @ Base Base.jl:325  [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:522  [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/Y7um3/ext/TestExt/TestExt.jl:1 in expression starting at stdin:5 ✗ AbstractAlgebra → TestExt 3.4 s ✓ normaliz_jll 3.2 s ✓ Perl_jll 3.3 s ✓ Hwloc_jll 55.4 s ✓ DecFP 1.1 s ✓ BinaryWrappers → Perl_jllExt 3.1 s ✓ SPRAL_jll 88.4 s ✓ Mongoc 3.2 s ✓ Ipopt_jll 3.2 s ✓ SCIP_jll 3.5 s ✓ polymake_jll 3.5 s ✓ libpolymake_julia_jll 3.5 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/oOZ7J/src/Polymake.jl:21  [13] include(mod::Module, _path::String)  @ Base Base.jl:325  [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:522  [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/oOZ7J/src/Polymake.jl:1 in expression starting at stdin:5 ✗ Polymake 57 dependencies successfully precompiled in 1187 seconds. 37 already precompiled. Precompilation completed after 1224.21s ################################################################################ # Testing # Testing Polymake Status `/tmp/jl_BDrCwp/Project.toml` [4c88cf16] Aqua v0.8.16 [d720cf60] Polymake v0.13.12 [8dfed614] Test v1.11.0 Status `/tmp/jl_BDrCwp/Manifest.toml` [c3fe647b] AbstractAlgebra v0.50.1 [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.12 [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.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.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.7+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/Y7um3/src/generic/GenericTypes.jl:1380 =# │ domain::AbstractAlgebra.FPModule{T} │ #= /home/pkgeval/.julia/packages/AbstractAlgebra/Y7um3/src/generic/GenericTypes.jl:1381 =# │ codomain::AbstractAlgebra.FPModule{T} │ #= /home/pkgeval/.julia/packages/AbstractAlgebra/Y7um3/src/generic/GenericTypes.jl:1382 =# │ matrix::AbstractAlgebra.MatElem{T} │ #= /home/pkgeval/.julia/packages/AbstractAlgebra/Y7um3/src/generic/GenericTypes.jl:1383 =# │ image_fn::Function │ #= /home/pkgeval/.julia/packages/AbstractAlgebra/Y7um3/src/generic/GenericTypes.jl:1384 =# │ is_left::Bool │ #= /home/pkgeval/.julia/packages/AbstractAlgebra/Y7um3/src/generic/GenericTypes.jl:1385 =# │ solve_ctx::Any │ #= /home/pkgeval/.julia/packages/AbstractAlgebra/Y7um3/src/generic/GenericTypes.jl:1386 =# │ map::Map │ #= /home/pkgeval/.julia/packages/AbstractAlgebra/Y7um3/src/generic/GenericTypes.jl:1390 =# │ function ModuleHomomorphism{T}(D::AbstractAlgebra.FPModule{T}, C::AbstractAlgebra.FPModule{T}, m::AbstractAlgebra.MatElem{T}) where T <: RingElement │ #= /home/pkgeval/.julia/packages/AbstractAlgebra/Y7um3/src/generic/GenericTypes.jl:1390 =# │ #= /home/pkgeval/.julia/packages/AbstractAlgebra/Y7um3/src/generic/GenericTypes.jl:1391 =# │ z = new(D, C, m, (x::AbstractAlgebra.FPModuleElem{T}->begin │ #= /home/pkgeval/.julia/packages/AbstractAlgebra/Y7um3/src/generic/GenericTypes.jl:1391 =# │ C(x.v * m) │ end), true) │ end │ #= /home/pkgeval/.julia/packages/AbstractAlgebra/Y7um3/src/generic/GenericTypes.jl:1394 =# │ 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/Y7um3/src/generic/GenericTypes.jl:1394 =# │ #= /home/pkgeval/.julia/packages/AbstractAlgebra/Y7um3/src/generic/GenericTypes.jl:1396 =# │ if is_left │ #= /home/pkgeval/.julia/packages/AbstractAlgebra/Y7um3/src/generic/GenericTypes.jl:1397 =# │ z = new(D, C, m, (x::AbstractAlgebra.FPModuleElem{T}->begin │ #= /home/pkgeval/.julia/packages/AbstractAlgebra/Y7um3/src/generic/GenericTypes.jl:1397 =# │ C(x.v * m) │ end), is_left) │ #= /home/pkgeval/.julia/packages/AbstractAlgebra/Y7um3/src/generic/GenericTypes.jl:1398 =# │ if !(map isa Nothing) │ #= /home/pkgeval/.julia/packages/AbstractAlgebra/Y7um3/src/generic/GenericTypes.jl:1399 =# │ z.map = map │ #= /home/pkgeval/.julia/packages/AbstractAlgebra/Y7um3/src/generic/GenericTypes.jl:1400 =# │ z.image_fn = (x::AbstractAlgebra.FPModuleElem{T}->begin │ #= /home/pkgeval/.julia/packages/AbstractAlgebra/Y7um3/src/generic/GenericTypes.jl:1400 =# │ C(map_entries(map, x.v) * m) │ end) │ end │ else │ #= /home/pkgeval/.julia/packages/AbstractAlgebra/Y7um3/src/generic/GenericTypes.jl:1403 =# │ z = new(D, C, m, (x::AbstractAlgebra.FPModuleElem{T}->begin │ #= /home/pkgeval/.julia/packages/AbstractAlgebra/Y7um3/src/generic/GenericTypes.jl:1403 =# │ C(m * x.v) │ end), is_left) │ #= /home/pkgeval/.julia/packages/AbstractAlgebra/Y7um3/src/generic/GenericTypes.jl:1404 =# │ if !(map isa Nothing) │ #= /home/pkgeval/.julia/packages/AbstractAlgebra/Y7um3/src/generic/GenericTypes.jl:1405 =# │ z.map = map │ #= /home/pkgeval/.julia/packages/AbstractAlgebra/Y7um3/src/generic/GenericTypes.jl:1406 =# │ z.image_fn = (x::AbstractAlgebra.FPModuleElem{T}->begin │ #= /home/pkgeval/.julia/packages/AbstractAlgebra/Y7um3/src/generic/GenericTypes.jl:1406 =# │ C(m * map_entries(map, x.v)) │ end) │ end │ end │ #= /home/pkgeval/.julia/packages/AbstractAlgebra/Y7um3/src/generic/GenericTypes.jl:1409 =# │ 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/Y7um3/src/generic/GenericTypes.jl" │ line = 1378 └ mod = AbstractAlgebra.Generic ERROR: LoadError: LoweringError: #= /home/pkgeval/.julia/packages/AbstractAlgebra/Y7um3/src/generic/GenericTypes.jl:1391 =# - 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/Y7um3/src/generic/GenericTypes.jl:1391: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/Y7um3/src/generic/GenericTypes.jl:1391:0)  Detailed provenance:  #₈₇/T  └─ T  └─ T  └─ @ /home/pkgeval/.julia/packages/AbstractAlgebra/Y7um3/src/generic/GenericTypes.jl:1391  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:1097  [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:1162  [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:1257  [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:1287  [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:326  [7] top-level scope  @ ~/.julia/packages/AbstractAlgebra/Y7um3/src/Generic.jl:19  [8] include(mapexpr::Function, mod::Module, _path::String)  @ Base Base.jl:326  [9] top-level scope  @ ~/.julia/packages/AbstractAlgebra/Y7um3/src/AbstractAlgebra.jl:316  [10] include(mod::Module, _path::String)  @ Base Base.jl:325  [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:522  [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/Y7um3/src/generic/GenericTypes.jl:1378 in expression starting at /home/pkgeval/.julia/packages/AbstractAlgebra/Y7um3/src/Generic.jl:1 in expression starting at /home/pkgeval/.julia/packages/AbstractAlgebra/Y7um3/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/oOZ7J/src/Polymake.jl:21  [13] include(mod::Module, _path::String)  @ Base Base.jl:325  [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:522  [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/oOZ7J/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/Y7um3/src/generic/GenericTypes.jl:1380 =# │ │ domain::AbstractAlgebra.FPModule{T} │ │ #= /home/pkgeval/.julia/packages/AbstractAlgebra/Y7um3/src/generic/GenericTypes.jl:1381 =# │ │ codomain::AbstractAlgebra.FPModule{T} │ │ #= /home/pkgeval/.julia/packages/AbstractAlgebra/Y7um3/src/generic/GenericTypes.jl:1382 =# │ │ matrix::AbstractAlgebra.MatElem{T} │ │ #= /home/pkgeval/.julia/packages/AbstractAlgebra/Y7um3/src/generic/GenericTypes.jl:1383 =# │ │ image_fn::Function │ │ #= /home/pkgeval/.julia/packages/AbstractAlgebra/Y7um3/src/generic/GenericTypes.jl:1384 =# │ │ is_left::Bool │ │ #= /home/pkgeval/.julia/packages/AbstractAlgebra/Y7um3/src/generic/GenericTypes.jl:1385 =# │ │ solve_ctx::Any │ │ #= /home/pkgeval/.julia/packages/AbstractAlgebra/Y7um3/src/generic/GenericTypes.jl:1386 =# │ │ map::Map │ │ #= /home/pkgeval/.julia/packages/AbstractAlgebra/Y7um3/src/generic/GenericTypes.jl:1390 =# │ │ function ModuleHomomorphism{T}(D::AbstractAlgebra.FPModule{T}, C::AbstractAlgebra.FPModule{T}, m::AbstractAlgebra.MatElem{T}) where T <: RingElement │ │ #= /home/pkgeval/.julia/packages/AbstractAlgebra/Y7um3/src/generic/GenericTypes.jl:1390 =# │ │ #= /home/pkgeval/.julia/packages/AbstractAlgebra/Y7um3/src/generic/GenericTypes.jl:1391 =# │ │ z = new(D, C, m, (x::AbstractAlgebra.FPModuleElem{T}->begin │ │ #= /home/pkgeval/.julia/packages/AbstractAlgebra/Y7um3/src/generic/GenericTypes.jl:1391 =# │ │ C(x.v * m) │ │ end), true) │ │ end │ │ #= /home/pkgeval/.julia/packages/AbstractAlgebra/Y7um3/src/generic/GenericTypes.jl:1394 =# │ │ 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/Y7um3/src/generic/GenericTypes.jl:1394 =# │ │ #= /home/pkgeval/.julia/packages/AbstractAlgebra/Y7um3/src/generic/GenericTypes.jl:1396 =# │ │ if is_left │ │ #= /home/pkgeval/.julia/packages/AbstractAlgebra/Y7um3/src/generic/GenericTypes.jl:1397 =# │ │ z = new(D, C, m, (x::AbstractAlgebra.FPModuleElem{T}->begin │ │ #= /home/pkgeval/.julia/packages/AbstractAlgebra/Y7um3/src/generic/GenericTypes.jl:1397 =# │ │ C(x.v * m) │ │ end), is_left) │ │ #= /home/pkgeval/.julia/packages/AbstractAlgebra/Y7um3/src/generic/GenericTypes.jl:1398 =# │ │ if !(map isa Nothing) │ │ #= /home/pkgeval/.julia/packages/AbstractAlgebra/Y7um3/src/generic/GenericTypes.jl:1399 =# │ │ z.map = map │ │ #= /home/pkgeval/.julia/packages/AbstractAlgebra/Y7um3/src/generic/GenericTypes.jl:1400 =# │ │ z.image_fn = (x::AbstractAlgebra.FPModuleElem{T}->begin │ │ #= /home/pkgeval/.julia/packages/AbstractAlgebra/Y7um3/src/generic/GenericTypes.jl:1400 =# │ │ C(map_entries(map, x.v) * m) │ │ end) │ │ end │ │ else │ │ #= /home/pkgeval/.julia/packages/AbstractAlgebra/Y7um3/src/generic/GenericTypes.jl:1403 =# │ │ z = new(D, C, m, (x::AbstractAlgebra.FPModuleElem{T}->begin │ │ #= /home/pkgeval/.julia/packages/AbstractAlgebra/Y7um3/src/generic/GenericTypes.jl:1403 =# │ │ C(m * x.v) │ │ end), is_left) │ │ #= /home/pkgeval/.julia/packages/AbstractAlgebra/Y7um3/src/generic/GenericTypes.jl:1404 =# │ │ if !(map isa Nothing) │ │ #= /home/pkgeval/.julia/packages/AbstractAlgebra/Y7um3/src/generic/GenericTypes.jl:1405 =# │ │ z.map = map │ │ #= /home/pkgeval/.julia/packages/AbstractAlgebra/Y7um3/src/generic/GenericTypes.jl:1406 =# │ │ z.image_fn = (x::AbstractAlgebra.FPModuleElem{T}->begin │ │ #= /home/pkgeval/.julia/packages/AbstractAlgebra/Y7um3/src/generic/GenericTypes.jl:1406 =# │ │ C(m * map_entries(map, x.v)) │ │ end) │ │ end │ │ end │ │ #= /home/pkgeval/.julia/packages/AbstractAlgebra/Y7um3/src/generic/GenericTypes.jl:1409 =# │ │ 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/Y7um3/src/generic/GenericTypes.jl" │ │ line = 1378 │ └ mod = AbstractAlgebra.Generic │ ERROR: LoadError: LoweringError: │ #= /home/pkgeval/.julia/packages/AbstractAlgebra/Y7um3/src/generic/GenericTypes.jl:1391 =# - 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/Y7um3/src/generic/GenericTypes.jl:1391: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/Y7um3/src/generic/GenericTypes.jl:1391:0) │ │ Detailed provenance: │ #₈₇/T │ └─ T │ └─ T │ └─ @ /home/pkgeval/.julia/packages/AbstractAlgebra/Y7um3/src/generic/GenericTypes.jl:1391 │ │ 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:1097 │ [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:1162 │ [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:1257 │ [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:1287 │ [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:326 │ [7] top-level scope │ @ ~/.julia/packages/AbstractAlgebra/Y7um3/src/Generic.jl:19 │ [8] include(mapexpr::Function, mod::Module, _path::String) │ @ Base Base.jl:326 │ [9] top-level scope │ @ ~/.julia/packages/AbstractAlgebra/Y7um3/src/AbstractAlgebra.jl:316 │ [10] include(mod::Module, _path::String) │ @ Base Base.jl:325 │ [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:522 │ [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/Y7um3/src/generic/GenericTypes.jl:1378 │ in expression starting at /home/pkgeval/.julia/packages/AbstractAlgebra/Y7um3/src/Generic.jl:1 │ in expression starting at /home/pkgeval/.julia/packages/AbstractAlgebra/Y7um3/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_LNUolP" (ProcessExited(1)). Polymake Failed to precompile Polymake [d720cf60-89b5-51f5-aff5-213f193123e7] to "/home/pkgeval/.julia/compiled/v1.14/Polymake/jl_zYf4Y4" (ProcessExited(1)). in expression starting at /home/pkgeval/.julia/packages/Polymake/oOZ7J/test/runtests.jl:1 Testing failed after 426.78s 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:325 [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 1740.43s: package fails to precompile