Package evaluation to test ParamPunPam on Julia 1.14.0-DEV.1893 (b4aba01002*) started at 2026-03-15T15:47:07.200 ################################################################################ # Set-up # Installing PkgEval dependencies (TestEnv)... Activating project at `~/.julia/environments/v1.14` Set-up completed after 14.22s ################################################################################ # Installation # Installing ParamPunPam... Resolving package versions... Updating `~/.julia/environments/v1.14/Project.toml` [3e851597] + ParamPunPam v0.5.7 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 [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.55s ################################################################################ # Precompilation # Precompiling PkgEval dependencies... Precompiling package dependencies... Precompiling packages... 1534.9 ms ✓ TestSetExtensions 147332.4 ms ✓ Groebner 13176.7 ms ✓ ParamPunPam 3 dependencies successfully precompiled in 163 seconds. 46 already precompiled. 9 dependencies precompiled but different versions are currently loaded (Base64, Dates, JuliaSyntaxHighlighting, Logging, Markdown, Printf, StyledStrings, TOML and UUIDs). Restart julia to access the new versions. Otherwise, 22 dependents of these packages may trigger further precompilation to work with the unexpected versions. Precompilation completed after 187.32s ################################################################################ # Testing # Testing ParamPunPam Status `/tmp/jl_JLoT6R/Project.toml` [c3fe647b] AbstractAlgebra v0.48.5 [6e4b80f9] BenchmarkTools v1.6.3 [0b43b601] Groebner v0.10.3 [2edaba10] Nemo v0.54.1 [3e851597] ParamPunPam v0.5.7 [27ebfcd6] Primes v0.5.7 [92933f4c] ProgressMeter v1.11.0 ⌅ [98d24dd4] TestSetExtensions v2.0.0 [56ddb016] Logging v1.11.0 [9a3f8284] Random v1.11.0 [8dfed614] Test v1.11.0 Status `/tmp/jl_JLoT6R/Manifest.toml` [c3fe647b] AbstractAlgebra v0.48.5 [a9b6321e] Atomix v1.1.2 [6e4b80f9] BenchmarkTools v1.6.3 [861a8166] Combinatorics v1.1.0 [34da2185] Compat v4.18.1 [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 [682c06a0] JSON v1.4.0 [1914dd2f] MacroTools v0.5.16 [2edaba10] Nemo v0.54.1 [3e851597] ParamPunPam v0.5.7 [69de0a69] Parsers v2.8.3 [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 [10745b16] Statistics v1.11.1 [ec057cc2] StructUtils v2.6.3 ⌅ [98d24dd4] TestSetExtensions v2.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 [9abbd945] Profile 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 [cf7118a7] UUIDs 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... discrete-log: div-and-conq: fastgcd: ben-or-tiwari: interpolators: ┌ Warning: Testing ParamPunPam.VanDerHoevenLecerf └ @ Main ~/.julia/packages/ParamPunPam/nx0fr/test/interpolators.jl:43 ┌ Info: └ case = 1 ┌ Info: └ case = 922337203685477608 ┌ Info: └ case = 0 ┌ Info: └ case = 512409557603043116 ┌ Info: └ case = x1 + x2 + 5 ┌ Info: └ case = 3074457345618258693*x1 + 3074457345618258693*x2 + 1537228672809129348 ┌ Info: └ case = x1//(x1 + 9) ┌ Info: └ case = 1//(x1 + 9) ┌ Info: └ case = 1//(x1*x2) ┌ Info: └ case = 1//(x1^3*x2^3) ┌ Info: └ case = (x1 + 2)//(x1 + 3) ┌ Info: └ case = (x1^5 + 5*x1^4*x2 + 10*x1^3*x2^2 + 10*x1^2*x2^3 + 5*x1*x2^4 + x2^5)//(x1^8 + 8*x1^7*x2 + 40*x1^7 + 28*x1^6*x2^2 + 280*x1^6*x2 + 700*x1^6 + 56*x1^5*x2^3 + 840*x1^5*x2^2 + 4200*x1^5*x2 + 7000*x1^5 + 70*x1^4*x2^4 + 1400*x1^4*x2^3 + 10500*x1^4*x2^2 + 35000*x1^4*x2 + 43750*x1^4 + 56*x1^3*x2^5 + 1400*x1^3*x2^4 + 14000*x1^3*x2^3 + 70000*x1^3*x2^2 + 175000*x1^3*x2 + 175000*x1^3 + 28*x1^2*x2^6 + 840*x1^2*x2^5 + 10500*x1^2*x2^4 + 70000*x1^2*x2^3 + 262500*x1^2*x2^2 + 525000*x1^2*x2 + 437500*x1^2 + 8*x1*x2^7 + 280*x1*x2^6 + 4200*x1*x2^5 + 35000*x1*x2^4 + 175000*x1*x2^3 + 525000*x1*x2^2 + 875000*x1*x2 + 625000*x1 + x2^8 + 40*x2^7 + 700*x2^6 + 7000*x2^5 + 43750*x2^4 + 175000*x2^3 + 437500*x2^2 + 625000*x2 + 390625) ┌ Info: └ case = x1*x4 + 4611686018427388038*x2*x3 ┌ Info: └ case = (x1 + x2 + x3 + x4 + x5 + x6 + x7 + x8 + x9 + x10)//(x1*x2*x3*x4*x5*x6*x7*x8*x9*x10) ┌ Info: └ case = (x1 + x10)//(x1 + 4611686018427388038*x10 + 4611686018427388037) ┌ Info: └ case = (x1^5 + 5*x1^4*x3 + 5*x1^4*x5 + 5*x1^4*x7 + 10*x1^3*x3^2 + 20*x1^3*x3*x5 + 20*x1^3*x3*x7 + 10*x1^3*x5^2 + 20*x1^3*x5*x7 + 10*x1^3*x7^2 + 10*x1^2*x3^3 + 30*x1^2*x3^2*x5 + 30*x1^2*x3^2*x7 + 30*x1^2*x3*x5^2 + 60*x1^2*x3*x5*x7 + 30*x1^2*x3*x7^2 + 10*x1^2*x5^3 + 30*x1^2*x5^2*x7 + 30*x1^2*x5*x7^2 + 10*x1^2*x7^3 + 5*x1*x3^4 + 20*x1*x3^3*x5 + 20*x1*x3^3*x7 + 30*x1*x3^2*x5^2 + 60*x1*x3^2*x5*x7 + 30*x1*x3^2*x7^2 + 20*x1*x3*x5^3 + 60*x1*x3*x5^2*x7 + 60*x1*x3*x5*x7^2 + 20*x1*x3*x7^3 + 5*x1*x5^4 + 20*x1*x5^3*x7 + 30*x1*x5^2*x7^2 + 20*x1*x5*x7^3 + 5*x1*x7^4 + x3^5 + 5*x3^4*x5 + 5*x3^4*x7 + 10*x3^3*x5^2 + 20*x3^3*x5*x7 + 10*x3^3*x7^2 + 10*x3^2*x5^3 + 30*x3^2*x5^2*x7 + 30*x3^2*x5*x7^2 + 10*x3^2*x7^3 + 5*x3*x5^4 + 20*x3*x5^3*x7 + 30*x3*x5^2*x7^2 + 20*x3*x5*x7^3 + 5*x3*x7^4 + x5^5 + 5*x5^4*x7 + 10*x5^3*x7^2 + 10*x5^2*x7^3 + 5*x5*x7^4 + x7^5)//(x1 + 2) ┌ Info: └ case = (x1 + x2 + x3 + x4 + x5 + x6 + x7 + x8 + x9 + x10)//(x1*x2*x3*x4*x5*x6*x7*x8*x9*x10) ┌ Info: └ case = (x1 + x2 + x3 + x4 + x5 + x6 + x7 + x8 + x9 + x10)//(x1*x2*x3*x4*x5*x6*x7*x8*x9*x10 + x1 + x2 + x3 + x4 + x5 + x6 + x7 + x8 + x9 + x10 + 2) ┌ Info: └ case = (x1 + x2 + x3 + x4 + x5 + x6 + x7 + x8 + x9 + x10 + 3)//(x1*x2*x3*x4*x5*x6*x7*x8*x9*x10) ┌ Info: └ case = (1976436865040309160*x1 + 1317624576693539440*x2 + 3294061441733848600*x3 + 3952873730080618319)//(x4 + 2635249153387078881*x5 + 3952873730080618321*x6) ┌ Warning: Testing ParamPunPam.CuytLee └ @ Main ~/.julia/packages/ParamPunPam/nx0fr/test/interpolators.jl:43 ┌ Info: └ case = 1 ┌ Info: └ case = 922337203685477608 ┌ Info: └ case = 0 ┌ Info: └ case = 512409557603043116 ┌ Info: └ case = x1 + x2 + 5 ┌ Info: └ case = 3074457345618258693*x1 + 3074457345618258693*x2 + 1537228672809129348 ┌ Info: └ case = x1//(x1 + 9) ┌ Info: └ case = 1//(x1 + 9) ┌ Info: └ case = 1//(x1*x2) ┌ Info: └ case = 1//(x1^3*x2^3) ┌ Info: └ case = (x1 + 2)//(x1 + 3) ┌ Info: └ case = (x1^5 + 5*x1^4*x2 + 10*x1^3*x2^2 + 10*x1^2*x2^3 + 5*x1*x2^4 + x2^5)//(x1^8 + 8*x1^7*x2 + 40*x1^7 + 28*x1^6*x2^2 + 280*x1^6*x2 + 700*x1^6 + 56*x1^5*x2^3 + 840*x1^5*x2^2 + 4200*x1^5*x2 + 7000*x1^5 + 70*x1^4*x2^4 + 1400*x1^4*x2^3 + 10500*x1^4*x2^2 + 35000*x1^4*x2 + 43750*x1^4 + 56*x1^3*x2^5 + 1400*x1^3*x2^4 + 14000*x1^3*x2^3 + 70000*x1^3*x2^2 + 175000*x1^3*x2 + 175000*x1^3 + 28*x1^2*x2^6 + 840*x1^2*x2^5 + 10500*x1^2*x2^4 + 70000*x1^2*x2^3 + 262500*x1^2*x2^2 + 525000*x1^2*x2 + 437500*x1^2 + 8*x1*x2^7 + 280*x1*x2^6 + 4200*x1*x2^5 + 35000*x1*x2^4 + 175000*x1*x2^3 + 525000*x1*x2^2 + 875000*x1*x2 + 625000*x1 + x2^8 + 40*x2^7 + 700*x2^6 + 7000*x2^5 + 43750*x2^4 + 175000*x2^3 + 437500*x2^2 + 625000*x2 + 390625) ┌ Info: └ case = x1*x4 + 4611686018427388038*x2*x3 ┌ Info: └ case = (x1 + x2 + x3 + x4 + x5 + x6 + x7 + x8 + x9 + x10)//(x1*x2*x3*x4*x5*x6*x7*x8*x9*x10) ┌ Info: └ case = (x1 + x10)//(x1 + 4611686018427388038*x10 + 4611686018427388037) ┌ Info: └ case = (x1^5 + 5*x1^4*x3 + 5*x1^4*x5 + 5*x1^4*x7 + 10*x1^3*x3^2 + 20*x1^3*x3*x5 + 20*x1^3*x3*x7 + 10*x1^3*x5^2 + 20*x1^3*x5*x7 + 10*x1^3*x7^2 + 10*x1^2*x3^3 + 30*x1^2*x3^2*x5 + 30*x1^2*x3^2*x7 + 30*x1^2*x3*x5^2 + 60*x1^2*x3*x5*x7 + 30*x1^2*x3*x7^2 + 10*x1^2*x5^3 + 30*x1^2*x5^2*x7 + 30*x1^2*x5*x7^2 + 10*x1^2*x7^3 + 5*x1*x3^4 + 20*x1*x3^3*x5 + 20*x1*x3^3*x7 + 30*x1*x3^2*x5^2 + 60*x1*x3^2*x5*x7 + 30*x1*x3^2*x7^2 + 20*x1*x3*x5^3 + 60*x1*x3*x5^2*x7 + 60*x1*x3*x5*x7^2 + 20*x1*x3*x7^3 + 5*x1*x5^4 + 20*x1*x5^3*x7 + 30*x1*x5^2*x7^2 + 20*x1*x5*x7^3 + 5*x1*x7^4 + x3^5 + 5*x3^4*x5 + 5*x3^4*x7 + 10*x3^3*x5^2 + 20*x3^3*x5*x7 + 10*x3^3*x7^2 + 10*x3^2*x5^3 + 30*x3^2*x5^2*x7 + 30*x3^2*x5*x7^2 + 10*x3^2*x7^3 + 5*x3*x5^4 + 20*x3*x5^3*x7 + 30*x3*x5^2*x7^2 + 20*x3*x5*x7^3 + 5*x3*x7^4 + x5^5 + 5*x5^4*x7 + 10*x5^3*x7^2 + 10*x5^2*x7^3 + 5*x5*x7^4 + x7^5)//(x1 + 2) ┌ Info: └ case = (x1 + x2 + x3 + x4 + x5 + x6 + x7 + x8 + x9 + x10)//(x1*x2*x3*x4*x5*x6*x7*x8*x9*x10) ┌ Info: └ case = (x1 + x2 + x3 + x4 + x5 + x6 + x7 + x8 + x9 + x10)//(x1*x2*x3*x4*x5*x6*x7*x8*x9*x10 + x1 + x2 + x3 + x4 + x5 + x6 + x7 + x8 + x9 + x10 + 2) ┌ Info: └ case = (x1 + x2 + x3 + x4 + x5 + x6 + x7 + x8 + x9 + x10 + 3)//(x1*x2*x3*x4*x5*x6*x7*x8*x9*x10) ┌ Info: └ case = (1976436865040309160*x1 + 1317624576693539440*x2 + 3294061441733848600*x3 + 3952873730080618319)//(x4 + 2635249153387078881*x5 + 3952873730080618321*x6) blackbox: utils: paramgb: ⌜ # Computing specializations.. Time: 0:01:01 ✓ # Computing specializations.. Time: 0:01:03 ⌜ # Computing specializations.. Time: 0:00:22 ✓ # Computing specializations.. Time: 0:00:22 ⌜ # Computing specializations.. Time: 0:00:24 ✓ # Computing specializations.. Time: 0:00:24 ⌜ # Computing specializations.. Time: 0:00:00 Points: 1105   ✓ # Computing specializations.. Time: 0:00:00 ⌜ # Computing specializations.. Time: 0:00:00 Points: 2   ✓ # Computing specializations.. Time: 0:00:00 ⌜ # Computing specializations.. Time: 0:00:00 Points: 1001   ✓ # Computing specializations.. Time: 0:00:00 ⌜ # Computing specializations.. Time: 0:00:00 ✓ # Computing specializations.. Time: 0:00:00 ⌜ # Computing specializations.. Time: 0:00:00 ✓ # Computing specializations.. Time: 0:00:00 ⌜ # Computing specializations.. Time: 0:00:00 Points: 1001   ✓ # Computing specializations.. Time: 0:00:00 ⌜ # Computing specializations.. Time: 0:00:00 Points: 1001   ✓ # Computing specializations.. Time: 0:00:00 ⌜ # Computing specializations.. Time: 0:00:10 ✓ # Computing specializations.. Time: 0:00:10 ⌜ # Computing specializations.. Time: 0:00:03 ✓ # Computing specializations.. Time: 0:00:03 ⌜ # Computing specializations.. Time: 0:00:09 ✓ # Computing specializations.. Time: 0:00:09 ⌜ # Computing specializations.. Time: 0:00:00 ✓ # Computing specializations.. Time: 0:00:00 ⌜ # Computing specializations.. Time: 0:00:25 ✓ # Computing specializations.. Time: 0:00:25 ⌜ # Computing specializations.. Time: 0:00:07 ✓ # Computing specializations.. Time: 0:00:07 ⌜ # Computing specializations.. Time: 0:00:08 ✓ # Computing specializations.. Time: 0:00:08 ⌜ # Computing specializations.. Time: 0:00:06 ✓ # Computing specializations.. Time: 0:00:06 ⌜ # Computing specializations.. Time: 0:00:06 ✓ # Computing specializations.. Time: 0:00:06 ⌜ # Computing specializations.. Time: 0:00:12 ✓ # Computing specializations.. Time: 0:00:12 [ Info: Correctness check failed, selecting next prime.. [ Info: Rational reconstruction failed, selecting next prime.. [ Info: Correctness check failed, selecting next prime.. [ Info: Rational reconstruction failed, selecting next prime.. [ Info: Correctness check failed, selecting next prime.. [ Info: Correctness check failed, selecting next prime.. [ Info: Correctness check failed, selecting next prime.. [ Info: Rational reconstruction failed, selecting next prime.. [ Info: Correctness check failed, selecting next prime.. [ Info: Correctness check failed, selecting next prime.. [ Info: Rational reconstruction failed, selecting next prime.. [ Info: Correctness check failed, selecting next prime.. [ Info: Rational reconstruction failed, selecting next prime.. [ Info: Correctness check failed, selecting next prime.. [ Info: Correctness check failed, selecting next prime.. [ Info: Rational reconstruction failed, selecting next prime.. [ Info: Rational reconstruction failed, selecting next prime.. [ Info: Correctness check failed, selecting next prime.. [ Info: Correctness check failed, selecting next prime.. [ Info: Rational reconstruction failed, selecting next prime.. [ Info: Correctness check failed, selecting next prime.. [ Info: Rational reconstruction failed, selecting next prime.. [ Info: Rational reconstruction failed, selecting next prime.. [ Info: Correctness check failed, selecting next prime.. [ Info: Correctness check failed, selecting next prime.. [ Info: Correctness check failed, selecting next prime.. [ Info: Correctness check failed, selecting next prime.. [ Info: Rational reconstruction failed, selecting next prime.. [ Info: Correctness check failed, selecting next prime.. [ Info: Correctness check failed, selecting next prime.. [ Info: Correctness check failed, selecting next prime.. [ Info: Rational reconstruction failed, selecting next prime.. [ Info: Rational reconstruction failed, selecting next prime.. [ Info: Correctness check failed, selecting next prime.. [ Info: Correctness check failed, selecting next prime.. [ Info: Rational reconstruction failed, selecting next prime.. [ Info: Rational reconstruction failed, selecting next prime.. [ Info: Rational reconstruction failed, selecting next prime.. [ Info: Correctness check failed, selecting next prime.. [ Info: Correctness check failed, selecting next prime.. [ Info: Correctness check failed, selecting next prime.. ⌜ # Computing specializations.. Time: 0:00:00 Points: 1001   ✓ # Computing specializations.. Time: 0:00:01 ⌜ # Computing specializations.. Time: 0:00:00 Points: 2745   ⌝ # Computing specializations.. Time: 0:00:00 Points: 5488   ⌟ # Computing specializations.. Time: 0:00:01 Points: 8206   ⌞ # Computing specializations.. Time: 0:00:02 Points: 11347   ✓ # Computing specializations.. Time: 0:00:02 logging: ┌ Debug: Constructing a blackbox from 2 input polynomials └ @ ParamPunPam ~/.julia/packages/ParamPunPam/nx0fr/src/groebner/blackboxes.jl:31 ┌ Debug: Computing parametric Groebner basis up to degrees (Inf, Inf) │ Ordering, input / target: degrevlex / InputOrdering │ Rational interpolator: VanDerHoevenLecerf │ Polynomial interpolator: PrimesBenOrTiwari │ Estimate degrees: true │ Assess correctness: true └ @ ParamPunPam ~/.julia/packages/ParamPunPam/nx0fr/src/groebner/paramgb.jl:101 ┌ Debug: Given 2 functions in Rational field(a, b, c)[x, y, z] └ @ ParamPunPam ~/.julia/packages/ParamPunPam/nx0fr/src/groebner/state.jl:24 ┌ Debug: Specializing at 3 points to guess the shape of the basis.. └ @ ParamPunPam ~/.julia/packages/ParamPunPam/nx0fr/src/groebner/paramgb.jl:199 ┌ Debug: Reducing modulo Finite field of characteristic 18446744073709551557.. └ @ ParamPunPam ~/.julia/packages/ParamPunPam/nx0fr/src/groebner/blackboxes.jl:49 ┌ Debug: The shape of the basis is: 2 polynomials └ @ ParamPunPam ~/.julia/packages/ParamPunPam/nx0fr/src/groebner/paramgb.jl:237 ┌ Debug: Monomials in the basis are: │ state.shape = │ 2-element Vector{Vector{fpMPolyRingElem}}: │ [y, z, 1] │ [x, 1] └ @ ParamPunPam ~/.julia/packages/ParamPunPam/nx0fr/src/groebner/paramgb.jl:238 ┌ Debug: Specializing at random points to guess the total degrees in parameters.. └ @ ParamPunPam ~/.julia/packages/ParamPunPam/nx0fr/src/groebner/paramgb.jl:248 ┌ Debug: Using 6 points.. └ @ ParamPunPam ~/.julia/packages/ParamPunPam/nx0fr/src/groebner/paramgb.jl:302 ┌ Debug: Using 10 points.. └ @ ParamPunPam ~/.julia/packages/ParamPunPam/nx0fr/src/groebner/paramgb.jl:302 ┌ Debug: Success! 10 points used. └ @ ParamPunPam ~/.julia/packages/ParamPunPam/nx0fr/src/groebner/paramgb.jl:359 ┌ Debug: The total degrees in the coefficients │ state.param_degrees = │ 2-element Vector{Vector{Tuple{Int64, Int64}}}: │ [(0, 0), (0, 0), (0, 0)] │ [(0, 0), (2, 1)] └ @ ParamPunPam ~/.julia/packages/ParamPunPam/nx0fr/src/groebner/paramgb.jl:360 ┌ Debug: Interpolating the exponents in parameters.. └ @ ParamPunPam ~/.julia/packages/ParamPunPam/nx0fr/src/groebner/paramgb.jl:368 ┌ Debug: Reducing modulo Finite field of characteristic 18446744073709551557.. └ @ ParamPunPam ~/.julia/packages/ParamPunPam/nx0fr/src/groebner/blackboxes.jl:49 ┌ Debug: Interpolating for degrees: │ Numerator: 2, Denominator: 1 └ @ ParamPunPam ~/.julia/packages/ParamPunPam/nx0fr/src/groebner/paramgb.jl:421 ┌ Debug: Using 10 points.. └ @ ParamPunPam ~/.julia/packages/ParamPunPam/nx0fr/src/groebner/paramgb.jl:450 ┌ Debug: Using 20 points.. └ @ ParamPunPam ~/.julia/packages/ParamPunPam/nx0fr/src/groebner/paramgb.jl:450 ┌ Debug: Checking interpolated coefficients at a random points. │ Point: fpFieldElem[11687144578699862117, 16327645203364698343, 13771382772829417348] │ Basis: fpMPolyRingElem[y + z + 1024, x + 10392712891970188313] │ Interpolated coeffs: Vector{Tuple{fpMPolyRingElem, fpMPolyRingElem}}[[(1, 1), (1, 1), (1024, 1)], [(1, 1), (a^2, b + c)]] │ The number of eval. points: 20 │ Global index: 21 └ @ ParamPunPam ~/.julia/packages/ParamPunPam/nx0fr/src/groebner/paramgb.jl:511 ┌ Debug: Success! 20 points used. └ @ ParamPunPam ~/.julia/packages/ParamPunPam/nx0fr/src/groebner/paramgb.jl:542 ┌ Debug: Basis interpolated exponents summary: │ Maximal interpolated degrees are: 2 for num. and 1 for den. │ Maximal number of interpolated terms are: 1 for num. and 2 for den. │ Points used: 20. └ @ ParamPunPam ~/.julia/packages/ParamPunPam/nx0fr/src/groebner/paramgb.jl:547 ┌ Debug: Recovering the coefficients.. └ @ ParamPunPam ~/.julia/packages/ParamPunPam/nx0fr/src/groebner/paramgb.jl:557 ┌ Debug: CRT-Reconstructed coefficients │ param_coeffs_crt = │ 2-element Vector{Vector{Tuple{Vector{BigInt}, Vector{BigInt}}}}: │ [([1], [1]), ([1], [1]), ([1024], [1])] │ [([1], [1]), ([1], [1, 1])] └ @ ParamPunPam ~/.julia/packages/ParamPunPam/nx0fr/src/groebner/state.jl:63 ┌ Debug: Reconstruction │ modulo = 18446744073709551557 │ bnd = 3037000499 └ @ ParamPunPam ~/.julia/packages/ParamPunPam/nx0fr/src/groebner/state.jl:145 ┌ Debug: QQ-Reconstructed coefficients │ coeffsrec = │ 3-element Vector{AbstractAlgebra.Generic.FracFieldElem{QQMPolyRingElem}}: │ 1 │ 1 │ 1024 └ @ ParamPunPam ~/.julia/packages/ParamPunPam/nx0fr/src/groebner/state.jl:171 ┌ Debug: QQ-Reconstructed coefficients │ coeffsrec = │ 2-element Vector{AbstractAlgebra.Generic.FracFieldElem{QQMPolyRingElem}}: │ 1 │ a^2//(b + c) └ @ ParamPunPam ~/.julia/packages/ParamPunPam/nx0fr/src/groebner/state.jl:171 ┌ Debug: Reducing modulo Finite field of characteristic 18446744073709551533.. └ @ ParamPunPam ~/.julia/packages/ParamPunPam/nx0fr/src/groebner/blackboxes.jl:49 ┌ Debug: Checking correctness at fpFieldElem[8970629694048836960, 5328941007299841518, 2415286888322569927] in Finite field of characteristic 18446744073709551533 └ @ ParamPunPam ~/.julia/packages/ParamPunPam/nx0fr/src/groebner/state.jl:186 ┌ Debug: Evaluated basis │ param_basis_specialized = │ 2-element Vector{fpMPolyRingElem}: │ y + z + 1024 │ x + 12767334042251571805 └ @ ParamPunPam ~/.julia/packages/ParamPunPam/nx0fr/src/groebner/state.jl:202 ┌ Debug: Evaluated generators │ generators_zp = │ 2-element Vector{fpMPolyRingElem}: │ y + z + 1024 │ 7744227895622411445*x + 3202135793122481877 └ @ ParamPunPam ~/.julia/packages/ParamPunPam/nx0fr/src/groebner/state.jl:203 ┌ Debug: Inclusion in correctness assessment │ inclusion = │ 2-element Vector{fpMPolyRingElem}: │ 0 │ 0 └ @ ParamPunPam ~/.julia/packages/ParamPunPam/nx0fr/src/groebner/state.jl:209 ┌ Debug: Success! Used 2 prime in total └ @ ParamPunPam ~/.julia/packages/ParamPunPam/nx0fr/src/groebner/paramgb.jl:569 ┌ Debug: Constructing a blackbox from 2 input polynomials └ @ ParamPunPam ~/.julia/packages/ParamPunPam/nx0fr/src/groebner/blackboxes.jl:31 ┌ Debug: Computing parametric Groebner basis up to degrees (Inf, Inf) │ Ordering, input / target: degrevlex / InputOrdering │ Rational interpolator: VanDerHoevenLecerf │ Polynomial interpolator: PrimesBenOrTiwari │ Estimate degrees: true │ Assess correctness: true └ @ ParamPunPam ~/.julia/packages/ParamPunPam/nx0fr/src/groebner/paramgb.jl:101 ┌ Debug: Given 2 functions in Rational field(a, b, c)[x, y, z] └ @ ParamPunPam ~/.julia/packages/ParamPunPam/nx0fr/src/groebner/state.jl:24 ┌ Debug: Specializing at 3 points to guess the shape of the basis.. └ @ ParamPunPam ~/.julia/packages/ParamPunPam/nx0fr/src/groebner/paramgb.jl:199 ┌ Debug: Reducing modulo Finite field of characteristic 18446744073709551557.. └ @ ParamPunPam ~/.julia/packages/ParamPunPam/nx0fr/src/groebner/blackboxes.jl:49 ┌ Debug: The shape of the basis is: 2 polynomials └ @ ParamPunPam ~/.julia/packages/ParamPunPam/nx0fr/src/groebner/paramgb.jl:237 ┌ Debug: Monomials in the basis are: │ state.shape = │ 2-element Vector{Vector{fpMPolyRingElem}}: │ [y, z, 1] │ [x, 1] └ @ ParamPunPam ~/.julia/packages/ParamPunPam/nx0fr/src/groebner/paramgb.jl:238 ┌ Debug: Specializing at random points to guess the total degrees in parameters.. └ @ ParamPunPam ~/.julia/packages/ParamPunPam/nx0fr/src/groebner/paramgb.jl:248 ┌ Debug: Using 6 points.. └ @ ParamPunPam ~/.julia/packages/ParamPunPam/nx0fr/src/groebner/paramgb.jl:302 ┌ Debug: Using 10 points.. └ @ ParamPunPam ~/.julia/packages/ParamPunPam/nx0fr/src/groebner/paramgb.jl:302 ┌ Debug: Success! 10 points used. └ @ ParamPunPam ~/.julia/packages/ParamPunPam/nx0fr/src/groebner/paramgb.jl:359 ┌ Debug: The total degrees in the coefficients │ state.param_degrees = │ 2-element Vector{Vector{Tuple{Int64, Int64}}}: │ [(0, 0), (0, 0), (0, 0)] │ [(0, 0), (2, 1)] └ @ ParamPunPam ~/.julia/packages/ParamPunPam/nx0fr/src/groebner/paramgb.jl:360 ┌ Debug: Interpolating the exponents in parameters.. └ @ ParamPunPam ~/.julia/packages/ParamPunPam/nx0fr/src/groebner/paramgb.jl:368 ┌ Debug: Reducing modulo Finite field of characteristic 18446744073709551557.. └ @ ParamPunPam ~/.julia/packages/ParamPunPam/nx0fr/src/groebner/blackboxes.jl:49 ┌ Debug: Interpolating for degrees: │ Numerator: 2, Denominator: 1 └ @ ParamPunPam ~/.julia/packages/ParamPunPam/nx0fr/src/groebner/paramgb.jl:421 ┌ Debug: Using 10 points.. └ @ ParamPunPam ~/.julia/packages/ParamPunPam/nx0fr/src/groebner/paramgb.jl:450 ┌ Debug: Using 20 points.. └ @ ParamPunPam ~/.julia/packages/ParamPunPam/nx0fr/src/groebner/paramgb.jl:450 ┌ Debug: Checking interpolated coefficients at a random points. │ Point: fpFieldElem[14535361500609301345, 6160652061705890155, 13559245137561783096] │ Basis: fpMPolyRingElem[y + z + 1024, x + 6052456548579837123] │ Interpolated coeffs: Vector{Tuple{fpMPolyRingElem, fpMPolyRingElem}}[[(1, 1), (1, 1), (1024, 1)], [(1, 1), (a^2, b + c)]] │ The number of eval. points: 20 │ Global index: 21 └ @ ParamPunPam ~/.julia/packages/ParamPunPam/nx0fr/src/groebner/paramgb.jl:511 ┌ Debug: Success! 20 points used. └ @ ParamPunPam ~/.julia/packages/ParamPunPam/nx0fr/src/groebner/paramgb.jl:542 ┌ Debug: Basis interpolated exponents summary: │ Maximal interpolated degrees are: 2 for num. and 1 for den. │ Maximal number of interpolated terms are: 1 for num. and 2 for den. │ Points used: 20. └ @ ParamPunPam ~/.julia/packages/ParamPunPam/nx0fr/src/groebner/paramgb.jl:547 ┌ Debug: Recovering the coefficients.. └ @ ParamPunPam ~/.julia/packages/ParamPunPam/nx0fr/src/groebner/paramgb.jl:557 ┌ Debug: CRT-Reconstructed coefficients │ param_coeffs_crt = │ 2-element Vector{Vector{Tuple{Vector{BigInt}, Vector{BigInt}}}}: │ [([1], [1]), ([1], [1]), ([1024], [1])] │ [([1], [1]), ([1], [1, 1])] └ @ ParamPunPam ~/.julia/packages/ParamPunPam/nx0fr/src/groebner/state.jl:63 ┌ Debug: Reconstruction │ modulo = 18446744073709551557 │ bnd = 3037000499 └ @ ParamPunPam ~/.julia/packages/ParamPunPam/nx0fr/src/groebner/state.jl:145 ┌ Debug: QQ-Reconstructed coefficients │ coeffsrec = │ 3-element Vector{AbstractAlgebra.Generic.FracFieldElem{QQMPolyRingElem}}: │ 1 │ 1 │ 1024 └ @ ParamPunPam ~/.julia/packages/ParamPunPam/nx0fr/src/groebner/state.jl:171 ┌ Debug: QQ-Reconstructed coefficients │ coeffsrec = │ 2-element Vector{AbstractAlgebra.Generic.FracFieldElem{QQMPolyRingElem}}: │ 1 │ a^2//(b + c) └ @ ParamPunPam ~/.julia/packages/ParamPunPam/nx0fr/src/groebner/state.jl:171 ┌ Debug: Reducing modulo Finite field of characteristic 18446744073709551533.. └ @ ParamPunPam ~/.julia/packages/ParamPunPam/nx0fr/src/groebner/blackboxes.jl:49 ┌ Debug: Checking correctness at fpFieldElem[14458163465388700742, 14580081182684170180, 6594188669836994550] in Finite field of characteristic 18446744073709551533 └ @ ParamPunPam ~/.julia/packages/ParamPunPam/nx0fr/src/groebner/state.jl:186 ┌ Debug: Evaluated basis │ param_basis_specialized = │ 2-element Vector{fpMPolyRingElem}: │ y + z + 1024 │ x + 7124736501898124560 └ @ ParamPunPam ~/.julia/packages/ParamPunPam/nx0fr/src/groebner/state.jl:202 ┌ Debug: Evaluated generators │ generators_zp = │ 2-element Vector{fpMPolyRingElem}: │ y + z + 1024 │ 2727525778811613197*x + 16272252967729564597 └ @ ParamPunPam ~/.julia/packages/ParamPunPam/nx0fr/src/groebner/state.jl:203 ┌ Debug: Inclusion in correctness assessment │ inclusion = │ 2-element Vector{fpMPolyRingElem}: │ 0 │ 0 └ @ ParamPunPam ~/.julia/packages/ParamPunPam/nx0fr/src/groebner/state.jl:209 ┌ Debug: Success! Used 2 prime in total └ @ ParamPunPam ~/.julia/packages/ParamPunPam/nx0fr/src/groebner/paramgb.jl:569 regressions: Test Summary: | Pass Broken Total Time All tests | 20089 1 20090 11m18.1s Baby-step-giant-step, Pohlig Hellman | 9720 9720 4.0s Discrete log, base isn't a generator | 580 580 0.4s Univariate interpolate | 230 230 5.0s Transposed Vandermonde solve | 28 28 5.5s Fast gcd | 228 228 1.2s Pade approximation | 1930 1930 0.4s Cauchy interpolation | 528 528 3.1s Ben-or-Tiwari, Primes & Kronecker | 318 318 9.2s van-der-Hoeven-Lecerf & Cuyt-Lee | 846 846 1m02.1s Blackbox | 3 3 13.9s Rational reconstruction | 4 4 0.8s GB over Q(a...) | 5149 1 5150 3m41.1s Monomial orderings | 508 508 5m25.9s Multi-modular over the rationals | 7 7 1.0s Noon | 0 4.1s Generic logging | 8 8 8.0s Regression: cancellation of leading terms | 2 2 0.0s Testing ParamPunPam tests passed Testing completed after 698.54s PkgEval succeeded after 918.39s