Package evaluation to load CountingChambers on Julia 1.14.0-DEV.2309 (6e1a27e459*) started at 2026-06-07T04:43:32.903 ################################################################################ # Set-up # Set-up completed after 0.15s ################################################################################ # Installation # Installing CountingChambers... Resolving package versions... Installed Singular_jll ────────────────── v404.101.508+0 Installed Bzip2_jll ───────────────────── v1.0.9+0 Installed GAP_pkg_profiling_jll ───────── v201.60200.0+0 Installed GAP_pkg_float_jll ───────────── v101.900.0+0 Installed MPFI_jll ────────────────────── v1.5.6+0 Installed GAP_pkg_json_jll ────────────── v201.20300.0+0 Installed MacroTools ──────────────────── v0.5.16 Installed snappy_jll ──────────────────── v1.2.3+0 Installed GAP_pkg_ace_jll ─────────────── v501.70000.0+0 Installed Combinatorics ───────────────── v1.1.0 Installed GAP_pkg_deepthought_jll ─────── v101.900.0+0 Installed GAP_pkg_io_jll ──────────────── v401.90300.0+0 Installed GAP_pkg_digraphs_jll ────────── v101.130100.0+0 Installed MUMPS_seq_jll ───────────────── v500.900.0+0 Installed GAP_pkg_zeromqinterface_jll ─── v1.170000.0+0 Installed GAP_pkg_caratinterface_jll ──── v201.30700.0+0 Installed BinaryWrappers ──────────────── v0.2.0 Installed PrecompileTools ─────────────── v1.3.4 Installed AbstractAlgebra ─────────────── v0.49.0 Installed GAP_pkg_kbmag_jll ───────────── v101.51100.0+0 Installed GAP_pkg_ferret_jll ──────────── v101.1500.0+0 Installed Perl_jll ────────────────────── v5.34.1+0 Installed ASL_jll ─────────────────────── v0.1.3+0 Installed lib4ti2_jll ─────────────────── v1.6.10+0 Installed GAP_pkg_orb_jll ─────────────── v501.100.0+0 Installed Xorg_libpciaccess_jll ───────── v0.19.0+0 Installed polymake_jll ────────────────── v400.1500.3+0 Installed Ncurses_jll ─────────────────── v6.6.0+2 Installed GAP_pkg_browse_jll ──────────── v101.82100.1+0 Installed Ipopt_jll ───────────────────── v300.1400.1902+0 Installed FLINT_jll ───────────────────── v301.500.0+0 Installed GAP_pkg_cddinterface_jll ────── v202501.62400.0+0 Installed PPL_jll ─────────────────────── v1.2.1+0 Installed SCIP_jll ────────────────────── v900.200.400+0 Installed GAP_pkg_fplsa_jll ───────────── v101.20700.0+0 Installed GAP_pkg_anupq_jll ───────────── v301.30200.0+0 Installed lrslib_jll ──────────────────── v0.3.3+0 Installed OpenBLAS32_jll ──────────────── v0.3.33+1 Installed GAP_pkg_edim_jll ────────────── v101.30800.0+0 Installed GAP_pkg_normalizinterface_jll ─ v101.40100.0+0 Installed GAP_jll ─────────────────────── v400.1500.101+0 Installed GAP_pkg_juliainterface_jll ──── v0.160000.0+1 Installed GLPK_jll ────────────────────── v5.0.2+0 Installed Hwloc_jll ───────────────────── v2.13.0+1 Installed libsodium_jll ───────────────── v1.0.21+0 Installed GAP_pkg_semigroups_jll ──────── v501.50400.1+0 Installed MPC_jll ─────────────────────── v1.4.1+0 Installed GAP_pkg_gauss_jll ───────────── v202401.110100.0+0 Installed SaferIntegers ───────────────── v3.5.1 Installed ZeroMQ_jll ──────────────────── v4.3.6+0 Installed GAP_pkg_datastructures_jll ──── v1.40000.0+0 Installed XML2_jll ────────────────────── v2.13.9+0 Installed Scratch ─────────────────────── v1.3.0 Installed GAP_pkg_crypting_jll ────────── v1.100600.0+0 Installed GAP_pkg_cohomolo_jll ────────── v101.61200.0+0 Installed Readline_jll ────────────────── v8.3.3+0 Installed GAP_pkg_curlinterface_jll ───── v201.40200.0+0 Installed CountingChambers ────────────── v0.2.3 Installed Nemo ────────────────────────── v0.55.1 Installed GAP ─────────────────────────── v0.16.6 Installed Preferences ─────────────────── v1.5.2 Installed cddlib_jll ──────────────────── v0.94.15+0 Installed GAP_pkg_simpcomp_jll ────────── v201.11400.0+0 Installed SPRAL_jll ───────────────────── v2025.9.18+0 Installed Libiconv_jll ────────────────── v1.18.0+0 Installed GAP_pkg_guava_jll ───────────── v301.200000.0+0 Installed JLLWrappers ─────────────────── v1.8.0 Installed LLVMOpenMP_jll ──────────────── v18.1.8+0 Installed METIS_jll ───────────────────── v5.1.3+0 Installed bliss_jll ───────────────────── v0.77.0+1 Installed GAP_pkg_nq_jll ──────────────── v201.51100.0+0 Installed MongoC_jll ──────────────────── v1.28.1+0 Installed boost_jll ───────────────────── v1.87.0+0 Installed GAP_pkg_cvec_jll ────────────── v201.80400.0+0 Installed GAP_lib_jll ─────────────────── v400.1500.100+0 Installed nauty_jll ───────────────────── v2.8.10+1 Installed normaliz_jll ────────────────── v300.1001.504+0 Installed RandomExtensions ────────────── v0.4.4 Installed Hecke ───────────────────────── v0.39.18 Installing 237 artifacts Installed artifact GAP_pkg_walrus 373.8 KiB Installed artifact Bzip2 503.5 KiB Installed artifact GAP_pkg_cubefree 215.2 KiB Installed artifact GAP_pkg_nconvex 304.0 KiB Installed artifact GAP_pkg_repndecomp 287.9 KiB Installed artifact QuadLatDB 1.8 MiB Installed artifact GAP_pkg_xgap 851.0 KiB Installed artifact GAP_pkg_zeromqinterface 316.3 KiB Installed artifact Readline 1.3 MiB Installed artifact GAP_pkg_guava 150.1 KiB Installed artifact GAP_pkg_cddinterface 326.0 KiB Installed artifact ASL 276.3 KiB Installed artifact GAP_pkg_anupq 1.3 MiB Installed artifact GAP_pkg_lpres 444.0 KiB Installed artifact GAP_pkg_format 230.3 KiB Installed artifact HermLatDB 23.5 KiB Installed artifact SmallGroupDB 941.2 KiB Installed artifact GAP_pkg_factint 4.4 MiB Installed artifact GAP_pkg_help 539.4 KiB Installed artifact GAP_pkg_orb 71.1 KiB Installed artifact GAP_pkg_hapcryst 644.3 KiB Installed artifact GAP_pkg_autpgrp 188.2 KiB Installed artifact GAP_pkg_groupoids 821.4 KiB Installed artifact GAP_pkg_design 391.8 KiB Installed artifact GAP_pkg_modulepresentationsforcap 202.9 KiB Installed artifact GAP_pkg_kan 312.7 KiB Installed artifact GAP_pkg_crypting 150.8 KiB Installed artifact GAP_lib 15.9 MiB Installed artifact GAP_pkg_atlasrep 2.2 MiB Installed artifact GAP 3.3 MiB Installed artifact GAP_pkg_autodoc 390.8 KiB Installed artifact GAP_pkg_thelma 380.2 KiB Installed artifact GAP_pkg_edim 23.3 KiB Installed artifact GAP_pkg_standardff 442.9 KiB Installed artifact GAP_pkg_smallsemi 19.7 MiB Installed artifact GAP_pkg_fining 3.8 MiB Installed artifact GAP_pkg_normalizinterface 507.9 KiB Installed artifact GAP_pkg_float 217.2 KiB Installed artifact GAP_pkg_gauss 19.5 KiB Installed artifact GAP_pkg_curlinterface 226.0 KiB Installed artifact GAP_pkg_corefreesub 205.5 KiB Installed artifact GAP_pkg_matricesforhomalg 752.9 KiB Installed artifact GAP_pkg_polenta 323.8 KiB Installed artifact libsodium 1.6 MiB Installed artifact GAP_pkg_symbcompcc 261.9 KiB Installed artifact ZeroMQ 316.1 KiB Installed artifact GAP_pkg_idrel 556.9 KiB Installed artifact GAP_pkg_ace 59.1 KiB Installed artifact MongoC 763.8 KiB Installed artifact GAP_pkg_homalg 663.2 KiB Installed artifact GAP_pkg_ace 1.2 MiB Installed artifact Perl 13.5 MiB Installed artifact GAP_pkg_spinsym 378.0 KiB Installed artifact GAP_pkg_browse 58.2 KiB Installed artifact GAP_pkg_deepthought 323.2 KiB Installed artifact snappy 43.9 KiB Installed artifact GAP_pkg_grape 1.8 MiB Installed artifact Libiconv 1.9 MiB Installed artifact GAP_pkg_smallantimagmas 1.1 MiB Installed artifact FLINT 24.1 MiB Installed artifact GAP_pkg_kbmag 6.9 MiB Installed artifact GAP_pkg_itc 420.8 KiB Installed artifact GAP_pkg_modules 550.8 KiB Installed artifact GAP_pkg_localizeringforhomalg 286.8 KiB Installed artifact GAP_pkg_automata 829.5 KiB Installed artifact PPL 22.9 MiB Installed artifact GAP_pkg_transgrp 56.3 MiB Installed artifact GAP_pkg_singular 401.5 KiB Installed artifact GAP_pkg_deepthought 21.7 KiB Installed artifact GAP_pkg_quagroup 623.2 KiB Installed artifact GAP_pkg_utils 415.9 KiB Installed artifact GAP_pkg_francy 580.5 KiB Installed artifact GAP_pkg_io_forhomalg 92.1 KiB Installed artifact GAP_pkg_corelg 1.3 MiB Installed artifact ClassicalModularPolynomialsDB 19.8 MiB Installed artifact GAP_pkg_recog 3.7 MiB Installed artifact AtkinModularPolynomialsDB 8.3 MiB Installed artifact GAP_pkg_repsn 255.6 KiB Installed artifact GAP_pkg_smallclassnr 178.6 KiB Installed artifact GAP_pkg_unipot 211.9 KiB Installed artifact MUMPS_seq 9.1 MiB Installed artifact Singular 10.4 MiB Installed artifact GAP_pkg_intpic 1.5 MiB Installed artifact GAP_pkg_gbnp 1.6 MiB Installed artifact GAP_pkg_linearalgebraforcap 262.9 KiB Installed artifact GAP_pkg_rcwa 12.8 MiB Installed artifact GAP_pkg_io 630.5 KiB Installed artifact GAP_pkg_digraphs 887.5 KiB Installed artifact GAP_pkg_tomlib 50.8 MiB Installed artifact GAP_pkg_images 187.6 KiB Installed artifact GAP_pkg_scscp 955.3 KiB Installed artifact GLPK 3.1 MiB Installed artifact GAP_pkg_io 78.8 KiB Installed artifact GAP_pkg_liealgdb 486.2 KiB Installed artifact GAP_pkg_digraphs 2.7 MiB Installed artifact GAP_pkg_liering 568.6 KiB Installed artifact GAP_pkg_wedderga 732.0 KiB Installed artifact GAP_pkg_gradedringforhomalg 238.7 KiB Installed artifact GAP_pkg_patternclass 1.5 MiB Installed artifact GAP_pkg_gaussforhomalg 220.3 KiB Installed artifact GAP_pkg_toric 345.0 KiB Installed artifact GAP_pkg_cohomolo 398.3 KiB Installed artifact GAP_pkg_unitlib 28.6 MiB Installed artifact GAP_pkg_simpcomp 434.6 KiB Installed artifact GAP_pkg_examplesforhomalg 214.2 KiB Installed artifact GAP_pkg_openmath 313.8 KiB Installed artifact GAP_pkg_wpe 393.8 KiB Installed artifact GAP_pkg_ibnp 425.7 KiB Installed artifact GAP_pkg_normalizinterface 416.5 KiB Installed artifact GAP_pkg_sgpviz 722.2 KiB Installed artifact GAP_pkg_mapclass 293.7 KiB Installed artifact GAP_pkg_profiling 473.5 KiB Installed artifact GAP_pkg_yangbaxter 49.8 MiB Installed artifact GAP_pkg_ctbllib 16.9 MiB Installed artifact GAP_pkg_cvec 147.6 KiB Installed artifact GAP_pkg_qpa 1.3 MiB Installed artifact GAP_pkg_laguna 524.3 KiB Installed artifact GAP_pkg_hap 46.5 MiB Installed artifact GAP_pkg_sophus 286.6 KiB Installed artifact SCIP 19.6 MiB Installed artifact GAP_pkg_aclib 257.2 KiB Installed artifact GAP_pkg_genss 349.0 KiB Installed artifact GAP_pkg_crystcat 272.9 KiB Installed artifact GAP_pkg_xmod 1.2 MiB Installed artifact GAP_pkg_json 202.7 KiB Installed artifact GAP_pkg_smallgrp 19.2 MiB Installed artifact GAP_pkg_cvec 605.3 KiB Installed artifact GAP_pkg_automgrp 451.3 KiB Installed artifact GAP_pkg_sla 1.0 MiB Installed artifact GAP_pkg_ferret 257.1 KiB Installed artifact GAP_pkg_congruence 323.7 KiB Installed artifact GAP_pkg_fplsa 182.9 KiB Installed artifact lib4ti2 1.4 MiB Installed artifact GAP_pkg_monoidalcategories 784.2 KiB Installed artifact GAP_pkg_numericalsgps 7.0 MiB Installed artifact OpenBLAS32 10.2 MiB Installed artifact GAP_pkg_packagemanager 220.9 KiB Installed artifact Hwloc 3.5 MiB Installed artifact GAP_pkg_gauss 256.4 KiB Installed artifact GAP_pkg_twistedconjugacy 365.9 KiB Installed artifact GAP_pkg_qdistrnd 378.0 KiB Installed artifact GAP_pkg_inducereduce 176.8 KiB Installed artifact GAP_pkg_agt 21.2 MiB Installed artifact LLVMOpenMP 661.6 KiB Installed artifact GAP_pkg_fga 263.4 KiB Installed artifact GAP_pkg_irredsol 18.3 MiB Installed artifact GAP_pkg_sl2reps 367.8 KiB Installed artifact GAP_pkg_simpcomp 9.8 MiB Installed artifact GAP_pkg_nq 572.7 KiB Installed artifact GAP_pkg_nock 226.8 KiB Installed artifact Ipopt 1.3 MiB Installed artifact Xorg_libpciaccess 26.2 KiB Installed artifact GAP_pkg_classicpres 133.1 KiB Installed artifact GAP_pkg_cap 1.5 MiB Installed artifact GAP_pkg_fplsa 105.8 KiB Installed artifact GAP_pkg_float 688.7 KiB Installed artifact GAP_pkg_alco 487.9 KiB Installed artifact MPC 225.0 KiB Installed artifact GAP_pkg_cddinterface 41.0 KiB Installed artifact GAP_pkg_kbmag 759.5 KiB Installed artifact GAP_pkg_cryst 246.0 KiB Installed artifact MPFI 50.0 KiB Installed artifact GAP_pkg_guava 2.5 MiB Installed artifact GAP_pkg_circle 295.1 KiB Installed artifact GAP_pkg_ringsforhomalg 1.1 MiB Installed artifact GAP_pkg_typeset 262.7 KiB Installed artifact GAP_pkg_nilmat 323.7 KiB Installed artifact GAP_pkg_radiroot 193.1 KiB Installed artifact GAP_pkg_ugaly 445.7 KiB Installed artifact GAP_pkg_crisp 296.8 KiB Installed artifact GAP_pkg_jupyterkernel 340.2 KiB Installed artifact GAP_pkg_matgrp 112.3 KiB Installed artifact GAP_pkg_cohomolo 422.4 KiB Installed artifact GAP_pkg_crime 309.9 KiB Installed artifact GAP_pkg_rds 448.7 KiB Installed artifact lrslib 201.1 KiB Installed artifact GAP_pkg_fr 1.6 MiB Installed artifact GAP_pkg_gradedmodules 309.8 KiB Installed artifact GAP_pkg_ferret 1.6 MiB Installed artifact GAP_pkg_example 206.4 KiB Installed artifact GAP_pkg_grpconst 216.5 KiB Installed artifact GAP_pkg_lins 336.3 KiB Installed artifact GAP_pkg_juliainterface 65.9 KiB Installed artifact GAP_pkg_sco 238.8 KiB Installed artifact GAP_pkg_modisom 646.8 KiB Installed artifact GAP_pkg_primgrp 13.9 MiB Installed artifact GAP_pkg_crypting 17.5 KiB Installed artifact GAP_pkg_fwtree 577.7 KiB Installed artifact GAP_pkg_jupyterviz 3.3 MiB Installed artifact SPRAL 691.9 KiB Installed artifact GAP_pkg_zeromqinterface 37.4 KiB Installed artifact XML2 2.5 MiB Installed artifact GAP_pkg_majoranaalgebras 345.0 KiB Installed artifact GAP_pkg_semigroups 37.1 MiB Installed artifact GAP_pkg_browse 1.4 MiB Installed artifact GAP_pkg_gapdoc 1.5 MiB Installed artifact GAP_pkg_anupq 309.6 KiB Installed artifact GAP_pkg_toolsforhomalg 316.6 KiB Installed artifact GAP_pkg_guarana 686.7 KiB Installed artifact GAP_pkg_hecke 695.6 KiB Installed artifact GAP_pkg_forms 574.0 KiB Installed artifact GAP_pkg_sotgrps 1.1 MiB Installed artifact GAP_pkg_sonata 1.6 MiB Installed artifact GAP_pkg_uuid 114.3 KiB Installed artifact cddlib 1.0 MiB Installed artifact GAP_pkg_4ti2interface 132.7 KiB Installed artifact GAP_pkg_caratinterface 6.8 MiB Installed artifact GAP_pkg_datastructures 80.1 KiB Installed artifact GAP_pkg_permut 400.6 KiB Installed artifact GAP_pkg_profiling 378.6 KiB Installed artifact nauty 17.2 MiB Installed artifact GAP_pkg_polycyclic 672.7 KiB Installed artifact bliss 153.4 KiB Installed artifact GAP_pkg_nq 110.8 KiB Installed artifact GAP_pkg_difsets 3.5 MiB Installed artifact GAP_pkg_xmodalg 500.6 KiB Installed artifact GAP_pkg_semigroups 22.1 MiB Installed artifact GAP_pkg_polymaking 267.6 KiB Installed artifact GAP_pkg_json 171.3 KiB Installed artifact GAP_pkg_curlinterface 24.1 KiB Installed artifact GAP_pkg_alnuth 392.9 KiB Installed artifact GAP_pkg_resclasses 329.4 KiB Installed artifact GAP_pkg_datastructures 326.9 KiB Installed artifact GAP_pkg_sglppow 14.5 MiB Installed artifact ZLatDB 139.4 KiB Installed artifact Ncurses 1.0 MiB Installed artifact GAP_pkg_orb 936.3 KiB Installed artifact GAP_pkg_generalizedmorphismsforcap 343.2 KiB Installed artifact GAP_pkg_homalgtocas 221.8 KiB Installed artifact GAP_pkg_liepring 2.5 MiB Installed artifact METIS 1.1 MiB Installed artifact GAP_pkg_loops 1.1 MiB Installed artifact GAP_pkg_edim 338.3 KiB Installed artifact boost 24.9 MiB Installed artifact GAP_pkg_caratinterface 17.6 MiB Installed artifact polymake 49.5 MiB Installed artifact normaliz 91.1 MiB Updating `~/.julia/environments/v1.14/Project.toml` [23b3ee6f] + CountingChambers v0.2.3 Updating `~/.julia/environments/v1.14/Manifest.toml` [c3fe647b] + AbstractAlgebra v0.49.0 [f01c122e] + BinaryWrappers v0.2.0 [861a8166] + Combinatorics v1.1.0 [23b3ee6f] + CountingChambers v0.2.3 [c863536a] + GAP v0.16.6 [3e1990a7] + Hecke v0.39.18 [692b3bcd] + JLLWrappers v1.8.0 [1914dd2f] + MacroTools v0.5.16 [2edaba10] + Nemo v0.55.1 [aea7be01] + PrecompileTools v1.3.4 [21216c6a] + Preferences v1.5.2 [fb686558] + RandomExtensions v0.4.4 [88634af6] + SaferIntegers v3.5.1 [6c6a2e73] + Scratch v1.3.0 [ae81ac8f] + ASL_jll v0.1.3+0 [6e34b625] + Bzip2_jll v1.0.9+0 [e134572f] + FLINT_jll v301.500.0+0 ⌅ [5cd7a574] + GAP_jll v400.1500.101+0 ⌅ [de1ad85e] + GAP_lib_jll v400.1500.100+0 [6e11effc] + GAP_pkg_ace_jll v501.70000.0+0 ⌅ [995f5adf] + GAP_pkg_anupq_jll v301.30200.0+0 ⌅ [6e540885] + GAP_pkg_browse_jll v101.82100.1+0 ⌅ [b60ae38f] + GAP_pkg_caratinterface_jll v201.30700.0+0 ⌅ [edf6cd94] + GAP_pkg_cddinterface_jll v202501.62400.0+0 [386407dc] + GAP_pkg_cohomolo_jll v101.61200.0+0 ⌃ [3b5f52f3] + GAP_pkg_crypting_jll v1.100600.0+0 ⌅ [deeb07ae] + GAP_pkg_curlinterface_jll v201.40200.0+0 ⌅ [03de9d45] + GAP_pkg_cvec_jll v201.80400.0+0 ⌅ [66bcec33] + GAP_pkg_datastructures_jll v1.40000.0+0 ⌃ [27af9300] + GAP_pkg_deepthought_jll v101.900.0+0 ⌅ [ce5c30f6] + GAP_pkg_digraphs_jll v101.130100.0+0 ⌃ [aa0ab9cb] + GAP_pkg_edim_jll v101.30800.0+0 ⌅ [d6652ff9] + GAP_pkg_ferret_jll v101.1500.0+0 ⌅ [b73cfdca] + GAP_pkg_float_jll v101.900.0+0 ⌅ [f51f7fb6] + GAP_pkg_fplsa_jll v101.20700.0+0 ⌅ [296a3c51] + GAP_pkg_gauss_jll v202401.110100.0+0 ⌅ [70456840] + GAP_pkg_guava_jll v301.200000.0+0 ⌃ [19a9678b] + GAP_pkg_io_jll v401.90300.0+0 ⌅ [b348cf08] + GAP_pkg_json_jll v201.20300.0+0 ⌅ [ba154793] + GAP_pkg_juliainterface_jll v0.160000.0+1 [74c39be2] + GAP_pkg_kbmag_jll v101.51100.0+0 ⌅ [74f4ad05] + GAP_pkg_normalizinterface_jll v101.40100.0+0 [00bf61e5] + GAP_pkg_nq_jll v201.51100.0+0 ⌅ [b689cd95] + GAP_pkg_orb_jll v501.100.0+0 ⌃ [d3697a66] + GAP_pkg_profiling_jll v201.60200.0+0 ⌅ [6263fdc2] + GAP_pkg_semigroups_jll v501.50400.1+0 [1c659ad8] + GAP_pkg_simpcomp_jll v201.11400.0+0 ⌅ [abf7faeb] + GAP_pkg_zeromqinterface_jll v1.170000.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 [2ce0c516] + MPC_jll v1.4.1+0 [e8b5fb6c] + MPFI_jll v1.5.6+0 [d7ed1dd3] + MUMPS_seq_jll v500.900.0+0 ⌅ [90100e71] + MongoC_jll v1.28.1+0 [68e3532b] + Ncurses_jll v6.6.0+2 [656ef2d0] + OpenBLAS32_jll v0.3.33+1 [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 [43d676ae] + Singular_jll v404.101.508+0 ⌅ [02c8fc9c] + XML2_jll v2.13.9+0 [a65dc6b1] + Xorg_libpciaccess_jll v0.19.0+0 [8f1865be] + ZeroMQ_jll v4.3.6+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 [a9144af2] + libsodium_jll v1.0.21+0 [3873f7d0] + lrslib_jll v0.3.3+0 [55c6dc9b] + nauty_jll v2.8.10+1 ⌅ [6690c6e9] + normaliz_jll v300.1001.504+0 ⌃ [7c209550] + polymake_jll v400.1500.3+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 [8ba89e20] + Distributed 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 [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 ⌃ and ⌅ have new versions available. Those with ⌃ may be upgradable, but those with ⌅ are restricted by compatibility constraints from upgrading. To see why use `status --outdated -m` Installation completed after 110.47s ################################################################################ # Precompilation # Precompiling PkgEval dependencies... Project No packages added to or removed from `~/.julia/environments/pkgeval/Project.toml` Manifest No packages added to or removed from `~/.julia/environments/pkgeval/Manifest.toml` Precompiling package dependencies... Precompiling project... 4.8 s ✓ MacroTools 2.7 s ✓ Combinatorics 84.9 s ✓ RandomExtensions 2.3 s ✓ Scratch 2.9 s ✓ Preferences 680.5 s ✓ SaferIntegers 3.3 s ✓ JLLWrappers 3.1 s ✓ PrecompileTools 2.8 s ✓ GAP_lib_jll 3.8 s ✓ METIS_jll 4.0 s ✓ GAP_pkg_cohomolo_jll 4.2 s ✓ snappy_jll 3.7 s ✓ OpenBLAS32_jll 3.4 s ✓ libsodium_jll 3.6 s ✓ GAP_pkg_simpcomp_jll 4.2 s ✓ GAP_pkg_kbmag_jll 3.7 s ✓ Xorg_libpciaccess_jll 3.6 s ✓ Bzip2_jll 3.8 s ✓ LLVMOpenMP_jll 3.8 s ✓ GAP_pkg_ace_jll 3.6 s ✓ Ncurses_jll 3.6 s ✓ Libiconv_jll 3.5 s ✓ GAP_pkg_fplsa_jll 3.5 s ✓ GAP_pkg_guava_jll 3.6 s ✓ ASL_jll 2.3 s ✓ BinaryWrappers 4.2 s ✓ nauty_jll 3.7 s ✓ MPFI_jll 3.9 s ✓ lrslib_jll 3.8 s ✓ bliss_jll 3.6 s ✓ PPL_jll 3.5 s ✓ GAP_pkg_anupq_jll 5.0 s ✓ GAP_pkg_caratinterface_jll 3.6 s ✓ GLPK_jll 3.7 s ✓ GAP_pkg_nq_jll 3.7 s ✓ cddlib_jll 3.6 s ✓ MPC_jll ┌ 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.5 s ✓ ZeroMQ_jll 3.6 s ✓ boost_jll 3.5 s ✓ Readline_jll 3.7 s ✓ XML2_jll 3.9 s ✓ lib4ti2_jll 3.9 s ✓ normaliz_jll 4.0 s ✓ Singular_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(imported::Bool, to::Module, from::Nothing, paths::Expr)  @ Base module.jl:111  [10] eval_import(imported::Bool, to::Module, from::Nothing, paths::Expr)  @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/runtime.jl:195  [11] top-level scope  @ ~/.julia/packages/Nemo/UoLNl/src/Nemo.jl:12  [12] include(mod::Module, _path::String)  @ Base Base.jl:326  [13] 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  [14] top-level scope  @ stdin:5  [15] eval(m::Module, e::Any)  @ Core boot.jl:521  [16] include_string(mapexpr::typeof(identity), mod::Module, code::String, filename::String)  @ Base loading.jl:3132  [17] include_string(m::Module, txt::String, fname::String)  @ Base loading.jl:3142 [inlined]  [18] exec_options(opts::Base.JLOptions)  @ Base client.jl:353  [19] _start()  @ Base client.jl:596 in expression starting at /home/pkgeval/.julia/packages/Nemo/UoLNl/src/Nemo.jl:1 in expression starting at stdin:5 ✗ Nemo 3.8 s ✓ Perl_jll 3.6 s ✓ GAP_jll 3.7 s ✓ Hwloc_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(imported::Bool, to::Module, from::Nothing, paths::Expr)  @ Base module.jl:111  [10] eval_import(imported::Bool, to::Module, from::Nothing, paths::Expr)  @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/runtime.jl:195  [11] top-level scope  @ ~/.julia/packages/Hecke/xdoaE/src/Hecke.jl:33  [12] include(mod::Module, _path::String)  @ Base Base.jl:326  [13] 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  [14] top-level scope  @ stdin:5  [15] eval(m::Module, e::Any)  @ Core boot.jl:521  [16] include_string(mapexpr::typeof(identity), mod::Module, code::String, filename::String)  @ Base loading.jl:3132  [17] include_string(m::Module, txt::String, fname::String)  @ Base loading.jl:3142 [inlined]  [18] exec_options(opts::Base.JLOptions)  @ Base client.jl:353  [19] _start()  @ Base client.jl:596 in expression starting at /home/pkgeval/.julia/packages/Hecke/xdoaE/src/Hecke.jl:1 in expression starting at stdin:5 ✗ Hecke 1.3 s ✓ BinaryWrappers → Perl_jllExt 3.5 s ✓ GAP_pkg_ferret_jll 3.7 s ✓ GAP_pkg_json_jll 3.7 s ✓ GAP_pkg_crypting_jll 3.6 s ✓ GAP_pkg_zeromqinterface_jll 3.7 s ✓ GAP_pkg_io_jll 3.7 s ✓ GAP_pkg_deepthought_jll 3.7 s ✓ GAP_pkg_profiling_jll 3.7 s ✓ GAP_pkg_cvec_jll 4.0 s ✓ GAP_pkg_normalizinterface_jll 3.5 s ✓ GAP_pkg_digraphs_jll 3.5 s ✓ GAP_pkg_cddinterface_jll 3.6 s ✓ GAP_pkg_edim_jll 3.7 s ✓ GAP_pkg_orb_jll 3.7 s ✓ GAP_pkg_juliainterface_jll 3.6 s ✓ GAP_pkg_datastructures_jll 3.7 s ✓ GAP_pkg_float_jll 3.6 s ✓ GAP_pkg_curlinterface_jll 3.7 s ✓ GAP_pkg_gauss_jll 3.9 s ✓ GAP_pkg_semigroups_jll 3.8 s ✓ GAP_pkg_browse_jll 3.7 s ✓ SPRAL_jll 3.8 s ✓ Ipopt_jll 3.7 s ✓ SCIP_jll 3.9 s ✓ polymake_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(imported::Bool, to::Module, from::Nothing, paths::Expr)  @ Base module.jl:111  [10] eval_import(imported::Bool, to::Module, from::Nothing, paths::Expr)  @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/runtime.jl:195  [11] top-level scope  @ ~/.julia/packages/GAP/bo7wZ/src/GAP.jl:34  [12] include(mod::Module, _path::String)  @ Base Base.jl:326  [13] 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  [14] top-level scope  @ stdin:5  [15] eval(m::Module, e::Any)  @ Core boot.jl:521  [16] include_string(mapexpr::typeof(identity), mod::Module, code::String, filename::String)  @ Base loading.jl:3132  [17] include_string(m::Module, txt::String, fname::String)  @ Base loading.jl:3142 [inlined]  [18] exec_options(opts::Base.JLOptions)  @ Base client.jl:353  [19] _start()  @ Base client.jl:596 in expression starting at /home/pkgeval/.julia/packages/GAP/bo7wZ/src/GAP.jl:12 in expression starting at stdin:5 ✗ GAP ERROR: LoadError: Precompiled image Base.PkgId(Base.UUID("c863536a-3901-11e9-33e7-d5cd0df7b904"), "GAP") 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/GAP/bo7wZ/ext/NemoExt/NemoExt.jl:14  [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/GAP/bo7wZ/ext/NemoExt/NemoExt.jl:12 in expression starting at stdin:5 ✗ GAP → NemoExt ERROR: LoadError: Precompiled image Base.PkgId(Base.UUID("3e1990a7-5d81-5526-99ce-9ba3ff248f21"), "Hecke") 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/Hecke/xdoaE/ext/GAPExt/GAPExt.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/Hecke/xdoaE/ext/GAPExt/GAPExt.jl:1 in expression starting at stdin:5 ✗ Hecke → GAPExt ERROR: LoadError: Precompiled image Base.PkgId(Base.UUID("c863536a-3901-11e9-33e7-d5cd0df7b904"), "GAP") 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/CountingChambers/FfDq8/src/CountingChambers.jl:2  [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/CountingChambers/FfDq8/src/CountingChambers.jl:1 in expression starting at stdin:5 ✗ CountingChambers 75 dependencies successfully precompiled in 1631 seconds. 36 already precompiled. Precompilation completed after 1648.34s ################################################################################ # Loading # Loading CountingChambers... ┌ 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(imported::Bool, to::Module, from::Nothing, paths::Expr)  @ Base module.jl:111  [10] eval_import(imported::Bool, to::Module, from::Nothing, paths::Expr)  @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/runtime.jl:195  [11] top-level scope  @ ~/.julia/packages/Nemo/UoLNl/src/Nemo.jl:12  [12] include(mod::Module, _path::String)  @ Base Base.jl:326  [13] 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  [14] top-level scope  @ stdin:5  [15] eval(m::Module, e::Any)  @ Core boot.jl:521  [16] include_string(mapexpr::typeof(identity), mod::Module, code::String, filename::String)  @ Base loading.jl:3132  [17] include_string(m::Module, txt::String, fname::String)  @ Base loading.jl:3142 [inlined]  [18] exec_options(opts::Base.JLOptions)  @ Base client.jl:353  [19] _start()  @ Base client.jl:596 in expression starting at /home/pkgeval/.julia/packages/Nemo/UoLNl/src/Nemo.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(imported::Bool, to::Module, from::Nothing, paths::Expr)  @ Base module.jl:111  [10] eval_import(imported::Bool, to::Module, from::Nothing, paths::Expr)  @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/runtime.jl:195  [11] top-level scope  @ ~/.julia/packages/GAP/bo7wZ/src/GAP.jl:34  [12] include(mod::Module, _path::String)  @ Base Base.jl:326  [13] 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  [14] top-level scope  @ stdin:5  [15] eval(m::Module, e::Any)  @ Core boot.jl:521  [16] include_string(mapexpr::typeof(identity), mod::Module, code::String, filename::String)  @ Base loading.jl:3132  [17] include_string(m::Module, txt::String, fname::String)  @ Base loading.jl:3142 [inlined]  [18] exec_options(opts::Base.JLOptions)  @ Base client.jl:353  [19] _start()  @ Base client.jl:596 in expression starting at /home/pkgeval/.julia/packages/GAP/bo7wZ/src/GAP.jl:12 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(imported::Bool, to::Module, from::Nothing, paths::Expr)  @ Base module.jl:111  [10] eval_import(imported::Bool, to::Module, from::Nothing, paths::Expr)  @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/runtime.jl:195  [11] top-level scope  @ ~/.julia/packages/Hecke/xdoaE/src/Hecke.jl:33  [12] include(mod::Module, _path::String)  @ Base Base.jl:326  [13] 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  [14] top-level scope  @ stdin:5  [15] eval(m::Module, e::Any)  @ Core boot.jl:521  [16] include_string(mapexpr::typeof(identity), mod::Module, code::String, filename::String)  @ Base loading.jl:3132  [17] include_string(m::Module, txt::String, fname::String)  @ Base loading.jl:3142 [inlined]  [18] exec_options(opts::Base.JLOptions)  @ Base client.jl:353  [19] _start()  @ Base client.jl:596 in expression starting at /home/pkgeval/.julia/packages/Hecke/xdoaE/src/Hecke.jl:1 in expression starting at stdin:5 ERROR: LoadError: Precompiled image Base.PkgId(Base.UUID("c863536a-3901-11e9-33e7-d5cd0df7b904"), "GAP") 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/GAP/bo7wZ/ext/NemoExt/NemoExt.jl:14  [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/GAP/bo7wZ/ext/NemoExt/NemoExt.jl:12 in expression starting at stdin:5 ERROR: LoadError: Precompiled image Base.PkgId(Base.UUID("3e1990a7-5d81-5526-99ce-9ba3ff248f21"), "Hecke") 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/Hecke/xdoaE/ext/GAPExt/GAPExt.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/Hecke/xdoaE/ext/GAPExt/GAPExt.jl:1 in expression starting at stdin:5 ERROR: LoadError: Precompiled image Base.PkgId(Base.UUID("c863536a-3901-11e9-33e7-d5cd0df7b904"), "GAP") 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/CountingChambers/FfDq8/src/CountingChambers.jl:2  [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/CountingChambers/FfDq8/src/CountingChambers.jl:1 in expression starting at stdin:5 7 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 └ ┌ GAP → NemoExt │ ERROR: LoadError: Precompiled image Base.PkgId(Base.UUID("c863536a-3901-11e9-33e7-d5cd0df7b904"), "GAP") 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/GAP/bo7wZ/ext/NemoExt/NemoExt.jl:14 │ [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/GAP/bo7wZ/ext/NemoExt/NemoExt.jl:12 │ in expression starting at stdin:5 └ ┌ Hecke → GAPExt │ ERROR: LoadError: Precompiled image Base.PkgId(Base.UUID("3e1990a7-5d81-5526-99ce-9ba3ff248f21"), "Hecke") 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/Hecke/xdoaE/ext/GAPExt/GAPExt.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/Hecke/xdoaE/ext/GAPExt/GAPExt.jl:1 │ in expression starting at stdin:5 └ ┌ Nemo │ 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(imported::Bool, to::Module, from::Nothing, paths::Expr) │ @ Base module.jl:111 │ [10] eval_import(imported::Bool, to::Module, from::Nothing, paths::Expr) │ @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/runtime.jl:195 │ [11] top-level scope │ @ ~/.julia/packages/Nemo/UoLNl/src/Nemo.jl:12 │ [12] include(mod::Module, _path::String) │ @ Base Base.jl:326 │ [13] 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 │ [14] top-level scope │ @ stdin:5 │ [15] eval(m::Module, e::Any) │ @ Core boot.jl:521 │ [16] include_string(mapexpr::typeof(identity), mod::Module, code::String, filename::String) │ @ Base loading.jl:3132 │ [17] include_string(m::Module, txt::String, fname::String) │ @ Base loading.jl:3142 [inlined] │ [18] exec_options(opts::Base.JLOptions) │ @ Base client.jl:353 │ [19] _start() │ @ Base client.jl:596 │ in expression starting at /home/pkgeval/.julia/packages/Nemo/UoLNl/src/Nemo.jl:1 │ in expression starting at stdin:5 └ ┌ GAP │ 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(imported::Bool, to::Module, from::Nothing, paths::Expr) │ @ Base module.jl:111 │ [10] eval_import(imported::Bool, to::Module, from::Nothing, paths::Expr) │ @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/runtime.jl:195 │ [11] top-level scope │ @ ~/.julia/packages/GAP/bo7wZ/src/GAP.jl:34 │ [12] include(mod::Module, _path::String) │ @ Base Base.jl:326 │ [13] 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 │ [14] top-level scope │ @ stdin:5 │ [15] eval(m::Module, e::Any) │ @ Core boot.jl:521 │ [16] include_string(mapexpr::typeof(identity), mod::Module, code::String, filename::String) │ @ Base loading.jl:3132 │ [17] include_string(m::Module, txt::String, fname::String) │ @ Base loading.jl:3142 [inlined] │ [18] exec_options(opts::Base.JLOptions) │ @ Base client.jl:353 │ [19] _start() │ @ Base client.jl:596 │ in expression starting at /home/pkgeval/.julia/packages/GAP/bo7wZ/src/GAP.jl:12 │ in expression starting at stdin:5 └ ┌ CountingChambers │ [Output was shown above] └ ┌ Hecke │ 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(imported::Bool, to::Module, from::Nothing, paths::Expr) │ @ Base module.jl:111 │ [10] eval_import(imported::Bool, to::Module, from::Nothing, paths::Expr) │ @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/runtime.jl:195 │ [11] top-level scope │ @ ~/.julia/packages/Hecke/xdoaE/src/Hecke.jl:33 │ [12] include(mod::Module, _path::String) │ @ Base Base.jl:326 │ [13] 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 │ [14] top-level scope │ @ stdin:5 │ [15] eval(m::Module, e::Any) │ @ Core boot.jl:521 │ [16] include_string(mapexpr::typeof(identity), mod::Module, code::String, filename::String) │ @ Base loading.jl:3132 │ [17] include_string(m::Module, txt::String, fname::String) │ @ Base loading.jl:3142 [inlined] │ [18] exec_options(opts::Base.JLOptions) │ @ Base client.jl:353 │ [19] _start() │ @ Base client.jl:596 │ in expression starting at /home/pkgeval/.julia/packages/Hecke/xdoaE/src/Hecke.jl:1 │ in expression starting at stdin:5 └ ERROR: The following 7 packages failed to precompile: AbstractAlgebra Failed to precompile AbstractAlgebra [c3fe647b-3220-5bb0-a1ea-a7954cac585d] to "/home/pkgeval/.julia/compiled/v1.14/AbstractAlgebra/jl_nvgC85" (ProcessExited(1)). GAP → NemoExt Failed to precompile NemoExt [e7563bf0-8aad-5067-bc01-9613d536bd07] to "/home/pkgeval/.julia/compiled/v1.14/NemoExt/jl_2JDtmv" (ProcessExited(1)). Hecke → GAPExt Failed to precompile GAPExt [66957667-b8f7-5455-9f7e-bb6a05f9098d] to "/home/pkgeval/.julia/compiled/v1.14/GAPExt/jl_6kFTP2" (ProcessExited(1)). Nemo Failed to precompile Nemo [2edaba10-b0f1-5616-af89-8c11ac63239a] to "/home/pkgeval/.julia/compiled/v1.14/Nemo/jl_85X4qa" (ProcessExited(1)). GAP Failed to precompile GAP [c863536a-3901-11e9-33e7-d5cd0df7b904] to "/home/pkgeval/.julia/compiled/v1.14/GAP/jl_BF6XHk" (ProcessExited(1)). CountingChambers Failed to precompile CountingChambers [23b3ee6f-a072-41d8-ada8-267420d58637] to "/home/pkgeval/.julia/compiled/v1.14/CountingChambers/jl_Sndgd8" (ProcessExited(1)). Hecke Failed to precompile Hecke [3e1990a7-5d81-5526-99ce-9ba3ff248f21] to "/home/pkgeval/.julia/compiled/v1.14/Hecke/jl_1SOHjQ" (ProcessExited(1)). Loading failed after 609.79s ERROR: LoadError: failed process: Process(`/opt/julia/bin/julia -C native -J/opt/julia/lib/julia/sys.so -g1 --check-bounds=yes --inline=yes --check-bounds=yes --pkgimages=existing -e 'using CountingChambers'`, ProcessExited(1)) [1] Stacktrace: [1] pipeline_error(proc::Base.Process) @ Base process.jl:612 [inlined] [2] run(::Cmd; wait::Bool) @ Base process.jl:525 [3] run(::Cmd) @ Base process.jl:522 [4] top-level scope @ /PkgEval.jl/scripts/evaluate.jl:197 [5] include(mod::Module, _path::String) @ Base Base.jl:326 [6] exec_options(opts::Base.JLOptions) @ Base client.jl:355 [7] _start() @ Base client.jl:596 in expression starting at /PkgEval.jl/scripts/evaluate.jl:188 PkgEval failed after 2402.22s: package fails to precompile