Package evaluation to test RationalFunctionFields on Julia 1.14.0-DEV.3128 (f573e2bf71*) started at 2026-09-06T19:19:23.361 ################################################################################ # Set-up # Installing PkgEval dependencies (TestEnv)... Activating project at `~/.julia/environments/v1.14` Set-up completed after 13.54s ################################################################################ # Installation # Installing RationalFunctionFields... Resolving package versions... Updating `~/.julia/environments/v1.14/Project.toml` [73480bc8] + RationalFunctionFields v0.3.4 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 [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 [2edaba10] + Nemo v0.56.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 [73480bc8] + RationalFunctionFields v0.3.4 [2b935e18] + SmallCollections v0.6.3 ⌅ [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.12.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 [cf7118a7] + UUIDs v1.11.0 [4ec0a83e] + Unicode v1.11.0 [e66e0078] + CompilerSupportLibraries_jll v1.5.7+0 [781609d7] + GMP_jll v6.3.0+5 [3a97d323] + MPFR_jll v4.2.2+1 [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.12s ################################################################################ # Precompilation # Precompiling PkgEval dependencies... Precompiling package dependencies... Precompiling project... 102.0 s ✓ Groebner 10.0 s ✓ ParamPunPam 11.0 s ✓ RationalFunctionFields 3 dependencies successfully precompiled in 123 seconds. 43 already precompiled. Precompilation completed after 142.28s ################################################################################ # Testing # Testing RationalFunctionFields Status `/tmp/jl_9yb7mm/Project.toml` [c3fe647b] AbstractAlgebra v0.50.2 [861a8166] Combinatorics v1.1.0 [0b43b601] Groebner v0.10.6 [2edaba10] Nemo v0.56.1 [3e851597] ParamPunPam v0.5.8 [73480bc8] RationalFunctionFields v0.3.4 [98d24dd4] TestSetExtensions v4.0.3 ⌅ [a759f4b9] TimerOutputs v0.5.29 [37e2e46d] LinearAlgebra v1.14.0 [9a3f8284] Random v1.11.0 [8dfed614] Test v1.11.0 Status `/tmp/jl_9yb7mm/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 [ab62b9b5] DeepDiffs v1.2.0 [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 [2edaba10] Nemo v0.56.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 [73480bc8] RationalFunctionFields v0.3.4 [2b935e18] SmallCollections v0.6.3 [98d24dd4] TestSetExtensions v4.0.3 ⌅ [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.12.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+5 [3a97d323] MPFR_jll v4.2.2+1 [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... [ Info: Testing started ┌ Info: Names for generators were not provided, so they have been generated as follows: │ 64__Tag_3 = (x^3 + y^3 + z^3)//(x + y + z) │ 64__Tag_1 = (x^2 + y^2 + z^2)//(x + y + z) └ 64__Tag_2 = x + y + z ┌ Info: Names for generators were not provided, so they have been generated as follows: │ 49__Tag_3 = x*y*z │ 49__Tag_1 = x + y + z └ 49__Tag_2 = x*y + x*z + y*z ┌ Info: Names for generators were not provided, so they have been generated as follows: │ 154__Tag_3 = a + b + c │ 154__Tag_1 = a └ 154__Tag_2 = b ┌ Info: Names for generators were not provided, so they have been generated as follows: │ 111__Tag_3 = a + b + c │ 111__Tag_1 = a └ 111__Tag_2 = b ┌ Info: Names for generators were not provided, so they have been generated as follows: │ 205__Tag_3 = 5*a │ 205__Tag_1 = 2*c └ 205__Tag_2 = 3*b ┌ Info: Names for generators were not provided, so they have been generated as follows: │ 8__Tag_1 = a + b + c └ 8__Tag_2 = a^2 + b^2 + c^2 ┌ Info: Names for generators were not provided, so they have been generated as follows: │ 119__Tag_3 = a^4 + b^4 │ 119__Tag_1 = a^2 + b^2 └ 119__Tag_2 = a^3 + b^3 ┌ Info: Names for generators were not provided, so they have been generated as follows: └ 210__Tag_1 = T1^2 ┌ Info: Names for generators were not provided, so they have been generated as follows: │ 21__Tag_3 = _t │ 21__Tag_1 = T1 └ 21__Tag_2 = t ┌ Info: Names for generators were not provided, so they have been generated as follows: │ 146__Tag_3 = x │ 146__Tag_1 = x - 1 └ 146__Tag_2 = 1//(x^5 - 1) ┌ Info: Names for generators were not provided, so they have been generated as follows: └ 69__Tag_1 = x^2 ┌ Info: Names for generators were not provided, so they have been generated as follows: │ 36__Tag_3 = x^4 + y^4 │ 36__Tag_1 = x^2 + y^2 └ 36__Tag_2 = x^3 + y^3 ┌ Info: Names for generators were not provided, so they have been generated as follows: │ 178__Tag_1 = x1 │ 178__Tag_2 = a │ 178__Tag_5 = x2//(a + b) │ 178__Tag_4 = c//x2 └ 178__Tag_3 = a*c + c^2 ┌ Info: Names for generators were not provided, so they have been generated as follows: │ 174__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) │ 174__Tag_12 = (-2*alpha*beta_W*gamma - 2*alpha*beta_W*zeta - 3*beta_I*gamma*zeta - 2*beta_I*zeta^2)//alpha │ 174__Tag_4 = (alpha*beta_W + beta_I*zeta)//beta_I │ 174__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) │ 174__Tag_1 = 1 │ 174__Tag_10 = (-alpha^2*beta_W^2 - 2*alpha*beta_I*beta_W*zeta - beta_I^2*zeta^2)//(alpha*beta_I) │ 174__Tag_6 = (-alpha*beta_W - beta_I*zeta)//beta_I │ 174__Tag_7 = (-2*alpha*beta_W - 2*beta_I*zeta)//alpha │ 174__Tag_2 = -1 │ 174__Tag_9 = (-alpha*beta_W*gamma - alpha*beta_W*zeta - beta_I*zeta^2)//beta_I │ 174__Tag_3 = -beta_I//alpha │ 174__Tag_8 = (alpha*beta_W*gamma + alpha*beta_W*zeta + beta_I*zeta^2)//beta_I └ 174__Tag_5 = (-beta_I*gamma - beta_I*zeta)//alpha [ Info: Search for polynomial generators concluded in 16.780766284 [ Info: Search for polynomial generators concluded in 0.94635721 [ Info: Search for polynomial generators concluded in 0.002021421 [ Info: Search for polynomial generators concluded in 0.00429023 [ Info: Search for polynomial generators concluded in 0.000826042 [ Info: Search for polynomial generators concluded in 0.077483287 [ Info: Search for polynomial generators concluded in 0.893190249 [ Info: Search for polynomial generators concluded in 0.002877934 [ Info: Search for polynomial generators concluded in 3.486060303 [ Info: Search for polynomial generators concluded in 1.259704556 [ 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:13 ✓ # Computing specializations.. Time: 0:00:15 [ Info: Search for polynomial generators concluded in 0.008864909 [ Info: Selecting generators in 0.018766437 [ Info: Inclusion checked with probability 0.99 in 0.003986423 seconds [ Info: Simplifying generating set. Simplification level: standard [ Info: Search for polynomial generators concluded in 0.009176446 [ Info: Inclusion checked with probability 0.99 in 0.003757015 seconds [ Info: Simplifying generating set. Simplification level: standard [ Info: Search for polynomial generators concluded in 0.006897316 [ Info: Selecting generators in 0.001780584 [ Info: Inclusion checked with probability 0.99 in 0.002865244 seconds [ Info: Simplifying generating set. Simplification level: standard [ Info: Search for polynomial generators concluded in 0.85587808 [ Info: Selecting generators in 0.173247755 [ Info: Inclusion checked with probability 0.99 in 0.00440632 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.042039253 [ Info: Selecting generators in 0.020823148 [ Info: Inclusion checked with probability 0.99 in 0.004574888 seconds [ Info: Simplifying generating set. Simplification level: standard [ Info: Search for polynomial generators concluded in 0.006250152 [ Info: Selecting generators in 0.000582815 [ Info: Inclusion checked with probability 0.99 in 0.002656496 seconds [ Info: Simplifying generating set. Simplification level: strong [ Info: Search for polynomial generators concluded in 0.00650079 [ Info: Computing 3 Groebner bases for degrees (3, 3) for block orderings ⌜ # Computing specializations.. Time: 0:00:31 ✓ # Computing specializations.. Time: 0:00:31 [ Info: Computed Groebner bases in 40.718957592 seconds [ Info: Selecting generators in 0.000645354 [ Info: Inclusion checked with probability 0.99 in 0.003632626 seconds [ Info: Simplifying generating set. Simplification level: standard [ Info: Search for polynomial generators concluded in 0.216767714 [ Info: Selecting generators in 0.007424902 [ Info: Inclusion checked with probability 0.99 in 0.012692873 seconds [ Info: Simplifying generating set. Simplification level: strong [ Info: Search for polynomial generators concluded in 0.050132528 [ Info: Computing 5 Groebner bases for degrees (3, 3) for block orderings [ Info: Computed Groebner bases in 2.112358439 seconds [ Info: Selecting generators in 0.008402532 [ Info: Inclusion checked with probability 0.99 in 0.011563304 seconds [ Info: Simplifying generating set. Simplification level: standard [ Info: Search for polynomial generators concluded in 0.042017323 [ Info: Selecting generators in 0.017813476 [ Info: Inclusion checked with probability 0.99 in 0.005658508 seconds [ Info: Simplifying generating set. Simplification level: strong [ Info: Search for polynomial generators concluded in 0.043635388 [ Info: Computing 6 Groebner bases for degrees (3, 3) for block orderings [ Info: Computed Groebner bases in 0.947180678 seconds [ Info: Selecting generators in 0.035108557 [ Info: Inclusion checked with probability 0.99 in 0.005304482 seconds Test Summary: | Pass Total Time All the tests | 168 168 8m29.8s RationalFunctionField | 2 2 1m28.7s Transcendence basis computations and algebraicity checks | 13 13 7.4s RationalFunctionField: constructive field membership (basic) | 6 6 1m02.7s RationalFunctionField: constructive field membership | 91 91 12.3s RationalFunctionField: simplification | 1 1 1m30.8s RationalFunctionField: membership | 24 24 1m34.7s Linear relations over the rationals | 10 10 27.2s OMS raw ideal generators | 4 4 4.9s Rational function comparison | 7 7 1.4s RationalFunctionField: simplification | 10 10 1m56.8s 511.327807 seconds (464.12 M allocations: 31.946 GiB, 3.60% gc time, 73.22% compilation time: <1% of which was recompilation) Testing RationalFunctionFields tests passed Testing completed after 529.88s PkgEval succeeded after 716.08s