Package evaluation of RationalFunctionFields on Julia 1.13.0-DEV.1222 (39e1473f3b*) started at 2025-09-30T14:54:23.927


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

Installing PkgEval dependencies (TestEnv)...

Set-up completed after 9.4s


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

Installing RationalFunctionFields...
   Resolving package versions...
    Updating `~/.julia/environments/v1.13/Project.toml`
  [73480bc8] + RationalFunctionFields v0.2.1
    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.2.1
  [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 5.72s


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

Precompiling PkgEval dependencies...

Precompiling package dependencies...

Precompilation completed after 28.33s


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

     Testing RationalFunctionFields
      Status `/tmp/jl_tR9XYG/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.2.1
⌅ [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_tR9XYG/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.2.1
⌅ [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 they have been generated as follows:
│ 90__Tag_3 = (x^3 + y^3 + z^3)//(x + y + z)
│ 90__Tag_1 = (x^2 + y^2 + z^2)//(x + y + z)
└ 90__Tag_2 = x + y + z
┌ Info: Names for generators were not provided, so they have been generated as follows:
│ 33__Tag_3 = x*y*z
│ 33__Tag_1 = x + y + z
└ 33__Tag_2 = x*y + x*z + y*z
┌ Info: Names for generators were not provided, so they have been generated as follows:
│ 47__Tag_3 = a + b + c
│ 47__Tag_1 = a
└ 47__Tag_2 = b
┌ Info: Names for generators were not provided, so they have been generated as follows:
│ 85__Tag_3 = a + b + c
│ 85__Tag_1 = a
└ 85__Tag_2 = b
┌ Info: Names for generators were not provided, so they have been generated as follows:
│ 156__Tag_3 = 5*a
│ 156__Tag_1 = 2*c
└ 156__Tag_2 = 3*b
┌ Info: Names for generators were not provided, so they have been generated as follows:
│ 64__Tag_1 = a + b + c
└ 64__Tag_2 = a^2 + b^2 + c^2
┌ Info: Names for generators were not provided, so they have been generated as follows:
│ 235__Tag_3 = a^4 + b^4
│ 235__Tag_1 = a^2 + b^2
└ 235__Tag_2 = a^3 + b^3
┌ Info: Names for generators were not provided, so they have been generated as follows:
└ 255__Tag_1 = T1^2
┌ Info: Names for generators were not provided, so they have been generated as follows:
│ 26__Tag_3 = _t
│ 26__Tag_1 = T1
└ 26__Tag_2 = t
┌ Info: Names for generators were not provided, so they have been generated as follows:
│ 219__Tag_3 = x
│ 219__Tag_1 = x - 1
└ 219__Tag_2 = x^5 - 1
┌ Info: Names for generators were not provided, so they have been generated as follows:
└ 147__Tag_1 = x^2
┌ Info: Names for generators were not provided, so they have been generated as follows:
│ 140__Tag_3 = x^4 + y^4
│ 140__Tag_1 = x^2 + y^2
└ 140__Tag_2 = x^3 + y^3
┌ Info: Names for generators were not provided, so they have been generated as follows:
│ 102__Tag_1 = x1
│ 102__Tag_2 = a
│ 102__Tag_5 = (a + b)//x2
│ 102__Tag_4 = c//x2
└ 102__Tag_3 = a*c + c^2
[ Info: Search for polynomial generators concluded in 14.800059195
[ Info: Search for polynomial generators concluded in 1.100288434
[ Info: Search for polynomial generators concluded in 0.001747803
[ Info: Search for polynomial generators concluded in 0.004479448
[ Info: Search for polynomial generators concluded in 0.000871632
[ Info: Search for polynomial generators concluded in 0.074907926
[ Info: Search for polynomial generators concluded in 0.884340505
[ Info: Search for polynomial generators concluded in 0.002406298
[ Info: Search for polynomial generators concluded in 3.034139147
[ Info: Search for polynomial generators concluded in 1.204905624
[ Info: Simplifying generating set. Simplification level: standard

⌜ # Computing specializations..     Time: 0:00:10
✓ # Computing specializations..     Time: 0:00:12
[ Info: Search for polynomial generators concluded in 0.00858802
[ Info: Selecting generators in 0.009421112
[ Info: Inclusion checked with probability 0.99 in 0.003513547 seconds
[ Info: Simplifying generating set. Simplification level: strong
[ Info: Search for polynomial generators concluded in 0.007158993
[ 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 47.217427172 seconds
[ Info: Selecting generators in 0.000759483
[ Info: Inclusion checked with probability 0.99 in 0.003503668 seconds
[ Info: Simplifying generating set. Simplification level: standard
[ Info: Search for polynomial generators concluded in 0.279425773
[ Info: Selecting generators in 0.009324873
[ Info: Inclusion checked with probability 0.99 in 0.01290117 seconds
[ Info: Simplifying generating set. Simplification level: strong
[ Info: Search for polynomial generators concluded in 0.046304938
[ Info: Computing 5 Groebner bases for degrees (3, 3) for block orderings
[ Info: Computed Groebner bases in 2.213648214 seconds
[ Info: Selecting generators in 0.008146004
[ Info: Inclusion checked with probability 0.99 in 0.012539383 seconds
Test Summary:                                                  | Pass  Total      Time
All the tests                                                  |  147    147  10m20.0s
  RationalFunctionField                                        |    2      2   1m19.8s
  Transcendence basis computations and algebraicity checks     |   13     13      7.3s
  RationalFunctionField: constructive field membership (basic) |    6      6     48.5s
  RationalFunctionField: constructive field membership         |   82     82      4.2s
  RationalFunctionField: simplification                        |    1      1   4m37.5s
  RationalFunctionField: membership                            |   22     22   1m00.7s
  Linear relations over the rationals                          |   10     10     28.9s
  Rational function comparison                                 |    7      7      1.3s
  RationalFunctionField: simplification                        |    4      4   1m48.8s
620.455138 seconds (318.47 M allocations: 75.328 GiB, 2.43% gc time, 55.21% compilation time: <1% of which was recompilation)
     Testing RationalFunctionFields tests passed 

Testing completed after 637.2s

PkgEval succeeded after 695.07s