Package evaluation of CapAndHomalg on Julia 1.13.0-DEV.1072 (de815ed1fa*) started at 2025-09-03T19:55:12.244 ################################################################################ # Set-up # Installing PkgEval dependencies (TestEnv)... Set-up completed after 9.75s ################################################################################ # Installation # Installing CapAndHomalg... Resolving package versions... Installed CapAndHomalg ─ v1.6.3 Updating `~/.julia/environments/v1.13/Project.toml` [c4774649] + CapAndHomalg v1.6.3 Updating `~/.julia/environments/v1.13/Manifest.toml` [c3fe647b] + AbstractAlgebra v0.46.4 [f01c122e] + BinaryWrappers v0.1.3 [c4774649] + CapAndHomalg v1.6.3 [34da2185] + Compat v4.18.0 ⌅ [c863536a] + GAP v0.14.2 [692b3bcd] + JLLWrappers v1.7.1 [1914dd2f] + MacroTools v0.5.16 [fa939f87] + Pidfile v1.3.0 [21216c6a] + Preferences v1.5.0 [fb686558] + RandomExtensions v0.4.4 [6c6a2e73] + Scratch v1.3.0 [6e34b625] + Bzip2_jll v1.0.9+0 [83423d85] + Cairo_jll v1.18.5+0 [2e619515] + Expat_jll v2.7.1+0 [e134572f] + FLINT_jll v301.300.102+0 [a3f928ae] + Fontconfig_jll v2.17.1+0 [d7e528f0] + FreeType2_jll v2.13.4+0 [559328eb] + FriBidi_jll v1.0.17+0 ⌅ [5cd7a574] + GAP_jll v400.1400.5+2 ⌅ [de1ad85e] + GAP_lib_jll v400.1400.5+0 [6e11effc] + GAP_pkg_ace_jll v500.600.201+0 [995f5adf] + GAP_pkg_anupq_jll v300.300.101+0 ⌃ [6e540885] + GAP_pkg_browse_jll v100.800.2102+0 [b60ae38f] + GAP_pkg_caratinterface_jll v200.300.702+0 ⌃ [edf6cd94] + GAP_pkg_cddinterface_jll v202400.900.202+0 [386407dc] + GAP_pkg_cohomolo_jll v100.600.1101+0 ⌃ [3b5f52f3] + GAP_pkg_crypting_jll v0.1000.501+0 ⌃ [deeb07ae] + GAP_pkg_curlinterface_jll v200.400.1+0 ⌃ [03de9d45] + GAP_pkg_cvec_jll v200.800.201+0 ⌃ [66bcec33] + GAP_pkg_datastructures_jll v0.300.101+0 ⌃ [27af9300] + GAP_pkg_deepthought_jll v100.0.701+0 ⌃ [ce5c30f6] + GAP_pkg_digraphs_jll v100.900.1+0 ⌃ [aa0ab9cb] + GAP_pkg_edim_jll v100.300.802+0 ⌃ [d6652ff9] + GAP_pkg_ferret_jll v100.0.1401+0 ⌃ [b73cfdca] + GAP_pkg_float_jll v100.0.501+0 [f51f7fb6] + GAP_pkg_fplsa_jll v100.200.601+0 ⌃ [296a3c51] + GAP_pkg_gauss_jll v202400.1100.101+0 [70456840] + GAP_pkg_guava_jll v300.1900.1+0 ⌃ [19a9678b] + GAP_pkg_io_jll v400.900.101+0 ⌃ [b348cf08] + GAP_pkg_json_jll v200.200.201+0 ⌅ [ba154793] + GAP_pkg_juliainterface_jll v0.1400.100+1 [74c39be2] + GAP_pkg_kbmag_jll v100.500.1101+0 ⌃ [74f4ad05] + GAP_pkg_normalizinterface_jll v100.300.703+0 [00bf61e5] + GAP_pkg_nq_jll v200.500.1101+0 ⌃ [b689cd95] + GAP_pkg_orb_jll v400.900.101+0 ⌃ [d3697a66] + GAP_pkg_profiling_jll v200.600.1+0 ⌃ [6263fdc2] + GAP_pkg_semigroups_jll v500.400.2+0 [1c659ad8] + GAP_pkg_simpcomp_jll v200.100.1401+0 ⌃ [abf7faeb] + GAP_pkg_zeromqinterface_jll v0.1600.1+0 [e8aa6df9] + GLPK_jll v5.0.1+1 [b0724c58] + GettextRuntime_jll v0.22.4+0 [7746bdde] + Glib_jll v2.84.3+0 [3b182d85] + Graphite2_jll v1.3.15+0 [3c863552] + Graphviz_jll v2.50.0+1 [2e76f6c2] + HarfBuzz_jll v8.5.1+0 [1d63c593] + LLVMOpenMP_jll v18.1.8+0 [dd4b983a] + LZO_jll v2.10.3+0 [e9f186c6] + Libffi_jll v3.4.7+0 [94ce4f54] + Libiconv_jll v1.18.0+0 [4b2f31a3] + Libmount_jll v2.41.1+0 [38a345b3] + Libuuid_jll v2.41.1+0 [2ce0c516] + MPC_jll v1.3.1+0 [e8b5fb6c] + MPFI_jll v1.5.5+0 [68e3532b] + Ncurses_jll v6.5.1+0 [656ef2d0] + OpenBLAS32_jll v0.3.29+0 [36c8627f] + Pango_jll v1.56.3+0 ⌅ [30392449] + Pixman_jll v0.44.2+0 [05236dd9] + Readline_jll v8.2.13+0 [43d676ae] + Singular_jll v404.101.301+0 [4f6342f7] + Xorg_libX11_jll v1.8.12+0 [0c0b7dd1] + Xorg_libXau_jll v1.0.13+0 [a3789734] + Xorg_libXdmcp_jll v1.1.6+0 [1082639a] + Xorg_libXext_jll v1.3.7+0 [ea2f1a96] + Xorg_libXrender_jll v0.9.12+0 [c7cfdc94] + Xorg_libxcb_jll v1.17.1+0 [c5fb5394] + Xorg_xtrans_jll v1.6.0+0 [8f1865be] + ZeroMQ_jll v4.3.6+0 [f07e07eb] + cddlib_jll v0.94.15+0 [1493ae25] + lib4ti2_jll v1.6.10+0 [b53b4c65] + libpng_jll v1.6.50+0 [a9144af2] + libsodium_jll v1.0.21+0 [55c6dc9b] + nauty_jll v2.8.10+1 [6690c6e9] + normaliz_jll v300.1001.502+0 [0dad84c5] + ArgTools v1.1.2 [56f22d72] + Artifacts v1.11.0 [2a0f44e3] + Base64 v1.11.0 [ade2ca70] + Dates v1.11.0 [f43a241f] + Downloads v1.7.0 [7b1f6079] + FileWatching v1.11.0 [b77e0a4c] + InteractiveUtils v1.11.0 [ac6e5ff7] + JuliaSyntaxHighlighting v1.12.0 [b27032c2] + LibCURL v0.6.4 [76f85450] + LibGit2 v1.11.0 [8f399da3] + Libdl v1.11.0 [37e2e46d] + LinearAlgebra v1.13.0 [56ddb016] + Logging v1.11.0 [d6f4376e] + Markdown v1.11.0 [ca575930] + NetworkOptions v1.3.0 [44cfe95a] + Pkg v1.13.0 [de0858da] + Printf v1.11.0 [3fa0cd96] + REPL v1.11.0 [9a3f8284] + Random v1.11.0 [ea8e919c] + SHA v0.7.0 [9e88b42a] + Serialization v1.11.0 [6462fe0b] + Sockets v1.11.0 [2f01184e] + SparseArrays v1.13.0 [f489334b] + StyledStrings v1.11.0 [fa267f1f] + TOML v1.0.3 [a4e569a6] + Tar v1.10.0 [8dfed614] + Test v1.11.0 [cf7118a7] + UUIDs v1.11.0 [4ec0a83e] + Unicode v1.11.0 [e66e0078] + CompilerSupportLibraries_jll v1.3.0+1 [781609d7] + GMP_jll v6.3.0+2 [deac9b47] + LibCURL_jll v8.15.0+1 [e37daf67] + LibGit2_jll v1.9.1+0 [29816b5a] + LibSSH2_jll v1.11.3+1 [3a97d323] + MPFR_jll v4.2.2+0 [14a3606d] + MozillaCACerts_jll v2025.8.12 [4536629a] + OpenBLAS_jll v0.3.29+0 [458c3c95] + OpenSSL_jll v3.5.2+0 [efcefdf7] + PCRE2_jll v10.46.0+0 [bea87d4a] + SuiteSparse_jll v7.10.1+0 [83775a58] + Zlib_jll v1.3.1+2 [3161d3a3] + Zstd_jll v1.5.7+1 [8e850b90] + libblastrampoline_jll v5.13.1+0 [8e850ede] + nghttp2_jll v1.66.0+0 [3f19e933] + p7zip_jll v17.6.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` Building CapAndHomalg → `~/.julia/scratchspaces/44cfe95a-1eb2-52ea-b672-e2afdf69b78f/bb50b4e03b13abe45004f3bd1ea03a1e8cf150ee/build.log` Installation completed after 288.42s ################################################################################ # Precompilation # Precompiling PkgEval dependencies... Precompiling package dependencies... Precompilation completed after 130.16s ################################################################################ # Testing # Testing CapAndHomalg Status `/tmp/jl_KminKr/Project.toml` [c4774649] CapAndHomalg v1.6.3 [e30172f5] Documenter v1.14.1 ⌅ [c863536a] GAP v0.14.2 [3c863552] Graphviz_jll v2.50.0+1 [43d676ae] Singular_jll v404.101.301+0 [1493ae25] lib4ti2_jll v1.6.10+0 [d6f4376e] Markdown v1.11.0 [44cfe95a] Pkg v1.13.0 [8dfed614] Test v1.11.0 Status `/tmp/jl_KminKr/Manifest.toml` [a4c015fc] ANSIColoredPrinters v0.0.1 [c3fe647b] AbstractAlgebra v0.46.4 [1520ce14] AbstractTrees v0.4.5 [f01c122e] BinaryWrappers v0.1.3 [c4774649] CapAndHomalg v1.6.3 [944b1d66] CodecZlib v0.7.8 [34da2185] Compat v4.18.0 [ffbed154] DocStringExtensions v0.9.5 [e30172f5] Documenter v1.14.1 ⌅ [c863536a] GAP v0.14.2 [d7ba0133] Git v1.5.0 [b5f81e59] IOCapture v0.2.5 [692b3bcd] JLLWrappers v1.7.1 [682c06a0] JSON v0.21.4 [0e77f7df] LazilyInitializedFields v1.3.0 [1914dd2f] MacroTools v0.5.16 [d0879d2d] MarkdownAST v0.1.2 [69de0a69] Parsers v2.8.3 [fa939f87] Pidfile v1.3.0 [aea7be01] PrecompileTools v1.3.3 [21216c6a] Preferences v1.5.0 [fb686558] RandomExtensions v0.4.4 [2792f1a3] RegistryInstances v0.1.0 [6c6a2e73] Scratch v1.3.0 [3bb67fe8] TranscodingStreams v0.11.3 [6e34b625] Bzip2_jll v1.0.9+0 [83423d85] Cairo_jll v1.18.5+0 [2e619515] Expat_jll v2.7.1+0 [e134572f] FLINT_jll v301.300.102+0 [a3f928ae] Fontconfig_jll v2.17.1+0 [d7e528f0] FreeType2_jll v2.13.4+0 [559328eb] FriBidi_jll v1.0.17+0 ⌅ [5cd7a574] GAP_jll v400.1400.5+2 ⌅ [de1ad85e] GAP_lib_jll v400.1400.5+0 [6e11effc] GAP_pkg_ace_jll v500.600.201+0 [995f5adf] GAP_pkg_anupq_jll v300.300.101+0 ⌃ [6e540885] GAP_pkg_browse_jll v100.800.2102+0 [b60ae38f] GAP_pkg_caratinterface_jll v200.300.702+0 ⌃ [edf6cd94] GAP_pkg_cddinterface_jll v202400.900.202+0 [386407dc] GAP_pkg_cohomolo_jll v100.600.1101+0 ⌃ [3b5f52f3] GAP_pkg_crypting_jll v0.1000.501+0 ⌃ [deeb07ae] GAP_pkg_curlinterface_jll v200.400.1+0 ⌃ [03de9d45] GAP_pkg_cvec_jll v200.800.201+0 ⌃ [66bcec33] GAP_pkg_datastructures_jll v0.300.101+0 ⌃ [27af9300] GAP_pkg_deepthought_jll v100.0.701+0 ⌃ [ce5c30f6] GAP_pkg_digraphs_jll v100.900.1+0 ⌃ [aa0ab9cb] GAP_pkg_edim_jll v100.300.802+0 ⌃ [d6652ff9] GAP_pkg_ferret_jll v100.0.1401+0 ⌃ [b73cfdca] GAP_pkg_float_jll v100.0.501+0 [f51f7fb6] GAP_pkg_fplsa_jll v100.200.601+0 ⌃ [296a3c51] GAP_pkg_gauss_jll v202400.1100.101+0 [70456840] GAP_pkg_guava_jll v300.1900.1+0 ⌃ [19a9678b] GAP_pkg_io_jll v400.900.101+0 ⌃ [b348cf08] GAP_pkg_json_jll v200.200.201+0 ⌅ [ba154793] GAP_pkg_juliainterface_jll v0.1400.100+1 [74c39be2] GAP_pkg_kbmag_jll v100.500.1101+0 ⌃ [74f4ad05] GAP_pkg_normalizinterface_jll v100.300.703+0 [00bf61e5] GAP_pkg_nq_jll v200.500.1101+0 ⌃ [b689cd95] GAP_pkg_orb_jll v400.900.101+0 ⌃ [d3697a66] GAP_pkg_profiling_jll v200.600.1+0 ⌃ [6263fdc2] GAP_pkg_semigroups_jll v500.400.2+0 [1c659ad8] GAP_pkg_simpcomp_jll v200.100.1401+0 ⌃ [abf7faeb] GAP_pkg_zeromqinterface_jll v0.1600.1+0 [e8aa6df9] GLPK_jll v5.0.1+1 [b0724c58] GettextRuntime_jll v0.22.4+0 [020c3dae] Git_LFS_jll v3.7.0+0 [f8c6e375] Git_jll v2.51.0+0 [7746bdde] Glib_jll v2.84.3+0 [3b182d85] Graphite2_jll v1.3.15+0 [3c863552] Graphviz_jll v2.50.0+1 [2e76f6c2] HarfBuzz_jll v8.5.1+0 [1d63c593] LLVMOpenMP_jll v18.1.8+0 [dd4b983a] LZO_jll v2.10.3+0 [e9f186c6] Libffi_jll v3.4.7+0 [94ce4f54] Libiconv_jll v1.18.0+0 [4b2f31a3] Libmount_jll v2.41.1+0 [38a345b3] Libuuid_jll v2.41.1+0 [2ce0c516] MPC_jll v1.3.1+0 [e8b5fb6c] MPFI_jll v1.5.5+0 [68e3532b] Ncurses_jll v6.5.1+0 [656ef2d0] OpenBLAS32_jll v0.3.29+0 [9bd350c2] OpenSSH_jll v10.0.1+0 [36c8627f] Pango_jll v1.56.3+0 ⌅ [30392449] Pixman_jll v0.44.2+0 [05236dd9] Readline_jll v8.2.13+0 [43d676ae] Singular_jll v404.101.301+0 [4f6342f7] Xorg_libX11_jll v1.8.12+0 [0c0b7dd1] Xorg_libXau_jll v1.0.13+0 [a3789734] Xorg_libXdmcp_jll v1.1.6+0 [1082639a] Xorg_libXext_jll v1.3.7+0 [ea2f1a96] Xorg_libXrender_jll v0.9.12+0 [c7cfdc94] Xorg_libxcb_jll v1.17.1+0 [c5fb5394] Xorg_xtrans_jll v1.6.0+0 [8f1865be] ZeroMQ_jll v4.3.6+0 [f07e07eb] cddlib_jll v0.94.15+0 [1493ae25] lib4ti2_jll v1.6.10+0 [b53b4c65] libpng_jll v1.6.50+0 [a9144af2] libsodium_jll v1.0.21+0 [55c6dc9b] nauty_jll v2.8.10+1 [6690c6e9] normaliz_jll v300.1001.502+0 [0dad84c5] ArgTools v1.1.2 [56f22d72] Artifacts v1.11.0 [2a0f44e3] Base64 v1.11.0 [ade2ca70] Dates v1.11.0 [f43a241f] Downloads v1.7.0 [7b1f6079] FileWatching v1.11.0 [b77e0a4c] InteractiveUtils v1.11.0 [ac6e5ff7] JuliaSyntaxHighlighting v1.12.0 [b27032c2] LibCURL v0.6.4 [76f85450] LibGit2 v1.11.0 [8f399da3] Libdl v1.11.0 [37e2e46d] LinearAlgebra v1.13.0 [56ddb016] Logging v1.11.0 [d6f4376e] Markdown v1.11.0 [a63ad114] Mmap v1.11.0 [ca575930] NetworkOptions v1.3.0 [44cfe95a] Pkg v1.13.0 [de0858da] Printf v1.11.0 [3fa0cd96] REPL v1.11.0 [9a3f8284] Random v1.11.0 [ea8e919c] SHA v0.7.0 [9e88b42a] Serialization v1.11.0 [6462fe0b] Sockets v1.11.0 [2f01184e] SparseArrays v1.13.0 [f489334b] StyledStrings v1.11.0 [fa267f1f] TOML v1.0.3 [a4e569a6] Tar v1.10.0 [8dfed614] Test v1.11.0 [cf7118a7] UUIDs v1.11.0 [4ec0a83e] Unicode v1.11.0 [e66e0078] CompilerSupportLibraries_jll v1.3.0+1 [781609d7] GMP_jll v6.3.0+2 [deac9b47] LibCURL_jll v8.15.0+1 [e37daf67] LibGit2_jll v1.9.1+0 [29816b5a] LibSSH2_jll v1.11.3+1 [3a97d323] MPFR_jll v4.2.2+0 [14a3606d] MozillaCACerts_jll v2025.8.12 [4536629a] OpenBLAS_jll v0.3.29+0 [458c3c95] OpenSSL_jll v3.5.2+0 [efcefdf7] PCRE2_jll v10.46.0+0 [bea87d4a] SuiteSparse_jll v7.10.1+0 [83775a58] Zlib_jll v1.3.1+2 [3161d3a3] Zstd_jll v1.5.7+1 [8e850b90] libblastrampoline_jll v5.13.1+0 [8e850ede] nghttp2_jll v1.66.0+0 [3f19e933] p7zip_jll v17.6.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. Testing Running tests... Precompiling packages... 6076.4 ms ✓ Git_jll 1117.2 ms ✓ Git 45589.0 ms ✓ Documenter 3 dependencies successfully precompiled in 53 seconds. 51 already precompiled. Test Summary: | Pass Total Time Singular | 5 5 4.9s Test Summary: | Pass Total Time 4ti2Interface | 5 5 3.0s Test Summary: | Pass Total Time GAP pkg json | 1 1 0.2s Test Summary: | Pass Total Time GAP pkg images | 1 1 0.2s Test Summary: | Pass Total Time homalg_project | 11 11 5.4s [ Info: Cloning into "/home/pkgeval/.julia/packages/CapAndHomalg/o7Bt5/pkg/CapAndHomalg.jl" Cloning into '/home/pkgeval/.julia/packages/CapAndHomalg/o7Bt5/pkg/CapAndHomalg.jl'... [ Info: Updating "/home/pkgeval/.julia/packages/CapAndHomalg/o7Bt5/pkg/CapAndHomalg.jl" Already up to date. [ Info: Updating "/home/pkgeval/.julia/packages/CapAndHomalg/o7Bt5/pkg/CapAndHomalg.jl" Already up to date. [ Info: Removing "/home/pkgeval/.julia/packages/CapAndHomalg/o7Bt5/pkg/CapAndHomalg.jl" Test Summary: | Pass Total Time download/update/remove packages from the homalg-project organization | 6 6 1.6s ┌ Warning: Unable to determine HTML(edit_link = ...) from remote HEAD branch, defaulting to "master". │ Calling `git remote` failed with an exception. Set JULIA_DEBUG=Documenter to see the error. │ Unless this is due to a configuration error, the relevant variable should be set explicitly. └ @ Documenter ~/.julia/packages/Documenter/eoWm2/src/utilities/utilities.jl:665 [ Info: SetupBuildDirectory: setting up build directory. [ Info: Doctest: running doctests. ┌ Error: doctest failure in ../docs/src/examples.md:225-338 │ │ ```jldoctest │ julia> using CapAndHomalg │ │ julia> LoadPackage( "GradedModulePresentationsForCAP" ) │ │ julia> ℚ = HomalgFieldOfRationalsInSingular( ) │ GAP: Q │ │ julia> S = GradedRing( ℚ["x,y"] ) │ GAP: Q[x,y] │ (weights: yet unset) │ │ julia> Sgrmod = GradedLeftPresentations( S ) │ GAP: The category of graded left f.p. modules over Q[x,y] (with weights [ 1, 1 ]) │ │ julia> InfoOfInstalledOperationsOfCategory( Sgrmod ) │ 38 primitive operations were used to derive 228 operations for this category which algorithmically │ * IsMonoidalCategory │ * IsAbelianCategoryWithEnoughProjectives │ and not yet algorithmically │ * IsSymmetricClosedMonoidalCategory │ │ julia> #ListPrimitivelyInstalledOperationsOfCategory( Sgrmod ) │ │ julia> M = GradedFreeLeftPresentation( 2, S, @gap([ 1, 1 ]) ) │ GAP: │ │ julia> N = GradedFreeLeftPresentation( 1, S, @gap([ 0 ]) ) │ GAP: │ │ julia> mat = HomalgMatrix( "[x,y]", 2, 1, S ) │ GAP: │ │ julia> Display( mat ) │ x, │ y │ (over a graded ring) │ │ julia> ϕ = GradedPresentationMorphism( M, mat, N ) │ GAP: │ │ julia> IsWellDefined( ϕ ) │ true │ │ julia> IsMonomorphism( ϕ ) │ false │ │ julia> IsEpimorphism( ϕ ) │ false │ │ julia> ι = ImageEmbedding( ϕ ) │ GAP: │ │ julia> IsMonomorphism( ι ) │ true │ │ julia> IsIsomorphism( ι ) │ false │ │ julia> coker_mod = CokernelObject( ϕ ) │ GAP: │ │ julia> Display( coker_mod ) │ x, │ y │ (over a graded ring) │ │ An object in The category of graded left f.p. modules over Q[x,y] (with weights [ 1, 1 ]) │ │ (graded, degree of generator:[ 0 ]) │ │ julia> IsZero( coker_mod ) │ false │ │ julia> is_artinian = GapObj( M -> AffineDimension( M ) <= 0 ); │ │ julia> SetNameFunction( is_artinian, g"is_artinian" ) │ │ julia> C = FullSubcategoryByMembershipFunction( Sgrmod, is_artinian ) │ GAP: │ │ julia> CohP1 = Sgrmod / C │ GAP: The Serre quotient category of The category of graded left f.p. modules over Q[x,y] (with weights [ 1, 1 ]) by test function with name: is_artinian │ │ julia> InfoOfInstalledOperationsOfCategory( CohP1 ) │ 21 primitive operations were used to derive 187 operations for this category which algorithmically │ * IsAbelianCategory │ │ julia> Sh = CanonicalProjection( CohP1 ) │ GAP: Localization functor of The Serre quotient category of The category of graded left f.p. modules over Q[x,y] (with weights [ 1, 1 ]) by test function with name: is_artinian │ │ julia> InstallFunctor( Sh, g"Sheafification" ) │ │ julia> ψ = ApplyFunctor( Sh, ϕ ) │ GAP: │ │ julia> IsMonomorphism( ψ ) │ false │ │ julia> IsEpimorphism( ψ ) │ true │ │ julia> coker_shv = CokernelObject( ψ ) │ GAP: │ │ julia> IsZero( coker_shv ) │ true │ │ julia> ϵ = ApplyFunctor( Sh, ι ) │ GAP: │ │ julia> IsIsomorphism( ϵ ) │ true │ │ ``` │ │ Subexpression: │ │ InfoOfInstalledOperationsOfCategory( Sgrmod ) │ │ Evaluated output: │ │ 38 primitive operations were used to derive 228 operations for this category which algorithmically │ * IsAbelianCategoryWithEnoughProjectives │ * IsAdditiveMonoidalCategory │ and not yet algorithmically │ * IsSymmetricClosedMonoidalCategory │ │ Expected output: │ │ 38 primitive operations were used to derive 228 operations for this category which algorithmically │ * IsMonoidalCategory │ * IsAbelianCategoryWithEnoughProjectives │ and not yet algorithmically │ * IsSymmetricClosedMonoidalCategory │ │ diff = │ Warning: Diff output requires color. │ 38 primitive operations were used to derive 228 operations for this category which algorithmically │ * IsMonoidalCategory │ * IsAbelianCategoryWithEnoughProjectives │ * IsAdditiveMonoidalCategory │ and not yet algorithmically │ * IsSymmetricClosedMonoidalCategory └ @ Documenter ~/.julia/packages/CapAndHomalg/o7Bt5/docs/src/examples.md:225 ┌ Error: Doctesting failed │ exception = │ `makedocs` encountered a doctest error. Terminating build │ Stacktrace: │ [1] error(s::String) │ @ Base ./error.jl:44 │ [2] runner(::Type{Documenter.Builder.Doctest}, doc::Documenter.Document) │ @ Documenter ~/.julia/packages/Documenter/eoWm2/src/builder_pipeline.jl:213 │ [3] dispatch(::Type{Documenter.Builder.DocumentPipeline}, x::Documenter.Document) │ @ Documenter.Selectors ~/.julia/packages/Documenter/eoWm2/src/utilities/Selectors.jl:170 │ [4] #89 │ @ ~/.julia/packages/Documenter/eoWm2/src/makedocs.jl:280 [inlined] │ [5] withenv(::Documenter.var"#89#90"{Documenter.Document}, ::Pair{String, Nothing}, ::Vararg{Pair{String, Nothing}}) │ @ Base ./env.jl:265 │ [6] #87 │ @ ~/.julia/packages/Documenter/eoWm2/src/makedocs.jl:279 [inlined] │ [7] cd(f::Documenter.var"#87#88"{Documenter.Document}, dir::String) │ @ Base.Filesystem ./file.jl:112 │ [8] makedocs(; debug::Bool, format::Documenter.HTMLWriter.HTML, kwargs::@Kwargs{root::String, source::String, sitename::String, doctest::Symbol, modules::Vector{Module}, doctestfilters::Vector{Regex}, remotes::Nothing, plugins::Vector{Documenter.Plugin}}) │ @ Documenter ~/.julia/packages/Documenter/eoWm2/src/makedocs.jl:278 │ [9] kwcall(::@NamedTuple{root::String, source::String, sitename::String, doctest::Symbol, modules::Vector{Module}, doctestfilters::Vector{Regex}, remotes::Nothing, plugins::Vector{Documenter.Plugin}}, ::typeof(makedocs)) │ @ Documenter ~/.julia/packages/Documenter/eoWm2/src/makedocs.jl:271 │ [10] (::Documenter.var"#all_doctests#141"{Bool, Vector{Regex}, Vector{Documenter.Plugin}, Vector{Module}})() │ @ Documenter ~/.julia/packages/Documenter/eoWm2/src/doctest.jl:85 │ [11] macro expansion │ @ ~/.julia/packages/Documenter/eoWm2/src/doctest.jl:110 [inlined] │ [12] macro expansion │ @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:741 [inlined] │ [13] macro expansion │ @ ~/.julia/packages/Documenter/eoWm2/src/doctest.jl:110 [inlined] │ [14] macro expansion │ @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1945 [inlined] │ [15] doctest(source::String, modules::Vector{Module}; fix::Bool, testset::String, doctestfilters::Vector{Regex}, plugins::Vector{Documenter.Plugin}) │ @ Documenter ~/.julia/packages/Documenter/eoWm2/src/doctest.jl:110 │ [16] doctest │ @ ~/.julia/packages/Documenter/eoWm2/src/doctest.jl:69 [inlined] │ [17] doctest(package::Module; manual::Bool, testset::Nothing, kwargs::@Kwargs{}) │ @ Documenter ~/.julia/packages/Documenter/eoWm2/src/doctest.jl:37 │ [18] doctest(package::Module) │ @ Documenter ~/.julia/packages/Documenter/eoWm2/src/doctest.jl:20 │ [19] top-level scope │ @ ~/.julia/packages/CapAndHomalg/o7Bt5/test/testmanual.jl:2 │ [20] macro expansion │ @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1945 [inlined] │ [21] macro expansion │ @ ~/.julia/packages/CapAndHomalg/o7Bt5/test/testmanual.jl:2 [inlined] │ [22] include(mapexpr::Function, mod::Module, _path::String) │ @ Base ./Base.jl:309 │ [23] top-level scope │ @ ~/.julia/packages/CapAndHomalg/o7Bt5/test/runtests.jl:12 │ [24] include(mapexpr::Function, mod::Module, _path::String) │ @ Base ./Base.jl:309 │ [25] top-level scope │ @ none:6 │ [26] eval(m::Module, e::Any) │ @ Core ./boot.jl:489 │ [27] exec_options(opts::Base.JLOptions) │ @ Base ./client.jl:296 │ [28] _start() │ @ Base ./client.jl:563 └ @ Documenter ~/.julia/packages/Documenter/eoWm2/src/doctest.jl:99 Doctests: CapAndHomalg: Test Failed at /home/pkgeval/.julia/packages/Documenter/eoWm2/src/doctest.jl:110 Expression: all_doctests() Stacktrace: [1] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:744 [inlined] [2] macro expansion @ ~/.julia/packages/Documenter/eoWm2/src/doctest.jl:110 [inlined] [3] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1945 [inlined] [4] doctest(source::String, modules::Vector{Module}; fix::Bool, testset::String, doctestfilters::Vector{Regex}, plugins::Vector{Documenter.Plugin}) @ Documenter ~/.julia/packages/Documenter/eoWm2/src/doctest.jl:110 Test Summary: | Fail Total Time manual examples | 1 1 1m08.2s Doctests: CapAndHomalg | 1 1 1m06.3s RNG of the outermost testset: Random.Xoshiro(0x69b3ef0c64acb086, 0x08ea234e1375aced, 0x3582cb9ee2ae2f43, 0x5277b80b018d23f8, 0xd1465b5e17509f64) ERROR: LoadError: Some tests did not pass: 0 passed, 1 failed, 0 errored, 0 broken. in expression starting at /home/pkgeval/.julia/packages/CapAndHomalg/o7Bt5/test/testmanual.jl:1 in expression starting at /home/pkgeval/.julia/packages/CapAndHomalg/o7Bt5/test/runtests.jl:12 Testing failed after 180.35s ERROR: LoadError: Package CapAndHomalg errored during testing Stacktrace: [1] pkgerror(msg::String) @ Pkg.Types /opt/julia/share/julia/stdlib/v1.13/Pkg/src/Types.jl:68 [2] test(ctx::Pkg.Types.Context, pkgs::Vector{PackageSpec}; coverage::Bool, julia_args::Cmd, test_args::Cmd, test_fn::Nothing, force_latest_compatible_version::Bool, allow_earlier_backwards_compatible_versions::Bool, allow_reresolve::Bool) @ Pkg.Operations /opt/julia/share/julia/stdlib/v1.13/Pkg/src/Operations.jl:2673 [3] test @ /opt/julia/share/julia/stdlib/v1.13/Pkg/src/Operations.jl:2522 [inlined] [4] test(ctx::Pkg.Types.Context, pkgs::Vector{PackageSpec}; coverage::Bool, test_fn::Nothing, julia_args::Cmd, test_args::Cmd, force_latest_compatible_version::Bool, allow_earlier_backwards_compatible_versions::Bool, allow_reresolve::Bool, kwargs::@Kwargs{io::IOContext{IO}}) @ Pkg.API /opt/julia/share/julia/stdlib/v1.13/Pkg/src/API.jl:538 [5] kwcall(::@NamedTuple{julia_args::Cmd, io::IOContext{IO}}, ::typeof(Pkg.API.test), ctx::Pkg.Types.Context, pkgs::Vector{PackageSpec}) @ Pkg.API /opt/julia/share/julia/stdlib/v1.13/Pkg/src/API.jl:515 [6] test(pkgs::Vector{PackageSpec}; io::IOContext{IO}, kwargs::@Kwargs{julia_args::Cmd}) @ Pkg.API /opt/julia/share/julia/stdlib/v1.13/Pkg/src/API.jl:168 [7] kwcall(::@NamedTuple{julia_args::Cmd}, ::typeof(Pkg.API.test), pkgs::Vector{PackageSpec}) @ Pkg.API /opt/julia/share/julia/stdlib/v1.13/Pkg/src/API.jl:157 [8] test(pkgs::Vector{String}; kwargs::@Kwargs{julia_args::Cmd}) @ Pkg.API /opt/julia/share/julia/stdlib/v1.13/Pkg/src/API.jl:156 [9] test @ /opt/julia/share/julia/stdlib/v1.13/Pkg/src/API.jl:156 [inlined] [10] kwcall(::@NamedTuple{julia_args::Cmd}, ::typeof(Pkg.API.test), pkg::String) @ Pkg.API /opt/julia/share/julia/stdlib/v1.13/Pkg/src/API.jl:155 [11] top-level scope @ /PkgEval.jl/scripts/evaluate.jl:219 [12] include(mod::Module, _path::String) @ Base ./Base.jl:308 [13] exec_options(opts::Base.JLOptions) @ Base ./client.jl:330 [14] _start() @ Base ./client.jl:563 in expression starting at /PkgEval.jl/scripts/evaluate.jl:210 PkgEval failed after 644.2s: package has test failures