Package evaluation of ParamPunPam on Julia 1.13.0-DEV.427 (855bef3b06*) started at 2025-04-23T19:11:11.283 ################################################################################ # Set-up # Installing PkgEval dependencies (TestEnv)... Set-up completed after 8.2s ################################################################################ # Installation # Installing ParamPunPam... Resolving package versions... Updating `~/.julia/environments/v1.13/Project.toml` [3e851597] + ParamPunPam v0.5.2 Updating `~/.julia/environments/v1.13/Manifest.toml` [c3fe647b] + AbstractAlgebra v0.44.11 [a9b6321e] + Atomix v1.1.1 [861a8166] + Combinatorics v1.0.2 [0b43b601] + Groebner v0.9.4 [18e54dd8] + IntegerMathUtils v0.1.2 [692b3bcd] + JLLWrappers v1.7.0 [1914dd2f] + MacroTools v0.5.16 [2edaba10] + Nemo v0.49.3 [3e851597] + ParamPunPam v0.5.2 [aea7be01] + PrecompileTools v1.3.2 [21216c6a] + Preferences v1.4.3 [27ebfcd6] + Primes v0.5.7 [92933f4c] + ProgressMeter v1.10.4 [fb686558] + RandomExtensions v0.4.4 [013be700] + UnsafeAtomics v0.3.0 [e134572f] + FLINT_jll v300.200.100+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.12.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.12.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.12.0+0 Installation completed after 3.97s ################################################################################ # Precompilation # Precompiling PkgEval dependencies... Precompiling package dependencies... Precompilation completed after 153.21s ################################################################################ # Testing # Testing ParamPunPam Status `/tmp/jl_3tw5ih/Project.toml` [c3fe647b] AbstractAlgebra v0.44.11 [6e4b80f9] BenchmarkTools v1.6.0 [0b43b601] Groebner v0.9.4 [2edaba10] Nemo v0.49.3 [3e851597] ParamPunPam v0.5.2 [27ebfcd6] Primes v0.5.7 [92933f4c] ProgressMeter v1.10.4 ⌅ [98d24dd4] TestSetExtensions v2.0.0 [56ddb016] Logging v1.11.0 [9a3f8284] Random v1.11.0 [8dfed614] Test v1.11.0 Status `/tmp/jl_3tw5ih/Manifest.toml` [c3fe647b] AbstractAlgebra v0.44.11 [a9b6321e] Atomix v1.1.1 [6e4b80f9] BenchmarkTools v1.6.0 [861a8166] Combinatorics v1.0.2 [34da2185] Compat v4.16.0 [ab62b9b5] DeepDiffs v1.2.0 [0b43b601] Groebner v0.9.4 [18e54dd8] IntegerMathUtils v0.1.2 [692b3bcd] JLLWrappers v1.7.0 [682c06a0] JSON v0.21.4 [1914dd2f] MacroTools v0.5.16 [2edaba10] Nemo v0.49.3 [3e851597] ParamPunPam v0.5.2 [69de0a69] Parsers v2.8.2 [aea7be01] PrecompileTools v1.3.2 [21216c6a] Preferences v1.4.3 [27ebfcd6] Primes v0.5.7 [92933f4c] ProgressMeter v1.10.4 [fb686558] RandomExtensions v0.4.4 [10745b16] Statistics v1.11.1 ⌅ [98d24dd4] TestSetExtensions v2.0.0 [013be700] UnsafeAtomics v0.3.0 [e134572f] FLINT_jll v300.200.100+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.12.0 [56ddb016] Logging v1.11.0 [d6f4376e] Markdown v1.11.0 [a63ad114] Mmap v1.11.0 [de0858da] Printf v1.11.0 [9abbd945] Profile 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.12.0 [f489334b] StyledStrings v1.11.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.29+0 [bea87d4a] SuiteSparse_jll v7.10.1+0 [8e850b90] libblastrampoline_jll v5.12.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/wEEQO/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/wEEQO/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:00:34 ✓ # Computing specializations.. Time: 0:00:35 ⌜ # Computing specializations.. Time: 0:00:11 ✓ # Computing specializations.. Time: 0:00:11 ⌜ # Computing specializations.. Time: 0:00:16 ✓ # Computing specializations.. Time: 0:00:16 ⌜ # Computing specializations.. Time: 0:00:00 Points: 1406   ✓ # Computing specializations.. Time: 0:00:00 ⌜ # Computing specializations.. Time: 0:00:00 Points: 1103   ✓ # 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: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:00 Points: 1001   ✓ # Computing specializations.. Time: 0:00:00 ⌜ # Computing specializations.. Time: 0:00:05 ✓ # Computing specializations.. Time: 0:00:05 ⌜ # Computing specializations.. Time: 0:00:01 ✓ # Computing specializations.. Time: 0:00:01 ⌜ # Computing specializations.. Time: 0:00:03 ✓ # Computing specializations.. Time: 0:00:03 ⌜ # Computing specializations.. Time: 0:00:11 ✓ # Computing specializations.. Time: 0:00:11 ⌜ # Computing specializations.. Time: 0:00:02 ✓ # Computing specializations.. Time: 0:00:02 ⌜ # Computing specializations.. Time: 0:00:03 ✓ # Computing specializations.. Time: 0:00:03 ⌜ # Computing specializations.. Time: 0:00:03 ✓ # Computing specializations.. Time: 0:00:03 ⌜ # Computing specializations.. Time: 0:00:02 ✓ # Computing specializations.. Time: 0:00:02 ⌜ # Computing specializations.. Time: 0:00:06 ✓ # Computing specializations.. Time: 0:00:06 ⌜ # Computing specializations.. Time: 0:00:00 ✓ # Computing specializations.. Time: 0:00:00 [ 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: 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: 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: 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: 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: Rational reconstruction 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: 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:00 ⌜ # Computing specializations.. Time: 0:00:00 Points: 2734   ⌝ # Computing specializations.. Time: 0:00:00 Points: 5467   ⌟ # Computing specializations.. Time: 0:00:01 Points: 7055   ⌞ # Computing specializations.. Time: 0:00:01 Points: 9990   ⌜ # Computing specializations.. Time: 0:00:01 Points: 13133   ✓ # Computing specializations.. Time: 0:00:02 logging: ┌ Debug: Constructing a blackbox from 2 input polynomials └ @ ParamPunPam ~/.julia/packages/ParamPunPam/wEEQO/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/wEEQO/src/groebner/paramgb.jl:96 ┌ Debug: Given 2 functions in Rational field(a, b, c)[x, y, z] └ @ ParamPunPam ~/.julia/packages/ParamPunPam/wEEQO/src/groebner/state.jl:24 ┌ Debug: Specializing at 3 points to guess the shape of the basis.. └ @ ParamPunPam ~/.julia/packages/ParamPunPam/wEEQO/src/groebner/paramgb.jl:171 ┌ Debug: Reducing modulo Finite field of characteristic 4611686018427388073.. └ @ ParamPunPam ~/.julia/packages/ParamPunPam/wEEQO/src/groebner/blackboxes.jl:49 ┌ Debug: The shape of the basis is: 2 polynomials └ @ ParamPunPam ~/.julia/packages/ParamPunPam/wEEQO/src/groebner/paramgb.jl:209 ┌ Debug: Monomials in the basis are: │ state.shape = │ 2-element Vector{Vector{fpMPolyRingElem}}: │ [y, z, 1] │ [x, 1] └ @ ParamPunPam ~/.julia/packages/ParamPunPam/wEEQO/src/groebner/paramgb.jl:210 ┌ Debug: Specializing at random points to guess the total degrees in parameters.. └ @ ParamPunPam ~/.julia/packages/ParamPunPam/wEEQO/src/groebner/paramgb.jl:220 ┌ Debug: Using 6 points.. └ @ ParamPunPam ~/.julia/packages/ParamPunPam/wEEQO/src/groebner/paramgb.jl:274 ┌ Debug: Using 10 points.. └ @ ParamPunPam ~/.julia/packages/ParamPunPam/wEEQO/src/groebner/paramgb.jl:274 ┌ Debug: Success! 10 points used. └ @ ParamPunPam ~/.julia/packages/ParamPunPam/wEEQO/src/groebner/paramgb.jl:331 ┌ 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/wEEQO/src/groebner/paramgb.jl:332 ┌ Debug: Interpolating the exponents in parameters.. └ @ ParamPunPam ~/.julia/packages/ParamPunPam/wEEQO/src/groebner/paramgb.jl:340 ┌ Debug: Reducing modulo Finite field of characteristic 4611686018427388073.. └ @ ParamPunPam ~/.julia/packages/ParamPunPam/wEEQO/src/groebner/blackboxes.jl:49 ┌ Debug: Interpolating for degrees: │ Numerator: 2, Denominator: 1 └ @ ParamPunPam ~/.julia/packages/ParamPunPam/wEEQO/src/groebner/paramgb.jl:394 ┌ Debug: Using 10 points.. └ @ ParamPunPam ~/.julia/packages/ParamPunPam/wEEQO/src/groebner/paramgb.jl:423 ┌ Debug: Using 20 points.. └ @ ParamPunPam ~/.julia/packages/ParamPunPam/wEEQO/src/groebner/paramgb.jl:423 ┌ Debug: Checking interpolated coefficients at a random points. │ Point: fpFieldElem[3073124698277135375, 227223290710071430, 3352847761321951379] │ Basis: fpMPolyRingElem[y + z + 1024, x + 1691452095628059532] │ 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/wEEQO/src/groebner/paramgb.jl:484 ┌ Debug: Success! 20 points used. └ @ ParamPunPam ~/.julia/packages/ParamPunPam/wEEQO/src/groebner/paramgb.jl:515 ┌ 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/wEEQO/src/groebner/paramgb.jl:520 ┌ Debug: Recovering the coefficients.. └ @ ParamPunPam ~/.julia/packages/ParamPunPam/wEEQO/src/groebner/paramgb.jl:530 ┌ 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/wEEQO/src/groebner/state.jl:63 ┌ Debug: Reconstruction │ modulo = 4611686018427388073 │ bnd = 1518500249 └ @ ParamPunPam ~/.julia/packages/ParamPunPam/wEEQO/src/groebner/state.jl:145 ┌ Debug: QQ-Reconstructed coefficients │ coeffsrec = │ 3-element Vector{AbstractAlgebra.Generic.FracFieldElem{QQMPolyRingElem}}: │ 1 │ 1 │ 1024 └ @ ParamPunPam ~/.julia/packages/ParamPunPam/wEEQO/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/wEEQO/src/groebner/state.jl:171 ┌ Debug: Reducing modulo Finite field of characteristic 4611686018427388081.. └ @ ParamPunPam ~/.julia/packages/ParamPunPam/wEEQO/src/groebner/blackboxes.jl:49 ┌ Debug: Checking correctness at fpFieldElem[1032040403821131993, 1406287630192560856, 45495825938980117] in Finite field of characteristic 4611686018427388081 └ @ ParamPunPam ~/.julia/packages/ParamPunPam/wEEQO/src/groebner/state.jl:186 ┌ Debug: Evaluated basis │ param_basis_specialized = │ 2-element Vector{fpMPolyRingElem}: │ y + z + 1024 │ x + 3692972691755548354 └ @ ParamPunPam ~/.julia/packages/ParamPunPam/wEEQO/src/groebner/state.jl:202 ┌ Debug: Evaluated generators │ generators_zp = │ 2-element Vector{fpMPolyRingElem}: │ y + z + 1024 │ 1451783456131540973*x + 1733377016701382544 └ @ ParamPunPam ~/.julia/packages/ParamPunPam/wEEQO/src/groebner/state.jl:203 ┌ Debug: Inclusion in correctness assessment │ inclusion = │ 2-element Vector{fpMPolyRingElem}: │ 0 │ 0 └ @ ParamPunPam ~/.julia/packages/ParamPunPam/wEEQO/src/groebner/state.jl:209 ┌ Debug: Success! Used 2 prime in total └ @ ParamPunPam ~/.julia/packages/ParamPunPam/wEEQO/src/groebner/paramgb.jl:542 ┌ Debug: Constructing a blackbox from 2 input polynomials └ @ ParamPunPam ~/.julia/packages/ParamPunPam/wEEQO/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/wEEQO/src/groebner/paramgb.jl:96 ┌ Debug: Given 2 functions in Rational field(a, b, c)[x, y, z] └ @ ParamPunPam ~/.julia/packages/ParamPunPam/wEEQO/src/groebner/state.jl:24 ┌ Debug: Specializing at 3 points to guess the shape of the basis.. └ @ ParamPunPam ~/.julia/packages/ParamPunPam/wEEQO/src/groebner/paramgb.jl:171 ┌ Debug: Reducing modulo Finite field of characteristic 4611686018427388073.. └ @ ParamPunPam ~/.julia/packages/ParamPunPam/wEEQO/src/groebner/blackboxes.jl:49 ┌ Debug: The shape of the basis is: 2 polynomials └ @ ParamPunPam ~/.julia/packages/ParamPunPam/wEEQO/src/groebner/paramgb.jl:209 ┌ Debug: Monomials in the basis are: │ state.shape = │ 2-element Vector{Vector{fpMPolyRingElem}}: │ [y, z, 1] │ [x, 1] └ @ ParamPunPam ~/.julia/packages/ParamPunPam/wEEQO/src/groebner/paramgb.jl:210 ┌ Debug: Specializing at random points to guess the total degrees in parameters.. └ @ ParamPunPam ~/.julia/packages/ParamPunPam/wEEQO/src/groebner/paramgb.jl:220 ┌ Debug: Using 6 points.. └ @ ParamPunPam ~/.julia/packages/ParamPunPam/wEEQO/src/groebner/paramgb.jl:274 ┌ Debug: Using 10 points.. └ @ ParamPunPam ~/.julia/packages/ParamPunPam/wEEQO/src/groebner/paramgb.jl:274 ┌ Debug: Success! 10 points used. └ @ ParamPunPam ~/.julia/packages/ParamPunPam/wEEQO/src/groebner/paramgb.jl:331 ┌ 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/wEEQO/src/groebner/paramgb.jl:332 ┌ Debug: Interpolating the exponents in parameters.. └ @ ParamPunPam ~/.julia/packages/ParamPunPam/wEEQO/src/groebner/paramgb.jl:340 ┌ Debug: Reducing modulo Finite field of characteristic 4611686018427388073.. └ @ ParamPunPam ~/.julia/packages/ParamPunPam/wEEQO/src/groebner/blackboxes.jl:49 ┌ Debug: Interpolating for degrees: │ Numerator: 2, Denominator: 1 └ @ ParamPunPam ~/.julia/packages/ParamPunPam/wEEQO/src/groebner/paramgb.jl:394 ┌ Debug: Using 10 points.. └ @ ParamPunPam ~/.julia/packages/ParamPunPam/wEEQO/src/groebner/paramgb.jl:423 ┌ Debug: Using 20 points.. └ @ ParamPunPam ~/.julia/packages/ParamPunPam/wEEQO/src/groebner/paramgb.jl:423 ┌ Debug: Checking interpolated coefficients at a random points. │ Point: fpFieldElem[4390361352306625995, 1644269167935782339, 2602318354948328884] │ Basis: fpMPolyRingElem[y + z + 1024, x + 2056042652439310598] │ 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/wEEQO/src/groebner/paramgb.jl:484 ┌ Debug: Success! 20 points used. └ @ ParamPunPam ~/.julia/packages/ParamPunPam/wEEQO/src/groebner/paramgb.jl:515 ┌ 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/wEEQO/src/groebner/paramgb.jl:520 ┌ Debug: Recovering the coefficients.. └ @ ParamPunPam ~/.julia/packages/ParamPunPam/wEEQO/src/groebner/paramgb.jl:530 ┌ 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/wEEQO/src/groebner/state.jl:63 ┌ Debug: Reconstruction │ modulo = 4611686018427388073 │ bnd = 1518500249 └ @ ParamPunPam ~/.julia/packages/ParamPunPam/wEEQO/src/groebner/state.jl:145 ┌ Debug: QQ-Reconstructed coefficients │ coeffsrec = │ 3-element Vector{AbstractAlgebra.Generic.FracFieldElem{QQMPolyRingElem}}: │ 1 │ 1 │ 1024 └ @ ParamPunPam ~/.julia/packages/ParamPunPam/wEEQO/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/wEEQO/src/groebner/state.jl:171 ┌ Debug: Reducing modulo Finite field of characteristic 4611686018427388081.. └ @ ParamPunPam ~/.julia/packages/ParamPunPam/wEEQO/src/groebner/blackboxes.jl:49 ┌ Debug: Checking correctness at fpFieldElem[2637393469288301343, 2481404398272718098, 3320685969678415296] in Finite field of characteristic 4611686018427388081 └ @ ParamPunPam ~/.julia/packages/ParamPunPam/wEEQO/src/groebner/state.jl:186 ┌ Debug: Evaluated basis │ param_basis_specialized = │ 2-element Vector{fpMPolyRingElem}: │ y + z + 1024 │ x + 4335253671793482051 └ @ ParamPunPam ~/.julia/packages/ParamPunPam/wEEQO/src/groebner/state.jl:202 ┌ Debug: Evaluated generators │ generators_zp = │ 2-element Vector{fpMPolyRingElem}: │ y + z + 1024 │ 1190404349523745313*x + 1332574280784829204 └ @ ParamPunPam ~/.julia/packages/ParamPunPam/wEEQO/src/groebner/state.jl:203 ┌ Debug: Inclusion in correctness assessment │ inclusion = │ 2-element Vector{fpMPolyRingElem}: │ 0 │ 0 └ @ ParamPunPam ~/.julia/packages/ParamPunPam/wEEQO/src/groebner/state.jl:209 ┌ Debug: Success! Used 2 prime in total └ @ ParamPunPam ~/.julia/packages/ParamPunPam/wEEQO/src/groebner/paramgb.jl:542 regressions: Test Summary: | Pass Broken Total Time All tests | 20117 1 20118 7m20.2s Baby-step-giant-step, Pohlig Hellman | 9720 9720 4.1s Discrete log, base isn't a generator | 580 580 0.4s Univariate interpolate | 230 230 4.3s Transposed Vandermonde solve | 28 28 4.8s Fast gcd | 228 228 1.0s Pade approximation | 1960 1960 0.4s Cauchy interpolation | 528 528 2.6s Ben-or-Tiwari, Primes & Kronecker | 318 318 8.1s van-der-Hoeven-Lecerf & Cuyt-Lee | 846 846 49.9s Blackbox | 3 3 11.7s Rational reconstruction | 4 4 0.5s GB over Q(a...) | 5149 1 5150 2m16.7s Monomial orderings | 506 506 3m17.8s Multi-modular over the rationals | 7 7 1.0s Noon | 0 3.5s Generic logging | 8 8 6.4s Regression: cancellation of leading terms | 2 2 0.0s Testing ParamPunPam tests passed Testing completed after 461.63s PkgEval succeeded after 641.63s