Package evaluation to test MultivariateCreativeTelescoping on Julia 1.14.0-DEV.2802 (918269a29b*) started at 2026-08-27T20:20:30.341 ################################################################################ # Set-up # Installing PkgEval dependencies (TestEnv)... Activating project at `~/.julia/environments/v1.14` Set-up completed after 15.3s ################################################################################ # Installation # Installing MultivariateCreativeTelescoping... Resolving package versions... Updating `~/.julia/environments/v1.14/Project.toml` [a544615c] + MultivariateCreativeTelescoping v0.1.3 Updating `~/.julia/environments/v1.14/Manifest.toml` [c3fe647b] + AbstractAlgebra v0.50.2 [a9b6321e] + Atomix v1.1.3 [c3b6d118] + BitIntegers v0.3.7 [861a8166] + Combinatorics v1.1.0 [34da2185] + Compat v4.18.1 [adafc99b] + CpuId v0.3.1 [864edb3b] + DataStructures v0.19.6 [ad2082ca] + ExportAll v0.1.2 [e2ba6199] + ExprTools v0.1.11 [0b43b601] + Groebner v0.10.6 [18e54dd8] + IntegerMathUtils v0.1.4 [692b3bcd] + JLLWrappers v1.8.0 [1914dd2f] + MacroTools v0.5.16 [a544615c] + MultivariateCreativeTelescoping v0.1.3 [2edaba10] + Nemo v0.56.1 [bac558e1] + OrderedCollections v2.0.1 [3e851597] + ParamPunPam v0.5.8 [aea7be01] + PrecompileTools v1.3.4 [21216c6a] + Preferences v1.5.2 [27ebfcd6] + Primes v0.5.7 [92933f4c] + ProgressMeter v1.11.0 [fb686558] + RandomExtensions v0.4.4 [2b935e18] + SmallCollections v0.6.3 [90137ffa] + StaticArrays v1.9.19 [1e83bf80] + StaticArraysCore v1.4.4 ⌅ [a759f4b9] + TimerOutputs v0.5.29 [013be700] + UnsafeAtomics v0.3.2 [e134572f] + FLINT_jll v301.600.0+0 [656ef2d0] + OpenBLAS32_jll v0.3.34+0 [56f22d72] + Artifacts v1.11.0 [2a0f44e3] + Base64 v1.11.0 [ade2ca70] + Dates v1.11.0 [8ba89e20] + Distributed v1.11.0 [b77e0a4c] + InteractiveUtils v1.11.0 [ac6e5ff7] + JuliaSyntaxHighlighting v1.13.0 [8f399da3] + Libdl v1.11.0 [37e2e46d] + LinearAlgebra v1.14.0 [56ddb016] + Logging v1.11.0 [d6f4376e] + Markdown v1.11.0 [de0858da] + Printf 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 [8dfed614] + Test v1.11.0 [cf7118a7] + UUIDs v1.11.0 [4ec0a83e] + Unicode v1.11.0 [e66e0078] + CompilerSupportLibraries_jll v1.5.7+0 [781609d7] + GMP_jll v6.3.0+4 [3a97d323] + MPFR_jll v4.2.2+0 [4536629a] + OpenBLAS_jll v0.3.34+0 [bea87d4a] + SuiteSparse_jll v7.10.1+0 [8e850b90] + libblastrampoline_jll v5.15.0+0 Info Packages marked with ⌅ have new versions available but compatibility constraints restrict them from upgrading. To see why use `status --outdated -m` Installation completed after 5.67s ################################################################################ # Precompilation # Precompiling PkgEval dependencies... Precompiling package dependencies... Precompiling project... 2.7 s ✓ SmallCollections → StaticArraysExt 21.9 s ✓ MultivariateCreativeTelescoping 2 dependencies successfully precompiled in 25 seconds. 48 already precompiled. Precompilation completed after 55.3s ################################################################################ # Testing # Testing MultivariateCreativeTelescoping Status `/tmp/jl_wbYSZ5/Project.toml` [861a8166] Combinatorics v1.1.0 [864edb3b] DataStructures v0.19.6 [ad2082ca] ExportAll v0.1.2 [a544615c] MultivariateCreativeTelescoping v0.1.3 [2edaba10] Nemo v0.56.1 [3e851597] ParamPunPam v0.5.8 [90137ffa] StaticArrays v1.9.19 [e134572f] FLINT_jll v301.600.0+0 [8dfed614] Test v1.11.0 Status `/tmp/jl_wbYSZ5/Manifest.toml` [c3fe647b] AbstractAlgebra v0.50.2 [a9b6321e] Atomix v1.1.3 [c3b6d118] BitIntegers v0.3.7 [861a8166] Combinatorics v1.1.0 [34da2185] Compat v4.18.1 [adafc99b] CpuId v0.3.1 [864edb3b] DataStructures v0.19.6 [ad2082ca] ExportAll v0.1.2 [e2ba6199] ExprTools v0.1.11 [0b43b601] Groebner v0.10.6 [18e54dd8] IntegerMathUtils v0.1.4 [692b3bcd] JLLWrappers v1.8.0 [1914dd2f] MacroTools v0.5.16 [a544615c] MultivariateCreativeTelescoping v0.1.3 [2edaba10] Nemo v0.56.1 [bac558e1] OrderedCollections v2.0.1 [3e851597] ParamPunPam v0.5.8 [aea7be01] PrecompileTools v1.3.4 [21216c6a] Preferences v1.5.2 [27ebfcd6] Primes v0.5.7 [92933f4c] ProgressMeter v1.11.0 [fb686558] RandomExtensions v0.4.4 [2b935e18] SmallCollections v0.6.3 [90137ffa] StaticArrays v1.9.19 [1e83bf80] StaticArraysCore v1.4.4 ⌅ [a759f4b9] TimerOutputs v0.5.29 [013be700] UnsafeAtomics v0.3.2 [e134572f] FLINT_jll v301.600.0+0 [656ef2d0] OpenBLAS32_jll v0.3.34+0 [56f22d72] Artifacts v1.11.0 [2a0f44e3] Base64 v1.11.0 [ade2ca70] Dates v1.11.0 [8ba89e20] Distributed v1.11.0 [b77e0a4c] InteractiveUtils v1.11.0 [ac6e5ff7] JuliaSyntaxHighlighting v1.13.0 [8f399da3] Libdl v1.11.0 [37e2e46d] LinearAlgebra v1.14.0 [56ddb016] Logging v1.11.0 [d6f4376e] Markdown v1.11.0 [de0858da] Printf 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 [8dfed614] Test v1.11.0 [cf7118a7] UUIDs v1.11.0 [4ec0a83e] Unicode v1.11.0 [e66e0078] CompilerSupportLibraries_jll v1.5.7+0 [781609d7] GMP_jll v6.3.0+4 [3a97d323] MPFR_jll v4.2.2+0 [4536629a] OpenBLAS_jll v0.3.34+0 [bea87d4a] SuiteSparse_jll v7.10.1+0 [8e850b90] libblastrampoline_jll v5.15.0+0 Info Packages marked with ⌅ have new versions available but compatibility constraints restrict them from upgrading. Testing Running tests... Test Summary: | Pass Total Time TypeCoefficient: Nmod32Γ arithmetic | 11 11 7.6s Test Summary: | Pass Total Time TypeCoefficient: rational univariate mod small p | 11 11 4.6s Test Summary: | Pass Total Time TypeCoefficient: rational univariate mod large p | 11 11 3.1s Test Summary: | Pass Total Time TypeCoefficient: rational univariate QQ context | 11 11 2.2s Test Summary: | Pass Total Time TypeCoefficient: rational multivariate mod small p | 12 12 3.3s Test Summary: | Pass Total Time TypeCoefficient: rational multivariate mod large p | 8 8 3.2s Test Summary: | Pass Total Time TypeCoefficient: rational multivariate QQ context | 8 8 2.6s Test Summary: | Pass Total Time TypeCoefficient: QQCtx arithmetic | 8 8 0.2s Test Summary: | Pass Total Time TypeCoefficient: ring contexts (fraction-free) | 110 110 8.6s Test Summary: | Pass Total Time TypeOreMonomial basics | 13 13 1.3s Test Summary: | Pass Total Time TypeOrePolynomial structure | 18 18 1.1s Test Summary: | Pass Total Time ReuseOrePoly behaviour | 9 9 0.3s Test Summary: | Pass Total Time TypeMonOrder make_order | 5 5 5.6s Test Summary: | Pass Total Time TypeOreAlgebra basics | 13 13 26.7s Test Summary: | Pass Total Time TypeOreAlgebra fraction-free coefficients | 7 7 47.1s Test Summary: | Pass Total Time ParseInputOutput parsing | 15 15 0.5s Test Summary: | Pass Total Time ParseInputOutput string roundtrip | 5 5 0.4s Test Summary: | Pass Total Time OrePolyAddMul normalize! | 3 3 0.0s Test Summary: | Pass Total Time OrePolyAddMul add variants | 7 7 0.7s Test Summary: | Pass Total Time Geobucket respects localisation variable | 1 1 10.7s Test Summary: | Pass Total Time dfinite_expr_to_ann with provided algebra | 2 2 41.1s Test Summary: | Pass Total Time dfinite_expr_to_ann automatic algebra inference | 1 1 7.4s Test Summary: | Pass Total Time dfinite_expr_to_ann reports unclosed parenthesis | 2 2 0.0s Test Summary: | Pass Total Time dfinite_expr_to_ann with multiple ratdiff variables | 2 2 21.0s Test Summary: | Pass Total Time dfinite closure by addition and multiplication | 4 4 23.3s Test Summary: | Pass Total Time dfinite closure by addition and multiplication in 2 variables | 6 6 22.3s Test Summary: | Pass Total Time dfinite algebraic leaf from minimal polynomial | 1 1 21.0s Test Summary: | Pass Total Time dfinite algebraic leaf in 2 variables | 3 3 0.5s Test Summary: | Pass Total Time dfinite algebraic leaf with nested square roots | 4 4 0.3s Test Summary: | Pass Total Time dfinite division by hyperexponential denominator | 2 2 1.1s Test Summary: | Pass Total Time dfinite product with composed coefficients | 2 2 0.1s Test Summary: | Pass Total Time dfinite symbolic database parameter in ratvars | 3 3 1.8s Test Summary: | Pass Total Time dfinite rational database parameter in ratvars | 2 2 0.1s Test Summary: | Pass Total Time dfinite polynomial power with symbolic exponent | 1 1 6.8s Test Summary: | Pass Total Time dfinite polynomial power with symbolic exponent and inferred algebra | 3 3 0.2s Test Summary: | Pass Total Time dfinite polynomial power with rational ratvar exponent | 2 2 0.5s Test Summary: | Pass Total Time dfinite symbolic power with rational base | 1 1 0.0s Test Summary: | Pass Total Time dfinite product uses polynomial power factor | 1 1 0.0s Test Summary: | Pass Total Time evaluate annihilator at named parameter | 5 5 0.7s Test Summary: | Pass Total Time ann_poly_power direct one variable | 2 2 0.0s Test Summary: | Pass Total Time ann_poly_power direct two variables | 3 3 0.8s Test Summary: | Pass Total Time ann_comp_right_rat univariate closure | 1 1 0.2s Test Summary: | Pass Total Time ann_comp_right_rat ignores second closure block | 1 1 0.5s Test Summary: | Pass Total Time dfinite_expr_to_ann ratfun composition branch | 1 1 0.1s Test Summary: | Pass Total Time dfinite algebraic composition | 3 3 27.9s Test Summary: | Pass Total Time minimal_polynomial nested radical | 1 1 0.5s Test Summary: | Pass Total Time minimal_polynomial nested radical | 1 1 0.0s Test Summary: | Pass Total Time minimal_polynomial two variables | 1 1 0.6s Test Summary: | Pass Total Time minimal_polynomial with division | 1 1 0.0s ⌜ # Computing specializations.. Time: 0:00:49 ✓ # Computing specializations.. Time: 0:00:51 Test Summary: | Pass Total Time module Groebner basis from dfinite annihilator | 6 6 2m14.3s ⌜ # Computing specializations.. Time: 0:00:42 ✓ # Computing specializations.. Time: 0:00:42 Test Summary: | Pass Total Time heuristic Weyl closure via module Groebner basis | 5 5 1m38.0s Test Summary: | Pass Total Time heuristic Weyl closure without user parameters | 4 4 16.3s Test Summary: | Pass Total Time picard_fuchs type inference without debug | 1 1 47.2s Test Summary: | Pass Total Time unused type | 1 1 0.5s Test Summary: | Pass Total Time Algebra definition, parsing, add, mul | 8 8 27.4s Test Summary: | Pass Total Time F4, F5 and saturation | 3 3 59.3s Test Summary: | Pass Total Time Weyl closure and MCT | 5 5 4m18.5s Test Summary: | Pass Total Time Multi-parameter derivation map | 11 11 19.6s Test Summary: | Pass Total Time Multi-parameter direct LDE system | 3 3 1.2s Test Summary: | Pass Total Time MCTMany rational integrand example | 3 3 0.0s Test Summary: | Pass Total Time Multivariate rational interpolation | 2 2 14.8s Testing MultivariateCreativeTelescoping tests passed Testing completed after 1014.1s PkgEval succeeded after 1118.49s