Package evaluation to test RationalFunctionFields on Julia 1.13.0-DEV.1319 (9cddfda8ef*) started at 2025-10-16T14:38:03.113


################################################################################
# Set-up
#

Installing PkgEval dependencies (TestEnv)...

Set-up completed after 6.39s


################################################################################
# Installation
#

Installing RationalFunctionFields...
   Resolving package versions...
    Updating `~/.julia/environments/v1.13/Project.toml`
  [73480bc8] + RationalFunctionFields v0.2.2
    Updating `~/.julia/environments/v1.13/Manifest.toml`
  [c3fe647b] + AbstractAlgebra v0.47.3
  [a9b6321e] + Atomix v1.1.2
  [861a8166] + Combinatorics v1.0.3
  [e2ba6199] + ExprTools v0.1.10
  [0b43b601] + Groebner v0.10.0
  [18e54dd8] + IntegerMathUtils v0.1.3
  [692b3bcd] + JLLWrappers v1.7.1
  [1914dd2f] + MacroTools v0.5.16
  [2edaba10] + Nemo v0.52.1
  [3e851597] + ParamPunPam v0.5.5
  [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.2.2
  [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.15.0+0

Installation completed after 3.81s


################################################################################
# Precompilation
#

Precompiling PkgEval dependencies...

Precompiling package dependencies...

Precompilation completed after 139.75s


################################################################################
# Testing
#

     Testing RationalFunctionFields
      Status `/tmp/jl_5VArue/Project.toml`
  [c3fe647b] AbstractAlgebra v0.47.3
  [861a8166] Combinatorics v1.0.3
  [0b43b601] Groebner v0.10.0
  [2edaba10] Nemo v0.52.1
  [3e851597] ParamPunPam v0.5.5
  [73480bc8] RationalFunctionFields v0.2.2
⌅ [98d24dd4] TestSetExtensions v2.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_5VArue/Manifest.toml`
  [c3fe647b] AbstractAlgebra v0.47.3
  [a9b6321e] Atomix v1.1.2
  [861a8166] Combinatorics v1.0.3
  [ab62b9b5] DeepDiffs v1.2.0
  [e2ba6199] ExprTools v0.1.10
  [0b43b601] Groebner v0.10.0
  [18e54dd8] IntegerMathUtils v0.1.3
  [692b3bcd] JLLWrappers v1.7.1
  [1914dd2f] MacroTools v0.5.16
  [2edaba10] Nemo v0.52.1
  [3e851597] ParamPunPam v0.5.5
  [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.2.2
⌅ [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.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:
│ 184__Tag_3 = (x^3 + y^3 + z^3)//(x + y + z)
│ 184__Tag_1 = (x^2 + y^2 + z^2)//(x + y + z)
└ 184__Tag_2 = x + y + z
┌ Info: Names for generators were not provided, so they have been generated as follows:
│ 2__Tag_3 = x*y*z
│ 2__Tag_1 = x + y + z
└ 2__Tag_2 = x*y + x*z + y*z
┌ Info: Names for generators were not provided, so they have been generated as follows:
│ 202__Tag_3 = a + b + c
│ 202__Tag_1 = a
└ 202__Tag_2 = b
┌ Info: Names for generators were not provided, so they have been generated as follows:
│ 214__Tag_3 = a + b + c
│ 214__Tag_1 = a
└ 214__Tag_2 = b
┌ Info: Names for generators were not provided, so they have been generated as follows:
│ 204__Tag_3 = 5*a
│ 204__Tag_1 = 2*c
└ 204__Tag_2 = 3*b
┌ Info: Names for generators were not provided, so they have been generated as follows:
│ 114__Tag_1 = a + b + c
└ 114__Tag_2 = a^2 + b^2 + c^2
┌ Info: Names for generators were not provided, so they have been generated as follows:
│ 138__Tag_3 = a^4 + b^4
│ 138__Tag_1 = a^2 + b^2
└ 138__Tag_2 = a^3 + b^3
┌ Info: Names for generators were not provided, so they have been generated as follows:
└ 168__Tag_1 = T1^2
┌ Info: Names for generators were not provided, so they have been generated as follows:
│ 233__Tag_3 = _t
│ 233__Tag_1 = T1
└ 233__Tag_2 = t
┌ Info: Names for generators were not provided, so they have been generated as follows:
│ 23__Tag_3 = x
│ 23__Tag_1 = x - 1
└ 23__Tag_2 = x^5 - 1
┌ Info: Names for generators were not provided, so they have been generated as follows:
└ 203__Tag_1 = x^2
┌ Info: Names for generators were not provided, so they have been generated as follows:
│ 92__Tag_3 = x^4 + y^4
│ 92__Tag_1 = x^2 + y^2
└ 92__Tag_2 = x^3 + y^3
┌ Info: Names for generators were not provided, so they have been generated as follows:
│ 255__Tag_1 = x1
│ 255__Tag_2 = a
│ 255__Tag_5 = (a + b)//x2
│ 255__Tag_4 = c//x2
└ 255__Tag_3 = a*c + c^2
[ Info: Search for polynomial generators concluded in 15.031805952
[ Info: Search for polynomial generators concluded in 1.158745068
[ Info: Search for polynomial generators concluded in 0.001806542
[ Info: Search for polynomial generators concluded in 0.004650555
[ Info: Search for polynomial generators concluded in 0.000797782
[ Info: Search for polynomial generators concluded in 0.067085183
[ Info: Search for polynomial generators concluded in 0.981857791
[ Info: Search for polynomial generators concluded in 0.002653784
[ Info: Search for polynomial generators concluded in 3.655881365
[ Info: Search for polynomial generators concluded in 1.2238828
[ 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.010787114
[ Info: Selecting generators in 0.009402678
[ Info: Inclusion checked with probability 0.99 in 0.00501973 seconds
[ Info: Simplifying generating set. Simplification level: strong
[ Info: Search for polynomial generators concluded in 0.008965312
[ Info: Computing 3 Groebner bases for degrees (3, 3) for block orderings

⌜ # Computing specializations..     Time: 0:00:36
✓ # Computing specializations..     Time: 0:00:36
[ Info: Computed Groebner bases in 48.352410136 seconds
[ Info: Selecting generators in 0.000742423
[ Info: Inclusion checked with probability 0.99 in 0.003324557 seconds
[ Info: Simplifying generating set. Simplification level: standard
[ Info: Search for polynomial generators concluded in 0.269229551
[ Info: Selecting generators in 0.011396338
[ Info: Inclusion checked with probability 0.99 in 0.012821274 seconds
[ Info: Simplifying generating set. Simplification level: strong
[ Info: Search for polynomial generators concluded in 0.044730052
[ Info: Computing 5 Groebner bases for degrees (3, 3) for block orderings

⌜ # Computing specializations..     Time: 0:00:00
✓ # Computing specializations..     Time: 0:00:00
[ Info: Computed Groebner bases in 2.025055959 seconds
[ Info: Selecting generators in 0.00717241
[ Info: Inclusion checked with probability 0.99 in 0.012290429 seconds
Test Summary:                                                  | Pass  Total      Time
All the tests                                                  |  149    149  11m17.3s
  RationalFunctionField                                        |    2      2   1m11.9s
  Transcendence basis computations and algebraicity checks     |   13     13      4.9s
  RationalFunctionField: constructive field membership (basic) |    6      6     59.2s
  RationalFunctionField: constructive field membership         |   82     82      5.1s
  RationalFunctionField: simplification                        |    1      1   4m30.9s
  RationalFunctionField: membership                            |   24     24   1m56.6s
  Linear relations over the rationals                          |   10     10     30.4s
  Rational function comparison                                 |    7      7      1.3s
  RationalFunctionField: simplification                        |    4      4   1m55.2s
677.693401 seconds (336.13 M allocations: 76.487 GiB, 2.39% gc time, 53.10% compilation time: <1% of which was recompilation)
     Testing RationalFunctionFields tests passed 

Testing completed after 692.95s

PkgEval succeeded after 862.2s