Package evaluation of RationalFunctionFields on Julia 1.13.0-DEV.1125 (fd1c6fd302*) started at 2025-09-15T23:45:14.829 ################################################################################ # Set-up # Installing PkgEval dependencies (TestEnv)... Set-up completed after 9.26s ################################################################################ # Installation # Installing RationalFunctionFields... Resolving package versions... Updating `~/.julia/environments/v1.13/Project.toml` [73480bc8] + RationalFunctionFields v0.1.0 Updating `~/.julia/environments/v1.13/Manifest.toml` ⌅ [c3fe647b] + AbstractAlgebra v0.46.5 [a9b6321e] + Atomix v1.1.2 [861a8166] + Combinatorics v1.0.3 [e2ba6199] + ExprTools v0.1.10 [0b43b601] + Groebner v0.9.5 [18e54dd8] + IntegerMathUtils v0.1.3 [692b3bcd] + JLLWrappers v1.7.1 [1914dd2f] + MacroTools v0.5.16 ⌅ [2edaba10] + Nemo v0.51.1 [3e851597] + ParamPunPam v0.5.3 [aea7be01] + PrecompileTools v1.3.3 [21216c6a] + Preferences v1.5.0 [27ebfcd6] + Primes v0.5.7 [92933f4c] + ProgressMeter v1.11.0 [fb686558] + RandomExtensions v0.4.4 [73480bc8] + RationalFunctionFields v0.1.0 [a759f4b9] + TimerOutputs v0.5.29 [013be700] + UnsafeAtomics v0.3.0 [e134572f] + FLINT_jll v301.300.102+0 [656ef2d0] + OpenBLAS32_jll v0.3.29+0 [56f22d72] + Artifacts v1.11.0 [ade2ca70] + Dates v1.11.0 [8ba89e20] + Distributed v1.11.0 [8f399da3] + Libdl v1.11.0 [37e2e46d] + LinearAlgebra v1.13.0 [56ddb016] + Logging v1.11.0 [de0858da] + Printf 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 [fa267f1f] + TOML v1.0.3 [4ec0a83e] + Unicode v1.11.0 [e66e0078] + CompilerSupportLibraries_jll v1.3.0+1 [781609d7] + GMP_jll v6.3.0+2 [3a97d323] + MPFR_jll v4.2.2+0 [4536629a] + OpenBLAS_jll v0.3.29+0 [bea87d4a] + SuiteSparse_jll v7.10.1+0 [8e850b90] + libblastrampoline_jll v5.13.1+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 4.29s ################################################################################ # Precompilation # Precompiling PkgEval dependencies... Precompiling package dependencies... Precompilation completed after 145.75s ################################################################################ # Testing # Testing RationalFunctionFields Status `/tmp/jl_oViTWW/Project.toml` ⌅ [c3fe647b] AbstractAlgebra v0.46.5 [861a8166] Combinatorics v1.0.3 [0b43b601] Groebner v0.9.5 ⌅ [2edaba10] Nemo v0.51.1 [3e851597] ParamPunPam v0.5.3 [73480bc8] RationalFunctionFields v0.1.0 ⌅ [98d24dd4] TestSetExtensions v2.0.0 [a759f4b9] TimerOutputs v0.5.29 [37e2e46d] LinearAlgebra v1.13.0 [8dfed614] Test v1.11.0 Status `/tmp/jl_oViTWW/Manifest.toml` ⌅ [c3fe647b] AbstractAlgebra v0.46.5 [a9b6321e] Atomix v1.1.2 [861a8166] Combinatorics v1.0.3 [ab62b9b5] DeepDiffs v1.2.0 [e2ba6199] ExprTools v0.1.10 [0b43b601] Groebner v0.9.5 [18e54dd8] IntegerMathUtils v0.1.3 [692b3bcd] JLLWrappers v1.7.1 [1914dd2f] MacroTools v0.5.16 ⌅ [2edaba10] Nemo v0.51.1 [3e851597] ParamPunPam v0.5.3 [aea7be01] PrecompileTools v1.3.3 [21216c6a] Preferences v1.5.0 [27ebfcd6] Primes v0.5.7 [92933f4c] ProgressMeter v1.11.0 [fb686558] RandomExtensions v0.4.4 [73480bc8] RationalFunctionFields v0.1.0 ⌅ [98d24dd4] TestSetExtensions v2.0.0 [a759f4b9] TimerOutputs v0.5.29 [013be700] UnsafeAtomics v0.3.0 [e134572f] FLINT_jll v301.300.102+0 [656ef2d0] OpenBLAS32_jll v0.3.29+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.12.0 [8f399da3] Libdl v1.11.0 [37e2e46d] LinearAlgebra v1.13.0 [56ddb016] Logging v1.11.0 [d6f4376e] Markdown v1.11.0 [de0858da] Printf 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 [8dfed614] Test v1.11.0 [4ec0a83e] Unicode v1.11.0 [e66e0078] CompilerSupportLibraries_jll v1.3.0+1 [781609d7] GMP_jll v6.3.0+2 [3a97d323] MPFR_jll v4.2.2+0 [4536629a] OpenBLAS_jll v0.3.29+0 [bea87d4a] SuiteSparse_jll v7.10.1+0 [8e850b90] libblastrampoline_jll v5.13.1+0 Info Packages marked with ⌅ have new versions available but compatibility constraints restrict them from upgrading. Testing Running tests... [ Info: Testing started ┌ Info: Names for generators were not provided, so the have been generated as follows: │ 7__Tag_3 = (x^3 + y^3 + z^3)//(x + y + z) │ 7__Tag_1 = (x^2 + y^2 + z^2)//(x + y + z) └ 7__Tag_2 = x + y + z ┌ Info: Names for generators were not provided, so the have been generated as follows: │ 138__Tag_3 = x*y*z │ 138__Tag_1 = x + y + z └ 138__Tag_2 = x*y + x*z + y*z ┌ Info: Names for generators were not provided, so the have been generated as follows: │ 165__Tag_3 = a + b + c │ 165__Tag_1 = a └ 165__Tag_2 = b ┌ Info: Names for generators were not provided, so the have been generated as follows: │ 217__Tag_3 = a + b + c │ 217__Tag_1 = a └ 217__Tag_2 = b ┌ Info: Names for generators were not provided, so the have been generated as follows: │ 6__Tag_3 = 5*a │ 6__Tag_1 = 2*c └ 6__Tag_2 = 3*b ┌ Info: Names for generators were not provided, so the have been generated as follows: │ 187__Tag_1 = a + b + c └ 187__Tag_2 = a^2 + b^2 + c^2 ┌ Info: Names for generators were not provided, so the have been generated as follows: │ 207__Tag_3 = a^4 + b^4 │ 207__Tag_1 = a^2 + b^2 └ 207__Tag_2 = a^3 + b^3 ┌ Info: Names for generators were not provided, so the have been generated as follows: └ 124__Tag_1 = T1^2 ┌ Info: Names for generators were not provided, so the have been generated as follows: │ 182__Tag_3 = _t │ 182__Tag_1 = T1 └ 182__Tag_2 = t ┌ Info: Names for generators were not provided, so the have been generated as follows: │ 244__Tag_3 = x │ 244__Tag_1 = x - 1 └ 244__Tag_2 = x^5 - 1 ┌ Info: Names for generators were not provided, so the have been generated as follows: └ 29__Tag_1 = x^2 ┌ Info: Names for generators were not provided, so the have been generated as follows: │ 26__Tag_3 = x^4 + y^4 │ 26__Tag_1 = x^2 + y^2 └ 26__Tag_2 = x^3 + y^3 ┌ Info: Names for generators were not provided, so the have been generated as follows: │ 100__Tag_1 = x1 │ 100__Tag_2 = a │ 100__Tag_5 = (a + b)//x2 │ 100__Tag_4 = c//x2 └ 100__Tag_3 = a*c + c^2 [ Info: Search for polynomial generators concluded in 15.03885443 [ Info: Search for polynomial generators concluded in 1.134150839 [ Info: Search for polynomial generators concluded in 0.00219547 [ Info: Search for polynomial generators concluded in 0.004399151 [ Info: Search for polynomial generators concluded in 0.000746623 [ Info: Search for polynomial generators concluded in 0.075149046 [ Info: Search for polynomial generators concluded in 0.653535219 [ Info: Search for polynomial generators concluded in 0.002417419 [ Info: Search for polynomial generators concluded in 3.517770272 [ Info: Search for polynomial generators concluded in 1.339401498 [ Info: Simplifying generating set. Simplification level: standard ⌜ # Computing specializations.. Time: 0:00:11 ✓ # Computing specializations.. Time: 0:00:13 [ Info: Search for polynomial generators concluded in 0.008097287 [ Info: Selecting generators in 0.011065181 [ Info: Inclusion checked with probability 0.99 in 0.003572918 seconds [ Info: Simplifying generating set. Simplification level: standard [ Info: Search for polynomial generators concluded in 0.296999296 [ Info: Selecting generators in 0.009131998 [ Info: Inclusion checked with probability 0.99 in 0.012944944 seconds Test Summary: | Pass Total Time All the tests | 145 145 10m18.4s RationalFunctionField | 2 2 1m42.4s Transcendence basis computations and algebraicity checks | 13 13 5.9s RationalFunctionField: constructive field membership (basic) | 6 6 1m04.9s RationalFunctionField: constructive field membership | 82 82 5.8s RationalFunctionField: simplification | 1 1 4m39.8s RationalFunctionField: membership | 22 22 1m02.8s Linear relations over the rationals | 10 10 29.8s Rational function comparison | 7 7 1.4s RationalFunctionField: membership | 2 2 1m02.8s 618.960108 seconds (295.27 M allocations: 74.073 GiB, 2.42% gc time, 54.96% compilation time: <1% of which was recompilation) Testing RationalFunctionFields tests passed Testing completed after 632.95s PkgEval succeeded after 804.74s