Package evaluation to test ParamPunPam on Julia 1.14.0-DEV.24 (d5fb6bbb43*) started at 2025-11-02T15:14:36.347 ################################################################################ # Set-up # Installing PkgEval dependencies (TestEnv)... Set-up completed after 7.4s ################################################################################ # Installation # Installing ParamPunPam... Resolving package versions... Updating `~/.julia/environments/v1.14/Project.toml` [3e851597] + ParamPunPam v0.5.5 Updating `~/.julia/environments/v1.14/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.3 [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 [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 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.29+0 [bea87d4a] + SuiteSparse_jll v7.10.1+0 [8e850b90] + libblastrampoline_jll v5.15.0+0 Installation completed after 3.44s ################################################################################ # Precompilation # Precompiling PkgEval dependencies... ┌ Error: Failed to use TestEnv.jl; test dependencies will not be precompiled │ exception = │ UndefVarError: `project_rel_path` not defined in `TestEnv` │ Suggestion: this global was defined as `Pkg.Operations.project_rel_path` but not assigned a value. │ Stacktrace: │ [1] get_test_dir(ctx::Pkg.Types.Context, pkgspec::PackageSpec) │ @ TestEnv ~/.julia/packages/TestEnv/nGMfF/src/julia-1.11/common.jl:75 │ [2] test_dir_has_project_file │ @ ~/.julia/packages/TestEnv/nGMfF/src/julia-1.11/common.jl:52 [inlined] │ [3] maybe_gen_project_override! │ @ ~/.julia/packages/TestEnv/nGMfF/src/julia-1.11/common.jl:83 [inlined] │ [4] activate(pkg::String; allow_reresolve::Bool) │ @ TestEnv ~/.julia/packages/TestEnv/nGMfF/src/julia-1.11/activate_set.jl:12 │ [5] activate(pkg::String) │ @ TestEnv ~/.julia/packages/TestEnv/nGMfF/src/julia-1.11/activate_set.jl:9 │ [6] top-level scope │ @ /PkgEval.jl/scripts/precompile.jl:24 │ [7] include(mod::Module, _path::String) │ @ Base ./Base.jl:309 │ [8] exec_options(opts::Base.JLOptions) │ @ Base ./client.jl:344 │ [9] _start() │ @ Base ./client.jl:577 └ @ Main /PkgEval.jl/scripts/precompile.jl:26 Precompiling package dependencies... Precompiling packages... 87947.5 ms ✓ Groebner 6557.2 ms ✓ ParamPunPam 2 dependencies successfully precompiled in 97 seconds. 28 already precompiled. Precompilation completed after 103.67s ################################################################################ # Testing # Testing ParamPunPam Status `/tmp/jl_xmCuZp/Project.toml` [c3fe647b] AbstractAlgebra v0.47.3 [6e4b80f9] BenchmarkTools v1.6.3 [0b43b601] Groebner v0.10.0 [2edaba10] Nemo v0.52.3 [3e851597] ParamPunPam v0.5.5 [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_xmCuZp/Manifest.toml` [c3fe647b] AbstractAlgebra v0.47.3 [a9b6321e] Atomix v1.1.2 [6e4b80f9] BenchmarkTools v1.6.3 [861a8166] Combinatorics v1.0.3 [34da2185] Compat v4.18.1 [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 [682c06a0] JSON v1.2.0 [1914dd2f] MacroTools v0.5.16 [2edaba10] Nemo v0.52.3 [3e851597] ParamPunPam v0.5.5 [69de0a69] Parsers v2.8.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 [10745b16] Statistics v1.11.1 [ec057cc2] StructUtils v2.5.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 [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.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.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/wFnUz/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/wFnUz/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:35 ✓ # Computing specializations.. Time: 0:00:36 ⌜ # Computing specializations.. Time: 0:00:12 ✓ # Computing specializations.. Time: 0:00:12 ⌜ # Computing specializations.. Time: 0:00:13 ✓ # Computing specializations.. Time: 0:00:13 ⌜ # Computing specializations.. Time: 0:00:06 ✓ # Computing specializations.. Time: 0:00:06 ⌜ # Computing specializations.. Time: 0:00:01 ✓ # Computing specializations.. Time: 0:00:01 ⌜ # Computing specializations.. Time: 0:00:04 ✓ # Computing specializations.. Time: 0:00:04 ⌜ # Computing specializations.. Time: 0:00:19 ✓ # Computing specializations.. Time: 0:00:19 ⌜ # Computing specializations.. Time: 0:00:05 ✓ # Computing specializations.. Time: 0:00:05 ⌜ # Computing specializations.. Time: 0:00:06 ✓ # Computing specializations.. Time: 0:00:06 ⌜ # Computing specializations.. Time: 0:00:05 ✓ # Computing specializations.. Time: 0:00:05 ⌜ # Computing specializations.. Time: 0:00:04 ✓ # Computing specializations.. Time: 0:00:04 ⌜ # Computing specializations.. Time: 0:00:06 ✓ # Computing specializations.. Time: 0:00:06 [ 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: 3332   ⌝ # Computing specializations.. Time: 0:00:00 Points: 7034   ⌟ # Computing specializations.. Time: 0:00:01 Points: 11057   ✓ # Computing specializations.. Time: 0:00:01 logging: ┌ Debug: Constructing a blackbox from 2 input polynomials └ @ ParamPunPam ~/.julia/packages/ParamPunPam/wFnUz/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/wFnUz/src/groebner/paramgb.jl:96 ┌ Debug: Given 2 functions in Rational field(a, b, c)[x, y, z] └ @ ParamPunPam ~/.julia/packages/ParamPunPam/wFnUz/src/groebner/state.jl:24 ┌ Debug: Specializing at 3 points to guess the shape of the basis.. └ @ ParamPunPam ~/.julia/packages/ParamPunPam/wFnUz/src/groebner/paramgb.jl:171 ┌ Debug: Reducing modulo Finite field of characteristic 4611686018427388073.. └ @ ParamPunPam ~/.julia/packages/ParamPunPam/wFnUz/src/groebner/blackboxes.jl:49 ┌ Debug: The shape of the basis is: 2 polynomials └ @ ParamPunPam ~/.julia/packages/ParamPunPam/wFnUz/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/wFnUz/src/groebner/paramgb.jl:210 ┌ Debug: Specializing at random points to guess the total degrees in parameters.. └ @ ParamPunPam ~/.julia/packages/ParamPunPam/wFnUz/src/groebner/paramgb.jl:220 ┌ Debug: Using 6 points.. └ @ ParamPunPam ~/.julia/packages/ParamPunPam/wFnUz/src/groebner/paramgb.jl:274 ┌ Debug: Using 10 points.. └ @ ParamPunPam ~/.julia/packages/ParamPunPam/wFnUz/src/groebner/paramgb.jl:274 ┌ Debug: Success! 10 points used. └ @ ParamPunPam ~/.julia/packages/ParamPunPam/wFnUz/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/wFnUz/src/groebner/paramgb.jl:332 ┌ Debug: Interpolating the exponents in parameters.. └ @ ParamPunPam ~/.julia/packages/ParamPunPam/wFnUz/src/groebner/paramgb.jl:340 ┌ Debug: Reducing modulo Finite field of characteristic 4611686018427388073.. └ @ ParamPunPam ~/.julia/packages/ParamPunPam/wFnUz/src/groebner/blackboxes.jl:49 ┌ Debug: Interpolating for degrees: │ Numerator: 2, Denominator: 1 └ @ ParamPunPam ~/.julia/packages/ParamPunPam/wFnUz/src/groebner/paramgb.jl:394 ┌ Debug: Using 10 points.. └ @ ParamPunPam ~/.julia/packages/ParamPunPam/wFnUz/src/groebner/paramgb.jl:423 ┌ Debug: Using 20 points.. └ @ ParamPunPam ~/.julia/packages/ParamPunPam/wFnUz/src/groebner/paramgb.jl:423 ┌ Debug: Checking interpolated coefficients at a random points. │ Point: fpFieldElem[611582466716990870, 1693588205707378394, 4281423604818641657] │ Basis: fpMPolyRingElem[y + z + 1024, x + 1335004867424511989] │ 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/wFnUz/src/groebner/paramgb.jl:484 ┌ Debug: Success! 20 points used. └ @ ParamPunPam ~/.julia/packages/ParamPunPam/wFnUz/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/wFnUz/src/groebner/paramgb.jl:520 ┌ Debug: Recovering the coefficients.. └ @ ParamPunPam ~/.julia/packages/ParamPunPam/wFnUz/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/wFnUz/src/groebner/state.jl:63 ┌ Debug: Reconstruction │ modulo = 4611686018427388073 │ bnd = 1518500249 └ @ ParamPunPam ~/.julia/packages/ParamPunPam/wFnUz/src/groebner/state.jl:145 ┌ Debug: QQ-Reconstructed coefficients │ coeffsrec = │ 3-element Vector{AbstractAlgebra.Generic.FracFieldElem{QQMPolyRingElem}}: │ 1 │ 1 │ 1024 └ @ ParamPunPam ~/.julia/packages/ParamPunPam/wFnUz/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/wFnUz/src/groebner/state.jl:171 ┌ Debug: Reducing modulo Finite field of characteristic 4611686018427388081.. └ @ ParamPunPam ~/.julia/packages/ParamPunPam/wFnUz/src/groebner/blackboxes.jl:49 ┌ Debug: Checking correctness at fpFieldElem[4519655927511364071, 544354864278222119, 4490066522408266657] in Finite field of characteristic 4611686018427388081 └ @ ParamPunPam ~/.julia/packages/ParamPunPam/wFnUz/src/groebner/state.jl:186 ┌ Debug: Evaluated basis │ param_basis_specialized = │ 2-element Vector{fpMPolyRingElem}: │ y + z + 1024 │ x + 789546111755065491 └ @ ParamPunPam ~/.julia/packages/ParamPunPam/wFnUz/src/groebner/state.jl:202 ┌ Debug: Evaluated generators │ generators_zp = │ 2-element Vector{fpMPolyRingElem}: │ y + z + 1024 │ 422735368259100695*x + 3974830976298824908 └ @ ParamPunPam ~/.julia/packages/ParamPunPam/wFnUz/src/groebner/state.jl:203 ┌ Debug: Inclusion in correctness assessment │ inclusion = │ 2-element Vector{fpMPolyRingElem}: │ 0 │ 0 └ @ ParamPunPam ~/.julia/packages/ParamPunPam/wFnUz/src/groebner/state.jl:209 ┌ Debug: Success! Used 2 prime in total └ @ ParamPunPam ~/.julia/packages/ParamPunPam/wFnUz/src/groebner/paramgb.jl:542 ┌ Debug: Constructing a blackbox from 2 input polynomials └ @ ParamPunPam ~/.julia/packages/ParamPunPam/wFnUz/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/wFnUz/src/groebner/paramgb.jl:96 ┌ Debug: Given 2 functions in Rational field(a, b, c)[x, y, z] └ @ ParamPunPam ~/.julia/packages/ParamPunPam/wFnUz/src/groebner/state.jl:24 ┌ Debug: Specializing at 3 points to guess the shape of the basis.. └ @ ParamPunPam ~/.julia/packages/ParamPunPam/wFnUz/src/groebner/paramgb.jl:171 ┌ Debug: Reducing modulo Finite field of characteristic 4611686018427388073.. └ @ ParamPunPam ~/.julia/packages/ParamPunPam/wFnUz/src/groebner/blackboxes.jl:49 ┌ Debug: The shape of the basis is: 2 polynomials └ @ ParamPunPam ~/.julia/packages/ParamPunPam/wFnUz/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/wFnUz/src/groebner/paramgb.jl:210 ┌ Debug: Specializing at random points to guess the total degrees in parameters.. └ @ ParamPunPam ~/.julia/packages/ParamPunPam/wFnUz/src/groebner/paramgb.jl:220 ┌ Debug: Using 6 points.. └ @ ParamPunPam ~/.julia/packages/ParamPunPam/wFnUz/src/groebner/paramgb.jl:274 ┌ Debug: Using 10 points.. └ @ ParamPunPam ~/.julia/packages/ParamPunPam/wFnUz/src/groebner/paramgb.jl:274 ┌ Debug: Success! 10 points used. └ @ ParamPunPam ~/.julia/packages/ParamPunPam/wFnUz/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/wFnUz/src/groebner/paramgb.jl:332 ┌ Debug: Interpolating the exponents in parameters.. └ @ ParamPunPam ~/.julia/packages/ParamPunPam/wFnUz/src/groebner/paramgb.jl:340 ┌ Debug: Reducing modulo Finite field of characteristic 4611686018427388073.. └ @ ParamPunPam ~/.julia/packages/ParamPunPam/wFnUz/src/groebner/blackboxes.jl:49 ┌ Debug: Interpolating for degrees: │ Numerator: 2, Denominator: 1 └ @ ParamPunPam ~/.julia/packages/ParamPunPam/wFnUz/src/groebner/paramgb.jl:394 ┌ Debug: Using 10 points.. └ @ ParamPunPam ~/.julia/packages/ParamPunPam/wFnUz/src/groebner/paramgb.jl:423 ┌ Debug: Using 20 points.. └ @ ParamPunPam ~/.julia/packages/ParamPunPam/wFnUz/src/groebner/paramgb.jl:423 ┌ Debug: Checking interpolated coefficients at a random points. │ Point: fpFieldElem[1047107036567797105, 4359918555297651413, 1718198055810059334] │ Basis: fpMPolyRingElem[y + z + 1024, x + 4194088442207111464] │ 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/wFnUz/src/groebner/paramgb.jl:484 ┌ Debug: Success! 20 points used. └ @ ParamPunPam ~/.julia/packages/ParamPunPam/wFnUz/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/wFnUz/src/groebner/paramgb.jl:520 ┌ Debug: Recovering the coefficients.. └ @ ParamPunPam ~/.julia/packages/ParamPunPam/wFnUz/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/wFnUz/src/groebner/state.jl:63 ┌ Debug: Reconstruction │ modulo = 4611686018427388073 │ bnd = 1518500249 └ @ ParamPunPam ~/.julia/packages/ParamPunPam/wFnUz/src/groebner/state.jl:145 ┌ Debug: QQ-Reconstructed coefficients │ coeffsrec = │ 3-element Vector{AbstractAlgebra.Generic.FracFieldElem{QQMPolyRingElem}}: │ 1 │ 1 │ 1024 └ @ ParamPunPam ~/.julia/packages/ParamPunPam/wFnUz/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/wFnUz/src/groebner/state.jl:171 ┌ Debug: Reducing modulo Finite field of characteristic 4611686018427388081.. └ @ ParamPunPam ~/.julia/packages/ParamPunPam/wFnUz/src/groebner/blackboxes.jl:49 ┌ Debug: Checking correctness at fpFieldElem[4550793247520476651, 3803519812912883184, 710985962487852035] in Finite field of characteristic 4611686018427388081 └ @ ParamPunPam ~/.julia/packages/ParamPunPam/wFnUz/src/groebner/state.jl:186 ┌ Debug: Evaluated basis │ param_basis_specialized = │ 2-element Vector{fpMPolyRingElem}: │ y + z + 1024 │ x + 4455203433083464269 └ @ ParamPunPam ~/.julia/packages/ParamPunPam/wFnUz/src/groebner/state.jl:202 ┌ Debug: Evaluated generators │ generators_zp = │ 2-element Vector{fpMPolyRingElem}: │ y + z + 1024 │ 4514505775400735219*x + 3323859963227021070 └ @ ParamPunPam ~/.julia/packages/ParamPunPam/wFnUz/src/groebner/state.jl:203 ┌ Debug: Inclusion in correctness assessment │ inclusion = │ 2-element Vector{fpMPolyRingElem}: │ 0 │ 0 └ @ ParamPunPam ~/.julia/packages/ParamPunPam/wFnUz/src/groebner/state.jl:209 ┌ Debug: Success! Used 2 prime in total └ @ ParamPunPam ~/.julia/packages/ParamPunPam/wFnUz/src/groebner/paramgb.jl:542 regressions: Test Summary: | Pass Broken Total Time All tests | 19997 1 19998 7m07.0s Baby-step-giant-step, Pohlig Hellman | 9720 9720 3.6s Discrete log, base isn't a generator | 580 580 0.4s Univariate interpolate | 230 230 4.0s Transposed Vandermonde solve | 28 28 5.0s Fast gcd | 228 228 0.9s Pade approximation | 1840 1840 0.4s Cauchy interpolation | 528 528 2.6s Ben-or-Tiwari, Primes & Kronecker | 318 318 8.0s van-der-Hoeven-Lecerf & Cuyt-Lee | 846 846 44.2s Blackbox | 3 3 13.0s Rational reconstruction | 4 4 0.6s GB over Q(a...) | 5149 1 5150 2m07.6s Monomial orderings | 506 506 3m18.9s Multi-modular over the rationals | 7 7 0.7s Noon | 0 2.9s Generic logging | 8 8 6.7s Regression: cancellation of leading terms | 2 2 0.0s Testing ParamPunPam tests passed Testing completed after 443.87s PkgEval succeeded after 574.37s