Package evaluation to test RationalFunctionFields on Julia 1.14.0-DEV.1893 (b4aba01002*) started at 2026-03-15T15:51:50.291 ################################################################################ # Set-up # Installing PkgEval dependencies (TestEnv)... Activating project at `~/.julia/environments/v1.14` Set-up completed after 14.12s ################################################################################ # Installation # Installing RationalFunctionFields... Resolving package versions... Updating `~/.julia/environments/v1.14/Project.toml` [73480bc8] + RationalFunctionFields v0.3.1 Updating `~/.julia/environments/v1.14/Manifest.toml` [c3fe647b] + AbstractAlgebra v0.48.5 [a9b6321e] + Atomix v1.1.2 [861a8166] + Combinatorics v1.1.0 [e2ba6199] + ExprTools v0.1.10 [0b43b601] + Groebner v0.10.3 [18e54dd8] + IntegerMathUtils v0.1.3 [692b3bcd] + JLLWrappers v1.7.1 [1914dd2f] + MacroTools v0.5.16 [2edaba10] + Nemo v0.54.1 [3e851597] + ParamPunPam v0.5.7 [aea7be01] + PrecompileTools v1.3.3 [21216c6a] + Preferences v1.5.2 [27ebfcd6] + Primes v0.5.7 [92933f4c] + ProgressMeter v1.11.0 [fb686558] + RandomExtensions v0.4.4 [73480bc8] + RationalFunctionFields v0.3.1 [a759f4b9] + TimerOutputs v0.5.29 [013be700] + UnsafeAtomics v0.3.0 [e134572f] + FLINT_jll v301.400.1+0 [656ef2d0] + OpenBLAS32_jll v0.3.30+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 v1.0.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.30+0 [bea87d4a] + SuiteSparse_jll v7.10.1+0 [8e850b90] + libblastrampoline_jll v5.15.0+0 Installation completed after 5.66s ################################################################################ # Precompilation # Precompiling PkgEval dependencies... Precompiling package dependencies... Precompiling packages... 139473.0 ms ✓ Groebner 13363.5 ms ✓ ParamPunPam 13707.1 ms ✓ RationalFunctionFields 3 dependencies successfully precompiled in 167 seconds. 37 already precompiled. 8 dependencies precompiled but different versions are currently loaded (Base64, Dates, JuliaSyntaxHighlighting, Logging, Markdown, Printf, StyledStrings and TOML). Restart julia to access the new versions. Otherwise, 16 dependents of these packages may trigger further precompilation to work with the unexpected versions. Precompilation completed after 191.26s ################################################################################ # Testing # Testing RationalFunctionFields Status `/tmp/jl_vXsDcB/Project.toml` [c3fe647b] AbstractAlgebra v0.48.5 [861a8166] Combinatorics v1.1.0 [0b43b601] Groebner v0.10.3 [2edaba10] Nemo v0.54.1 [3e851597] ParamPunPam v0.5.7 [73480bc8] RationalFunctionFields v0.3.1 ⌅ [98d24dd4] TestSetExtensions v3.0.0 [a759f4b9] TimerOutputs v0.5.29 [37e2e46d] LinearAlgebra v1.13.0 [9a3f8284] Random v1.11.0 [8dfed614] Test v1.11.0 Status `/tmp/jl_vXsDcB/Manifest.toml` [c3fe647b] AbstractAlgebra v0.48.5 [a9b6321e] Atomix v1.1.2 [861a8166] Combinatorics v1.1.0 [ab62b9b5] DeepDiffs v1.2.0 [e2ba6199] ExprTools v0.1.10 [0b43b601] Groebner v0.10.3 [18e54dd8] IntegerMathUtils v0.1.3 [692b3bcd] JLLWrappers v1.7.1 [1914dd2f] MacroTools v0.5.16 [2edaba10] Nemo v0.54.1 [3e851597] ParamPunPam v0.5.7 [aea7be01] PrecompileTools v1.3.3 [21216c6a] Preferences v1.5.2 [27ebfcd6] Primes v0.5.7 [92933f4c] ProgressMeter v1.11.0 [fb686558] RandomExtensions v0.4.4 [73480bc8] RationalFunctionFields v0.3.1 ⌅ [98d24dd4] TestSetExtensions v3.0.0 [a759f4b9] TimerOutputs v0.5.29 [013be700] UnsafeAtomics v0.3.0 [e134572f] FLINT_jll v301.400.1+0 [656ef2d0] OpenBLAS32_jll v0.3.30+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.13.0 [56ddb016] Logging v1.11.0 [d6f4376e] Markdown v1.11.0 [de0858da] Printf v1.11.0 [9a3f8284] Random v1.11.0 [ea8e919c] SHA v1.0.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 [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.30+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... [ Info: Testing started ┌ Info: Names for generators were not provided, so they have been generated as follows: │ 253__Tag_3 = (x^3 + y^3 + z^3)//(x + y + z) │ 253__Tag_1 = (x^2 + y^2 + z^2)//(x + y + z) └ 253__Tag_2 = x + y + z ┌ Info: Names for generators were not provided, so they have been generated as follows: │ 67__Tag_3 = x*y*z │ 67__Tag_1 = x + y + z └ 67__Tag_2 = x*y + x*z + y*z ┌ Info: Names for generators were not provided, so they have been generated as follows: │ 189__Tag_3 = a + b + c │ 189__Tag_1 = a └ 189__Tag_2 = b ┌ Info: Names for generators were not provided, so they have been generated as follows: │ 156__Tag_3 = a + b + c │ 156__Tag_1 = a └ 156__Tag_2 = b ┌ Info: Names for generators were not provided, so they have been generated as follows: │ 86__Tag_3 = 5*a │ 86__Tag_1 = 2*c └ 86__Tag_2 = 3*b ┌ Info: Names for generators were not provided, so they have been generated as follows: │ 254__Tag_1 = a + b + c └ 254__Tag_2 = a^2 + b^2 + c^2 ┌ Info: Names for generators were not provided, so they have been generated as follows: │ 52__Tag_3 = a^4 + b^4 │ 52__Tag_1 = a^2 + b^2 └ 52__Tag_2 = a^3 + b^3 ┌ Info: Names for generators were not provided, so they have been generated as follows: └ 209__Tag_1 = T1^2 ┌ Info: Names for generators were not provided, so they have been generated as follows: │ 109__Tag_3 = _t │ 109__Tag_1 = T1 └ 109__Tag_2 = t ┌ Info: Names for generators were not provided, so they have been generated as follows: │ 83__Tag_3 = x │ 83__Tag_1 = x - 1 └ 83__Tag_2 = 1//(x^5 - 1) ┌ Info: Names for generators were not provided, so they have been generated as follows: └ 211__Tag_1 = x^2 ┌ Info: Names for generators were not provided, so they have been generated as follows: │ 130__Tag_3 = x^4 + y^4 │ 130__Tag_1 = x^2 + y^2 └ 130__Tag_2 = x^3 + y^3 ┌ Info: Names for generators were not provided, so they have been generated as follows: │ 61__Tag_1 = x1 │ 61__Tag_2 = a │ 61__Tag_5 = x2//(a + b) │ 61__Tag_4 = c//x2 └ 61__Tag_3 = a*c + c^2 ┌ Info: Names for generators were not provided, so they have been generated as follows: │ 140__Tag_11 = (-alpha^2*beta_W^2*gamma*zeta - 2*alpha*beta_I*beta_W*gamma*zeta^2 - beta_I^2*gamma*zeta^3)//(alpha*beta_I) │ 140__Tag_12 = (-2*alpha*beta_W*gamma - 2*alpha*beta_W*zeta - 3*beta_I*gamma*zeta - 2*beta_I*zeta^2)//alpha │ 140__Tag_4 = (alpha*beta_W + beta_I*zeta)//beta_I │ 140__Tag_13 = (-alpha^2*beta_W^2*gamma - alpha^2*beta_W^2*zeta - 4*alpha*beta_I*beta_W*gamma*zeta - 2*alpha*beta_I*beta_W*zeta^2 - 3*beta_I^2*gamma*zeta^2 - beta_I^2*zeta^3)//(alpha*beta_I) │ 140__Tag_1 = 1 │ 140__Tag_10 = (-alpha^2*beta_W^2 - 2*alpha*beta_I*beta_W*zeta - beta_I^2*zeta^2)//(alpha*beta_I) │ 140__Tag_6 = (-alpha*beta_W - beta_I*zeta)//beta_I │ 140__Tag_7 = (-2*alpha*beta_W - 2*beta_I*zeta)//alpha │ 140__Tag_2 = -1 │ 140__Tag_9 = (-alpha*beta_W*gamma - alpha*beta_W*zeta - beta_I*zeta^2)//beta_I │ 140__Tag_3 = -beta_I//alpha │ 140__Tag_8 = (alpha*beta_W*gamma + alpha*beta_W*zeta + beta_I*zeta^2)//beta_I └ 140__Tag_5 = (-beta_I*gamma - beta_I*zeta)//alpha [ Info: Search for polynomial generators concluded in 16.518539399 [ Info: Search for polynomial generators concluded in 1.204153162 [ Info: Search for polynomial generators concluded in 0.00220977 [ Info: Search for polynomial generators concluded in 0.004794345 [ Info: Search for polynomial generators concluded in 0.000876912 [ Info: Search for polynomial generators concluded in 0.155341415 [ Info: Search for polynomial generators concluded in 0.841346744 [ Info: Search for polynomial generators concluded in 0.002728865 [ Info: Search for polynomial generators concluded in 3.921670718 [ Info: Search for polynomial generators concluded in 1.559012695 [ Info: Parameter names: ["x", "y1"] [ Info: Indeterm. names: ["t1", "y1", "y2"] [ Info: Parameter names: ["a", "b", "c", "x(t)"] [ Info: Indeterm. names: ["y1", "y2", "y3", "y4"] [ Info: Parameter names: ["a", "b", "c", "x(t)"] [ Info: Indeterm. names: ["t1", "y1", "y2", "y3", "y4"] [ Info: Simplifying generating set. Simplification level: standard ⌜ # Computing specializations.. Time: 0:00:14 ✓ # Computing specializations.. Time: 0:00:16 [ Info: Search for polynomial generators concluded in 0.007603938 [ Info: Selecting generators in 0.011045026 [ Info: Inclusion checked with probability 0.99 in 0.004474028 seconds [ Info: Simplifying generating set. Simplification level: standard [ Info: Search for polynomial generators concluded in 0.006878115 [ Info: Inclusion checked with probability 0.99 in 0.003448528 seconds [ Info: Simplifying generating set. Simplification level: standard [ Info: Search for polynomial generators concluded in 1.596144432 [ Info: Selecting generators in 0.241423272 [ Info: Inclusion checked with probability 0.99 in 0.005792475 seconds AbstractAlgebra.Generic.FracFieldElem{QQMPolyRingElem}[k01, k21 + k31, k12 + k13, k21*k31, k12*k31 + k13*k21] [ Info: Simplifying generating set. Simplification level: standard [ Info: Search for polynomial generators concluded in 0.034834322 [ Info: Selecting generators in 0.024074692 [ Info: Inclusion checked with probability 0.99 in 0.005420559 seconds [ Info: Simplifying generating set. Simplification level: standard [ Info: Search for polynomial generators concluded in 0.007019444 [ Info: Selecting generators in 0.000680644 [ Info: Inclusion checked with probability 0.99 in 0.00315678 seconds [ Info: Simplifying generating set. Simplification level: strong [ Info: Search for polynomial generators concluded in 0.007093643 [ Info: Computing 3 Groebner bases for degrees (3, 3) for block orderings ⌜ # Computing specializations.. Time: 0:00:42 ✓ # Computing specializations.. Time: 0:00:42 [ Info: Computed Groebner bases in 54.7618227 seconds [ Info: Selecting generators in 0.000927391 [ Info: Inclusion checked with probability 0.99 in 0.004972823 seconds [ Info: Simplifying generating set. Simplification level: standard [ Info: Search for polynomial generators concluded in 0.341190051 [ Info: Selecting generators in 0.008574469 [ Info: Inclusion checked with probability 0.99 in 0.014008728 seconds [ Info: Simplifying generating set. Simplification level: strong [ Info: Search for polynomial generators concluded in 0.050001848 [ Info: Computing 5 Groebner bases for degrees (3, 3) for block orderings [ Info: Computed Groebner bases in 2.196301618 seconds [ Info: Selecting generators in 0.008014184 [ Info: Inclusion checked with probability 0.99 in 0.01379242 seconds [ Info: Simplifying generating set. Simplification level: standard [ Info: Search for polynomial generators concluded in 0.031492173 [ Info: Selecting generators in 0.016542734 [ Info: Inclusion checked with probability 0.99 in 0.005215461 seconds [ Info: Simplifying generating set. Simplification level: strong [ Info: Search for polynomial generators concluded in 0.031527733 [ Info: Computing 6 Groebner bases for degrees (3, 3) for block orderings [ Info: Computed Groebner bases in 1.225718415 seconds [ Info: Selecting generators in 0.030068217 [ Info: Inclusion checked with probability 0.99 in 0.005055212 seconds Test Summary: | Pass Total Time All the tests | 166 166 11m27.4s RationalFunctionField | 2 2 2m09.9s Transcendence basis computations and algebraicity checks | 13 13 8.7s RationalFunctionField: constructive field membership (basic) | 6 6 1m20.8s RationalFunctionField: constructive field membership | 91 91 14.8s RationalFunctionField: simplification | 1 1 2m30.0s RationalFunctionField: membership | 24 24 2m05.1s Linear relations over the rationals | 10 10 32.6s OMS raw ideal generators | 4 4 4.5s Rational function comparison | 7 7 1.6s RationalFunctionField: simplification | 8 8 2m15.1s 687.857186 seconds (318.29 M allocations: 19.697 GiB, 3.28% gc time, 70.92% compilation time: <1% of which was recompilation) Testing RationalFunctionFields tests passed Testing completed after 709.34s PkgEval succeeded after 939.94s