Package evaluation of DifferentialBases on Julia 1.11.4 (a71dd056e0*) started at 2025-04-08T13:16:51.433 ################################################################################ # Set-up # Installing PkgEval dependencies (TestEnv)... Set-up completed after 8.96s ################################################################################ # Installation # Installing DifferentialBases... Resolving package versions... Updating `~/.julia/environments/v1.11/Project.toml` [12289b5d] + DifferentialBases v1.0.0 Updating `~/.julia/environments/v1.11/Manifest.toml` ⌅ [c3fe647b] + AbstractAlgebra v0.42.7 ⌅ [66b61cbe] + AlgebraicSolving v0.6.1 [d1d4a3ce] + BitFlags v0.1.9 [944b1d66] + CodecZlib v0.7.8 [f0e56b4a] + ConcurrentUtilities v2.5.0 [a2441757] + Coverage v1.6.1 [c36e975a] + CoverageTools v1.3.2 [12289b5d] + DifferentialBases v1.0.0 [460bff9d] + ExceptionUnwrapping v0.1.11 [cd3eb016] + HTTP v1.10.15 [692b3bcd] + JLLWrappers v1.7.0 [682c06a0] + JSON v0.21.4 [e6f89c97] + LoggingExtras v1.1.0 [1914dd2f] + MacroTools v0.5.15 [739be429] + MbedTLS v1.1.9 ⌅ [2edaba10] + Nemo v0.46.2 [4d8831e6] + OpenSSL v1.4.3 [69de0a69] + Parsers v2.8.1 ⌅ [aea7be01] + PrecompileTools v1.2.1 [21216c6a] + Preferences v1.4.3 [fb686558] + RandomExtensions v0.4.4 [777ac1f9] + SimpleBufferStream v1.2.0 [90137ffa] + StaticArrays v1.9.13 [1e83bf80] + StaticArraysCore v1.4.3 [3bb67fe8] + TranscodingStreams v0.11.3 [5c2747f8] + URIs v1.5.2 [e134572f] + FLINT_jll v300.200.100+0 [1d63c593] + LLVMOpenMP_jll v18.1.7+0 [656ef2d0] + OpenBLAS32_jll v0.3.29+0 [458c3c95] + OpenSSL_jll v3.0.16+0 [6d01cc9a] + msolve_jll v0.700.501+0 [0dad84c5] + ArgTools v1.1.2 [56f22d72] + Artifacts v1.11.0 [2a0f44e3] + Base64 v1.11.0 [ade2ca70] + Dates v1.11.0 [f43a241f] + Downloads v1.6.0 [7b1f6079] + FileWatching v1.11.0 [b77e0a4c] + InteractiveUtils v1.11.0 [b27032c2] + LibCURL v0.6.4 [76f85450] + LibGit2 v1.11.0 [8f399da3] + Libdl v1.11.0 [37e2e46d] + LinearAlgebra v1.11.0 [56ddb016] + Logging v1.11.0 [d6f4376e] + Markdown v1.11.0 [a63ad114] + Mmap v1.11.0 [ca575930] + NetworkOptions v1.2.0 [44cfe95a] + Pkg 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.11.0 [fa267f1f] + TOML v1.0.3 [a4e569a6] + Tar v1.10.0 [8dfed614] + Test v1.11.0 [cf7118a7] + UUIDs v1.11.0 [4ec0a83e] + Unicode v1.11.0 [e66e0078] + CompilerSupportLibraries_jll v1.1.1+0 [781609d7] + GMP_jll v6.3.0+0 [deac9b47] + LibCURL_jll v8.6.0+0 [e37daf67] + LibGit2_jll v1.7.2+0 [29816b5a] + LibSSH2_jll v1.11.0+1 [3a97d323] + MPFR_jll v4.2.1+0 [c8ffd9c3] + MbedTLS_jll v2.28.6+0 [14a3606d] + MozillaCACerts_jll v2023.12.12 [4536629a] + OpenBLAS_jll v0.3.27+1 [bea87d4a] + SuiteSparse_jll v7.7.0+0 [83775a58] + Zlib_jll v1.2.13+1 [8e850b90] + libblastrampoline_jll v5.11.0+0 [8e850ede] + nghttp2_jll v1.59.0+0 [3f19e933] + p7zip_jll v17.4.0+2 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 2.75s ################################################################################ # Precompilation # Precompiling PkgEval dependencies... Precompiling package dependencies... Precompilation completed after 137.25s ################################################################################ # Testing # Testing DifferentialBases Status `/tmp/jl_2Rjp4q/Project.toml` ⌅ [c3fe647b] AbstractAlgebra v0.42.7 ⌅ [66b61cbe] AlgebraicSolving v0.6.1 [a2441757] Coverage v1.6.1 [12289b5d] DifferentialBases v1.0.0 ⌅ [2edaba10] Nemo v0.46.2 [8dfed614] Test v1.11.0 Status `/tmp/jl_2Rjp4q/Manifest.toml` ⌅ [c3fe647b] AbstractAlgebra v0.42.7 ⌅ [66b61cbe] AlgebraicSolving v0.6.1 [d1d4a3ce] BitFlags v0.1.9 [944b1d66] CodecZlib v0.7.8 [f0e56b4a] ConcurrentUtilities v2.5.0 [a2441757] Coverage v1.6.1 [c36e975a] CoverageTools v1.3.2 [12289b5d] DifferentialBases v1.0.0 [460bff9d] ExceptionUnwrapping v0.1.11 [cd3eb016] HTTP v1.10.15 [692b3bcd] JLLWrappers v1.7.0 [682c06a0] JSON v0.21.4 [e6f89c97] LoggingExtras v1.1.0 [1914dd2f] MacroTools v0.5.15 [739be429] MbedTLS v1.1.9 ⌅ [2edaba10] Nemo v0.46.2 [4d8831e6] OpenSSL v1.4.3 [69de0a69] Parsers v2.8.1 ⌅ [aea7be01] PrecompileTools v1.2.1 [21216c6a] Preferences v1.4.3 [fb686558] RandomExtensions v0.4.4 [777ac1f9] SimpleBufferStream v1.2.0 [90137ffa] StaticArrays v1.9.13 [1e83bf80] StaticArraysCore v1.4.3 [3bb67fe8] TranscodingStreams v0.11.3 [5c2747f8] URIs v1.5.2 [e134572f] FLINT_jll v300.200.100+0 [1d63c593] LLVMOpenMP_jll v18.1.7+0 [656ef2d0] OpenBLAS32_jll v0.3.29+0 [458c3c95] OpenSSL_jll v3.0.16+0 [6d01cc9a] msolve_jll v0.700.501+0 [0dad84c5] ArgTools v1.1.2 [56f22d72] Artifacts v1.11.0 [2a0f44e3] Base64 v1.11.0 [ade2ca70] Dates v1.11.0 [f43a241f] Downloads v1.6.0 [7b1f6079] FileWatching v1.11.0 [b77e0a4c] InteractiveUtils v1.11.0 [b27032c2] LibCURL v0.6.4 [76f85450] LibGit2 v1.11.0 [8f399da3] Libdl v1.11.0 [37e2e46d] LinearAlgebra v1.11.0 [56ddb016] Logging v1.11.0 [d6f4376e] Markdown v1.11.0 [a63ad114] Mmap v1.11.0 [ca575930] NetworkOptions v1.2.0 [44cfe95a] Pkg 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.11.0 [fa267f1f] TOML v1.0.3 [a4e569a6] Tar v1.10.0 [8dfed614] Test v1.11.0 [cf7118a7] UUIDs v1.11.0 [4ec0a83e] Unicode v1.11.0 [e66e0078] CompilerSupportLibraries_jll v1.1.1+0 [781609d7] GMP_jll v6.3.0+0 [deac9b47] LibCURL_jll v8.6.0+0 [e37daf67] LibGit2_jll v1.7.2+0 [29816b5a] LibSSH2_jll v1.11.0+1 [3a97d323] MPFR_jll v4.2.1+0 [c8ffd9c3] MbedTLS_jll v2.28.6+0 [14a3606d] MozillaCACerts_jll v2023.12.12 [4536629a] OpenBLAS_jll v0.3.27+1 [bea87d4a] SuiteSparse_jll v7.7.0+0 [83775a58] Zlib_jll v1.2.13+1 [8e850b90] libblastrampoline_jll v5.11.0+0 [8e850ede] nghttp2_jll v1.59.0+0 [3f19e933] p7zip_jll v17.4.0+2 Info Packages marked with ⌅ have new versions available but compatibility constraints restrict them from upgrading. Testing Running tests... --------------- INPUT DATA --------------- #variables 6 #equations 8 #invalid equations 0 field characteristic 101 homogeneous input? 0 signature-based computation 0 monomial order ELIM(1) basis hash table resetting OFF linear algebra option 2 initial hash table size 131072 (2^17) max pair selection ALL reduce gb 1 #threads 1 info level 1 generate pbm files 0 ------------------------------------------ ---------------- TIMINGS ---------------- overall(elapsed) 0.00 sec overall(cpu) 0.00 sec select 0.00 sec 0.0% symbolic prep. 0.00 sec 0.0% update 0.00 sec 0.0% convert 0.00 sec 0.0% linear algebra 0.00 sec 0.0% reduce gb 0.00 sec 0.0% ----------------------------------------- ---------- COMPUTATIONAL DATA ----------- size of basis 8 #terms in basis 28 #pairs reduced 0 #GM criterion 0 #redundant elements 0 #rows reduced 0 #zero reductions 0 max. matrix data 0 x 0 (0.000%) max. symbolic hash table size 2^-2147483648 max. basis hash table size 2^16 ----------------------------------------- iteration 1 #G = 8 iteration 2 #G = 8 --------------- INPUT DATA --------------- #variables 6 #equations 8 #invalid equations 0 field characteristic 101 homogeneous input? 0 signature-based computation 0 monomial order ELIM(1) basis hash table resetting OFF linear algebra option 2 initial hash table size 131072 (2^17) max pair selection ALL reduce gb 1 #threads 1 info level 1 generate pbm files 0 ------------------------------------------ ---------------- TIMINGS ---------------- overall(elapsed) 0.00 sec overall(cpu) 0.00 sec select 0.00 sec 0.0% symbolic prep. 0.00 sec 0.0% update 0.00 sec 0.0% convert 0.00 sec 0.0% linear algebra 0.00 sec 0.0% reduce gb 0.00 sec 0.0% ----------------------------------------- ---------- COMPUTATIONAL DATA ----------- size of basis 8 #terms in basis 28 #pairs reduced 0 #GM criterion 0 #redundant elements 0 #rows reduced 0 #zero reductions 0 max. matrix data 0 x 0 (0.000%) max. symbolic hash table size 2^-2147483648 max. basis hash table size 2^16 ----------------------------------------- --------------- INPUT DATA --------------- #variables 6 #equations 2 #invalid equations 0 field characteristic 101 homogeneous input? 0 signature-based computation 0 monomial order ELIM(1) basis hash table resetting OFF linear algebra option 2 initial hash table size 131072 (2^17) max pair selection ALL reduce gb 1 #threads 1 info level 2 generate pbm files 0 ------------------------------------------ ---------------- TIMINGS ---------------- overall(elapsed) 0.00 sec overall(cpu) 0.00 sec select 0.00 sec 11.6% symbolic prep. 0.00 sec 12.3% update 0.00 sec 15.0% convert 0.00 sec 21.1% linear algebra 0.00 sec 13.6% reduce gb 0.00 sec 0.0% ----------------------------------------- ---------- COMPUTATIONAL DATA ----------- size of basis 8 #terms in basis 28 #pairs reduced 11 #GM criterion 17 #redundant elements 0 #rows reduced 30 #zero reductions 11 max. matrix data 37 x 59 (6.001%) max. symbolic hash table size 2^11 max. basis hash table size 2^16 ----------------------------------------- ---------------- TIMINGS ---------------- overall(elapsed) 0.00 sec overall(cpu) 0.00 sec select 0.00 sec 11.2% symbolic prep. 0.00 sec 13.1% update 0.00 sec 15.6% convert 0.00 sec 20.0% linear algebra 0.00 sec 12.5% reduce gb 0.00 sec 0.0% ----------------------------------------- ---------- COMPUTATIONAL DATA ----------- size of basis 8 #terms in basis 28 #pairs reduced 11 #GM criterion 17 #redundant elements 0 #rows reduced 30 #zero reductions 11 max. matrix data 37 x 59 (6.001%) max. symbolic hash table size 2^11 max. basis hash table size 2^16 ----------------------------------------- Legend for f4 information -------------------------------------------------------- deg current degree of pairs selected in this round sel number of pairs selected in this round pairs total number of pairs in pair list mat matrix dimensions (# rows x # columns) density density of the matrix new data # new elements for basis in this round # zero reductions during linear algebra time(rd) time of the current f4 round in seconds given for real and cpu time -------------------------------------------------------- deg sel pairs mat density new data time(rd) in sec (real|cpu) ------------------------------------------------------------------------------------------------------ 3 1 1 2 x 4 62.50% 1 new 0 zero 0.00 | 0.00 4 2 2 6 x 9 27.78% 1 new 1 zero 0.00 | 0.00 5 1 1 4 x 5 50.00% 0 new 1 zero 0.00 | 0.00 ------------------------------------------------------------------------------------------------------ reduce final basis 4 x 11 25.00% 4 new 0 zero ---------------- TIMINGS ---------------- overall(elapsed) 0.00 sec overall(cpu) 0.00 sec select 0.00 sec 0.0% symbolic prep. 0.00 sec 0.0% update 0.00 sec 0.0% convert 0.00 sec 0.0% linear algebra 0.00 sec 0.0% reduce gb 0.00 sec 0.0% ----------------------------------------- ---------- COMPUTATIONAL DATA ----------- size of basis 4 #terms in basis 11 #pairs reduced 0 #GM criterion 0 #redundant elements 0 #rows reduced 0 #zero reductions 0 max. matrix data 0 x 0 (0.000%) max. symbolic hash table size 2^-2147483648 max. basis hash table size 2^16 ----------------------------------------- iteration 1 #G = 1 iteration 2 #G = 4 --------------- INPUT DATA --------------- #variables 6 #equations 7 #invalid equations 0 field characteristic 101 homogeneous input? 0 signature-based computation 0 monomial order ELIM(1) basis hash table resetting OFF linear algebra option 2 initial hash table size 131072 (2^17) max pair selection ALL reduce gb 1 #threads 1 info level 2 generate pbm files 0 ------------------------------------------ 0.00 | 0.00 ------------------------------------------------------------------------------------------------------ ---------------- TIMINGS ---------------- overall(elapsed) 0.00 sec overall(cpu) 0.00 sec select 0.00 sec 16.0% symbolic prep. 0.00 sec 6.7% update 0.00 sec 5.8% convert 0.00 sec 12.0% linear algebra 0.00 sec 6.2% reduce gb 0.00 sec 0.0% ----------------------------------------- ---------- COMPUTATIONAL DATA ----------- size of basis 4 #terms in basis 11 #pairs reduced 4 #GM criterion 2 #redundant elements 0 #rows reduced 12 #zero reductions 2 max. matrix data 6 x 9 (27.778%) max. symbolic hash table size 2^11 max. basis hash table size 2^16 ----------------------------------------- Legend for f4 information -------------------------------------------------------- deg current degree of pairs selected in this round sel number of pairs selected in this round pairs total number of pairs in pair list mat matrix dimensions (# rows x # columns) density density of the matrix new data # new elements for basis in this round # zero reductions during linear algebra time(rd) time of the current f4 round in seconds given for real and cpu time -------------------------------------------------------- deg sel pairs mat density new data time(rd) in sec (real|cpu) ------------------------------------------------------------------------------------------------------ 3 2 9 7 x 11 28.57% 0 new 2 zero 0.00 | 0.00 4 7 7 20 x 30 11.00% 2 new 5 zero 0.00 | 0.00 4 4 4 19 x 33 10.85% 0 new 4 zero 0.00 | 0.00 ------------------------------------------------------------------------------------------------------ reduce final basis 7 x 21 17.69% 7 new 0 zero ---------------- TIMINGS ---------------- overall(elapsed) 0.00 sec overall(cpu) 0.00 sec select 0.00 sec 0.0% symbolic prep. 0.00 sec 0.0% update 0.00 sec 0.0% convert 0.00 sec 0.0% linear algebra 0.00 sec 0.0% reduce gb 0.00 sec 0.0% ----------------------------------------- ---------- COMPUTATIONAL DATA ----------- size of basis 7 #terms in basis 26 #pairs reduced 0 #GM criterion 0 #redundant elements 0 #rows reduced 0 #zero reductions 0 max. matrix data 0 x 0 (0.000%) max. symbolic hash table size 2^-2147483648 max. basis hash table size 2^16 ----------------------------------------- iteration 3 #G = 7 --------------- INPUT DATA --------------- #variables 6 #equations 11 #invalid equations 0 field characteristic 101 homogeneous input? 0 signature-based computation 0 monomial order ELIM(1) basis hash table resetting OFF linear algebra option 2 initial hash table size 131072 (2^17) max pair selection ALL reduce gb 1 #threads 1 info level 2 generate pbm files 0 ------------------------------------------ 0.00 | 0.00 ------------------------------------------------------------------------------------------------------ ---------------- TIMINGS ---------------- overall(elapsed) 0.00 sec overall(cpu) 0.00 sec select 0.00 sec 11.9% symbolic prep. 0.00 sec 10.3% update 0.00 sec 11.1% convert 0.00 sec 15.8% linear algebra 0.00 sec 9.4% reduce gb 0.00 sec 0.0% ----------------------------------------- ---------- COMPUTATIONAL DATA ----------- size of basis 7 #terms in basis 26 #pairs reduced 13 #GM criterion 23 #redundant elements 2 #rows reduced 33 #zero reductions 11 max. matrix data 19 x 33 (10.845%) max. symbolic hash table size 2^11 max. basis hash table size 2^16 ----------------------------------------- Legend for f4 information -------------------------------------------------------- deg current degree of pairs selected in this round sel number of pairs selected in this round pairs total number of pairs in pair list mat matrix dimensions (# rows x # columns) density density of the matrix new data # new elements for basis in this round # zero reductions during linear algebra time(rd) time of the current f4 round in seconds given for real and cpu time -------------------------------------------------------- deg sel pairs mat density new data time(rd) in sec (real|cpu) ------------------------------------------------------------------------------------------------------ 2 1 14 3 x 3 66.67% 0 new 1 zero 0.00 | 0.00 3 4 13 13 x 16 17.31% 0 new 4 zero 0.00 | 0.00 4 9 9 37 x 59 6.00% 0 new 9 zero 0.00 | 0.00 ------------------------------------------------------------------------------------------------------ reduce final basis 8 x 22 15.91% 8 new 0 zero ---------------- TIMINGS ---------------- overall(elapsed) 0.00 sec overall(cpu) 0.00 sec select 0.00 sec 0.0% symbolic prep. 0.00 sec 0.0% update 0.00 sec 0.0% convert 0.00 sec 0.0% linear algebra 0.00 sec 0.0% reduce gb 0.00 sec 0.0% ----------------------------------------- ---------- COMPUTATIONAL DATA ----------- size of basis 8 #terms in basis 28 #pairs reduced 0 #GM criterion 0 #redundant elements 0 #rows reduced 0 #zero reductions 0 max. matrix data 0 x 0 (0.000%) max. symbolic hash table size 2^-2147483648 max. basis hash table size 2^16 ----------------------------------------- iteration 4 #G = 8 --------------- INPUT DATA --------------- #variables 6 #equations 8 #invalid equations 0 field characteristic 101 homogeneous input? 0 signature-based computation 0 monomial order ELIM(1) basis hash table resetting OFF linear algebra option 2 initial hash table size 131072 (2^17) max pair selection ALL reduce gb 1 #threads 1 info level 2 generate pbm files 0 ------------------------------------------ 0.00 | 0.00 ------------------------------------------------------------------------------------------------------ ---------------- TIMINGS ---------------- overall(elapsed) 0.00 sec overall(cpu) 0.00 sec select 0.00 sec 13.5% symbolic prep. 0.00 sec 9.0% update 0.00 sec 13.9% convert 0.00 sec 15.2% linear algebra 0.00 sec 9.0% reduce gb 0.00 sec 0.0% ----------------------------------------- ---------- COMPUTATIONAL DATA ----------- size of basis 8 #terms in basis 28 #pairs reduced 14 #GM criterion 41 #redundant elements 3 #rows reduced 36 #zero reductions 14 max. matrix data 37 x 59 (6.001%) max. symbolic hash table size 2^11 max. basis hash table size 2^16 ----------------------------------------- Legend for f4 information -------------------------------------------------------- deg current degree of pairs selected in this round sel number of pairs selected in this round pairs total number of pairs in pair list mat matrix dimensions (# rows x # columns) density density of the matrix new data # new elements for basis in this round # zero reductions during linear algebra time(rd) time of the current f4 round in seconds given for real and cpu time -------------------------------------------------------- deg sel pairs mat density new data time(rd) in sec (real|cpu) ------------------------------------------------------------------------------------------------------ 3 2 11 7 x 11 28.57% 0 new 2 zero 0.00 | 0.00 4 9 9 37 x 59 6.00% 0 new 9 zero 0.00 | 0.00 ------------------------------------------------------------------------------------------------------ reduce final basis 8 x 22 15.91% 8 new 0 zero ---------------- TIMINGS ---------------- overall(elapsed) 0.00 sec overall(cpu) 0.00 sec select 0.00 sec 0.0% symbolic prep. 0.00 sec 0.0% update 0.00 sec 0.0% convert 0.00 sec 0.0% linear algebra 0.00 sec 0.0% reduce gb 0.00 sec 0.0% ----------------------------------------- ---------- COMPUTATIONAL DATA ----------- size of basis 8 #terms in basis 28 #pairs reduced 0 #GM criterion 0 #redundant elements 0 #rows reduced 0 #zero reductions 0 max. matrix data 0 x 0 (0.000%) max. symbolic hash table size 2^-2147483648 max. basis hash table size 2^16 ----------------------------------------- --------------- INPUT DATA --------------- #variables 6 #equations 2 #invalid equations 0 field characteristic 0 homogeneous input? 0 signature-based computation 0 monomial order ELIM(1) basis hash table resetting OFF linear algebra option 2 initial hash table size 131072 (2^17) max pair selection ALL reduce gb 1 #threads 1 info level 2 generate pbm files 0 ------------------------------------------ 0.00 | 0.00 ------------------------------------------------------------------------------------------------------ ---------------- TIMINGS ---------------- overall(elapsed) 0.00 sec overall(cpu) 0.00 sec select 0.00 sec 12.2% symbolic prep. 0.00 sec 10.6% update 0.00 sec 11.7% convert 0.00 sec 15.4% linear algebra 0.00 sec 10.1% reduce gb 0.00 sec 0.0% ----------------------------------------- ---------- COMPUTATIONAL DATA ----------- size of basis 8 #terms in basis 28 #pairs reduced 11 #GM criterion 17 #redundant elements 0 #rows reduced 30 #zero reductions 11 max. matrix data 37 x 59 (6.001%) max. symbolic hash table size 2^11 max. basis hash table size 2^16 ----------------------------------------- Legend for f4 information -------------------------------------------------------- deg current degree of pairs selected in this round sel number of pairs selected in this round pairs total number of pairs in pair list mat matrix dimensions (# rows x # columns) density density of the matrix new data # new elements for basis in this round # zero reductions during linear algebra time(rd) time of the current f4 round in seconds given for real and cpu time -------------------------------------------------------- deg sel pairs mat density new data time(rd) in sec (real|cpu) ------------------------------------------------------------------------------------------------------ 3 1 1 2 x 4 62.50% 1 new 0 zero 0.00 | 0.00 4 1 1 4 x 5 50.00% 0 new 1 zero 0.00 | 0.00 ------------------------------------------------------------------------------------------------------ reduce final basis 3 x 8 33.33% 3 new 0 zero 0.00 | 0.00 ------------------------------------------------------------------------------------------------------ ---------------- TIMINGS ---------------- overall(elapsed) 0.00 sec overall(cpu) 0.00 sec select 0.00 sec 14.9% symbolic prep. 0.00 sec 5.5% update 0.00 sec 8.8% convert 0.00 sec 12.1% linear algebra 0.00 sec 7.7% reduce gb 0.00 sec 0.0% ----------------------------------------- ---------- COMPUTATIONAL DATA ----------- size of basis 3 #terms in basis 8 #pairs reduced 2 #GM criterion 1 #redundant elements 0 #rows reduced 7 #zero reductions 1 max. matrix data 3 x 8 (33.333%) max. symbolic hash table size 2^11 max. basis hash table size 2^16 ----------------------------------------- ---------- COMPUTATIONAL DATA ----------- [2][1] #polynomials to lift 3 ----------------------------------------- ---------------- TIMINGS ---------------- multi-mod overall(elapsed) 0.00 sec learning phase 0.00 Gops/sec application phase 0.00 Gops/sec ----------------------------------------- multi-modular steps ------------------------------------------------------------------------------------------------------ {1}{2}<100.00%>iteration 1 #G = 1 iteration 2 #G = 3 --------------- INPUT DATA --------------- #variables 6 #equations 6 #invalid equations 0 field characteristic 0 homogeneous input? 0 signature-based computation 0 monomial order ELIM(1) basis hash table resetting OFF linear algebra option 2 initial hash table size 131072 (2^17) max pair selection ALL reduce gb 1 #threads 1 info level 2 generate pbm files 0 ------------------------------------------ ------------------------------------------------------------------------------------------------------ ---------- COMPUTATIONAL DATA ----------- Max coeff. bitsize 1 #primes 3 #bad primes 0 ----------------------------------------- ---------------- TIMINGS ---------------- CRT (elapsed) 0.00 sec ratrecon(elapsed) 0.00 sec ----------------------------------------- Legend for f4 information -------------------------------------------------------- deg current degree of pairs selected in this round sel number of pairs selected in this round pairs total number of pairs in pair list mat matrix dimensions (# rows x # columns) density density of the matrix new data # new elements for basis in this round # zero reductions during linear algebra time(rd) time of the current f4 round in seconds given for real and cpu time -------------------------------------------------------- deg sel pairs mat density new data time(rd) in sec (real|cpu) ------------------------------------------------------------------------------------------------------ 2 1 6 2 x 2 100.00% 0 new 1 zero 0.00 | 0.00 3 2 5 5 x 10 32.00% 1 new 1 zero 0.00 | 0.00 3 1 6 3 x 5 66.67% 0 new 1 zero 0.00 | 0.00 4 5 5 19 x 29 10.34% 2 new 3 zero 0.00 | 0.00 4 4 4 19 x 34 10.22% 0 new 4 zero 0.00 | 0.00 ------------------------------------------------------------------------------------------------------ reduce final basis 7 x 21 16.33% 7 new 0 zero 0.00 | 0.00 ------------------------------------------------------------------------------------------------------ ---------------- TIMINGS ---------------- overall(elapsed) 0.00 sec overall(cpu) 0.00 sec select 0.00 sec 12.1% symbolic prep. 0.00 sec 9.7% update 0.00 sec 10.0% convert 0.00 sec 13.9% linear algebra 0.00 sec 9.7% reduce gb 0.00 sec 0.0% ----------------------------------------- ---------- COMPUTATIONAL DATA ----------- size of basis 7 #terms in basis 24 #pairs reduced 13 #GM criterion 23 #redundant elements 2 #rows reduced 33 #zero reductions 10 max. matrix data 19 x 34 (10.217%) max. symbolic hash table size 2^11 max. basis hash table size 2^16 ----------------------------------------- ---------- COMPUTATIONAL DATA ----------- [3][4] #polynomials to lift 7 ----------------------------------------- ---------------- TIMINGS ---------------- multi-mod overall(elapsed) 0.00 sec learning phase 0.00 Gops/sec application phase 0.00 Gops/sec ----------------------------------------- multi-modular steps ------------------------------------------------------------------------------------------------------ {1}{2}<100.00%>iteration 3 #G = 7 --------------- INPUT DATA --------------- #variables 6 #equations 14 #invalid equations 0 field characteristic 0 homogeneous input? 1 signature-based computation 0 monomial order ELIM(1) basis hash table resetting OFF linear algebra option 2 initial hash table size 131072 (2^17) max pair selection ALL reduce gb 1 #threads 1 info level 2 generate pbm files 0 ------------------------------------------ ------------------------------------------------------------------------------------------------------ ---------- COMPUTATIONAL DATA ----------- Max coeff. bitsize 1 #primes 3 #bad primes 0 ----------------------------------------- ---------------- TIMINGS ---------------- CRT (elapsed) 0.00 sec ratrecon(elapsed) 0.00 sec ----------------------------------------- Legend for f4 information -------------------------------------------------------- deg current degree of pairs selected in this round sel number of pairs selected in this round pairs total number of pairs in pair list mat matrix dimensions (# rows x # columns) density density of the matrix new data # new elements for basis in this round # zero reductions during linear algebra time(rd) time of the current f4 round in seconds given for real and cpu time -------------------------------------------------------- deg sel pairs mat density new data time(rd) in sec (real|cpu) ------------------------------------------------------------------------------------------------------ 2 1 23 2 x 2 100.00% 0 new 1 zero 0.00 | 0.00 3 4 22 10 x 15 22.67% 0 new 4 zero 0.00 | 0.00 4 16 18 76 x 108 3.17% 0 new 16 zero 0.00 | 0.00 5 2 2 11 x 19 17.70% 0 new 2 zero 0.00 | 0.00 ------------------------------------------------------------------------------------------------------ reduce final basis 9 x 25 13.33% 8 new 0 zero 0.00 | 0.00 ------------------------------------------------------------------------------------------------------ ---------------- TIMINGS ---------------- overall(elapsed) 0.00 sec overall(cpu) 0.00 sec select 0.00 sec 14.9% symbolic prep. 0.00 sec 13.8% update 0.00 sec 16.7% convert 0.00 sec 13.5% linear algebra 0.00 sec 8.9% reduce gb 0.00 sec 0.0% ----------------------------------------- ---------- COMPUTATIONAL DATA ----------- size of basis 8 #terms in basis 26 #pairs reduced 23 #GM criterion 68 #redundant elements 6 #rows reduced 54 #zero reductions 23 max. matrix data 76 x 108 (3.168%) max. symbolic hash table size 2^11 max. basis hash table size 2^16 ----------------------------------------- ---------- COMPUTATIONAL DATA ----------- [3][4] #polynomials to lift 7 ----------------------------------------- ---------------- TIMINGS ---------------- multi-mod overall(elapsed) 0.00 sec learning phase 0.00 Gops/sec application phase 0.00 Gops/sec ----------------------------------------- multi-modular steps ------------------------------------------------------------------------------------------------------ {1}{2}<100.00%>Normal form is not supported for finite fields. Test Summary: | Pass Total Time DifferentialBases Tests | 50 50 1m02.9s Algorithms -> Main -> _intersect | 2 2 31.6s Algorithms -> Main -> _diff_op | 2 2 8.9s Algorithms -> Main -> differential_basis | 2 2 5.3s Algorithms -> Main -> Ring helpers | 5 5 7.7s Systems -> mechanical | 8 8 1.2s Systems -> linear_nn | 12 12 5.3s Systems -> chemical | 7 7 1.8s Systems -> poly_nn | 12 12 0.8s ------------------------------------------------------------------------------------------------------ ---------- COMPUTATIONAL DATA ----------- Max coeff. bitsize 1 #primes 3 #bad primes 0 ----------------------------------------- ---------------- TIMINGS ---------------- CRT (elapsed) 0.00 sec ratrecon(elapsed) 0.00 sec ----------------------------------------- Testing DifferentialBases tests passed Testing completed after 69.49s PkgEval succeeded after 227.04s