From 7a95069a201f33a515c4ab76b00027ad8e291880 Mon Sep 17 00:00:00 2001 From: sumiya11 <60229118+sumiya11@users.noreply.github.com> Date: Wed, 10 Jan 2024 07:29:27 +0000 Subject: [PATCH] =?UTF-8?q?Deploying=20to=20gh-pages=20from=20=20@=20ee9f6?= =?UTF-8?q?4774facbbd2f57722d1e227759891d90168=20=F0=9F=9A=80?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- assets/developer/code/output/dev-timings.out | 68 ++++++++++---------- assets/tutorial/code/output/gcd3.out | 2 +- assets/tutorial/code/output/gcd4.out | 2 +- assets/tutorial/code/output/graph2.svg | 10 +-- assets/tutorial/code/output/graphcolored.svg | 10 +-- developer/index.html | 68 ++++++++++---------- tutorial/index.html | 4 +- 7 files changed, 82 insertions(+), 82 deletions(-) diff --git a/assets/developer/code/output/dev-timings.out b/assets/developer/code/output/dev-timings.out index e2c2104b..7a6edfb4 100644 --- a/assets/developer/code/output/dev-timings.out +++ b/assets/developer/code/output/dev-timings.out @@ -1,42 +1,42 @@ -------------------------------------------------------------------------------- Groebner.jl Time Allocations ----------------------- ------------------------ - Tot / % measured: 90.5ms / 0.2% 6.03MiB / 8.8% + Tot / % measured: 109ms / 0.2% 6.03MiB / 8.8% Section ncalls time %tot avg alloc %tot avg -------------------------------------------------------------------------------- - _groebner 1 128μs 65.1% 128μs 494KiB 91.4% 494KiB - f4! 1 103μs 52.5% 103μs 38.0KiB 7.0% 38.0KiB - f4_reduction! 3 27.6μs 14.0% 9.19μs 8.02KiB 1.5% 2.67KiB - linalg_inter... 3 6.94μs 3.5% 2.31μs 1.34KiB 0.2% 459B - f4_select_crit... 3 18.9μs 9.6% 6.30μs 4.33KiB 0.8% 1.44KiB - matrix_trans... 10 3.36μs 1.7% 336ns 1.72KiB 0.3% 176B - f4_update! 4 7.93μs 4.0% 1.98μs 2.30KiB 0.4% 588B - pairset_update! 5 3.93μs 2.0% 786ns 800B 0.1% 160B - basis_update! 4 420ns 0.2% 105ns 0.00B 0.0% 0.00B - f4_symbolic_pr... 4 4.54μs 2.3% 1.13μs 2.34KiB 0.4% 600B - matrix_trans... 3 592ns 0.3% 197ns 272B 0.0% 90.7B - linalg_interre... 1 4.32μs 2.2% 4.32μs 1.36KiB 0.3% 1.36KiB - basis_standard... 1 2.56μs 1.3% 2.56μs 1.17KiB 0.2% 1.17KiB - basis_normal... 1 451ns 0.2% 451ns 96.0B 0.0% 96.0B - hashtable_init... 2 1.58μs 0.8% 792ns 4.34KiB 0.8% 2.17KiB - matrix_initialize 1 1.52μs 0.8% 1.52μs 1.08KiB 0.2% 1.08KiB - matrix_transfo... 4 1.20μs 0.6% 301ns 896B 0.2% 224B - basis_normalize! 1 271ns 0.1% 271ns 96.0B 0.0% 96.0B - f4_initialize_st... 1 19.1μs 9.7% 19.1μs 453KiB 83.8% 453KiB - basis_normalize! 1 1.43μs 0.7% 1.43μs 96.0B 0.0% 96.0B - basis_export_data 1 712ns 0.4% 712ns 416B 0.1% 416B - io_convert_to_inte... 1 49.2μs 24.9% 49.2μs 4.25KiB 0.8% 4.25KiB - f4_initialize_structs 1 7.83μs 4.0% 7.83μs 33.5KiB 6.2% 33.5KiB - basis_normalize! 1 341ns 0.2% 341ns 96.0B 0.0% 96.0B - io_convert_to_output 1 2.99μs 1.5% 2.99μs 1.50KiB 0.3% 1.50KiB - linalg_interreduce... 1 2.05μs 1.0% 2.05μs 1.08KiB 0.2% 1.08KiB - basis_standardize! 1 1.83μs 0.9% 1.83μs 1.16KiB 0.2% 1.16KiB - basis_normalize! 1 371ns 0.2% 371ns 96.0B 0.0% 96.0B - hashtable_initiali... 1 1.80μs 0.9% 1.80μs 2.16KiB 0.4% 2.16KiB - matrix_transform_p... 3 1.10μs 0.6% 367ns 672B 0.1% 224B - f4_symbolic_prepro... 1 811ns 0.4% 811ns 960B 0.2% 960B - matrix_initialize 1 761ns 0.4% 761ns 1.08KiB 0.2% 1.08KiB - basis_export_data 1 421ns 0.2% 421ns 352B 0.1% 352B + _groebner 1 182μs 71.9% 182μs 494KiB 91.4% 494KiB + f4! 1 102μs 40.5% 102μs 38.0KiB 7.0% 38.0KiB + f4_reduction! 3 27.0μs 10.7% 9.00μs 8.02KiB 1.5% 2.67KiB + linalg_inter... 3 6.56μs 2.6% 2.19μs 1.34KiB 0.2% 459B + f4_select_crit... 3 19.2μs 7.6% 6.39μs 4.33KiB 0.8% 1.44KiB + matrix_trans... 10 3.46μs 1.4% 346ns 1.72KiB 0.3% 176B + f4_update! 4 8.04μs 3.2% 2.01μs 2.30KiB 0.4% 588B + pairset_update! 5 4.05μs 1.6% 810ns 800B 0.1% 160B + basis_update! 4 411ns 0.2% 103ns 0.00B 0.0% 0.00B + f4_symbolic_pr... 4 4.22μs 1.7% 1.05μs 2.34KiB 0.4% 600B + matrix_trans... 3 531ns 0.2% 177ns 272B 0.0% 90.7B + linalg_interre... 1 4.05μs 1.6% 4.05μs 1.36KiB 0.3% 1.36KiB + basis_standard... 1 2.21μs 0.9% 2.21μs 1.17KiB 0.2% 1.17KiB + basis_normal... 1 461ns 0.2% 461ns 96.0B 0.0% 96.0B + matrix_transfo... 4 1.44μs 0.6% 361ns 896B 0.2% 224B + matrix_initialize 1 1.40μs 0.6% 1.40μs 1.08KiB 0.2% 1.08KiB + hashtable_init... 2 1.04μs 0.4% 521ns 4.34KiB 0.8% 2.17KiB + basis_normalize! 1 300ns 0.1% 300ns 96.0B 0.0% 96.0B + f4_initialize_st... 1 74.2μs 29.4% 74.2μs 453KiB 83.8% 453KiB + basis_normalize! 1 961ns 0.4% 961ns 96.0B 0.0% 96.0B + basis_export_data 1 732ns 0.3% 732ns 416B 0.1% 416B + io_convert_to_inte... 1 49.8μs 19.7% 49.8μs 4.25KiB 0.8% 4.25KiB + f4_initialize_structs 1 8.26μs 3.3% 8.26μs 33.5KiB 6.2% 33.5KiB + basis_normalize! 1 351ns 0.1% 351ns 96.0B 0.0% 96.0B + io_convert_to_output 1 4.15μs 1.6% 4.15μs 1.50KiB 0.3% 1.50KiB + linalg_interreduce... 1 2.39μs 0.9% 2.39μs 1.08KiB 0.2% 1.08KiB + basis_standardize! 1 1.55μs 0.6% 1.55μs 1.16KiB 0.2% 1.16KiB + basis_normalize! 1 291ns 0.1% 291ns 96.0B 0.0% 96.0B + matrix_transform_p... 3 1.38μs 0.5% 460ns 672B 0.1% 224B + matrix_initialize 1 952ns 0.4% 952ns 1.08KiB 0.2% 1.08KiB + basis_export_data 1 782ns 0.3% 782ns 352B 0.1% 352B + f4_symbolic_prepro... 1 781ns 0.3% 781ns 960B 0.2% 960B + hashtable_initiali... 1 691ns 0.3% 691ns 2.16KiB 0.4% 2.16KiB basis_update! 1 140ns 0.1% 140ns 0.00B 0.0% 0.00B -------------------------------------------------------------------------------- diff --git a/assets/tutorial/code/output/gcd3.out b/assets/tutorial/code/output/gcd3.out index ac2f8d8f..7b874880 100644 --- a/assets/tutorial/code/output/gcd3.out +++ b/assets/tutorial/code/output/gcd3.out @@ -1 +1 @@ - 86.271 μs (1401 allocations: 75.03 KiB) + 92.563 μs (1401 allocations: 75.03 KiB) diff --git a/assets/tutorial/code/output/gcd4.out b/assets/tutorial/code/output/gcd4.out index 69c40472..18dd306b 100644 --- a/assets/tutorial/code/output/gcd4.out +++ b/assets/tutorial/code/output/gcd4.out @@ -1 +1 @@ - 170.918 μs (2292 allocations: 243.47 KiB) + 179.495 μs (2292 allocations: 243.47 KiB) diff --git a/assets/tutorial/code/output/graph2.svg b/assets/tutorial/code/output/graph2.svg index 43f778d4..fc34ad41 100644 --- a/assets/tutorial/code/output/graph2.svg +++ b/assets/tutorial/code/output/graph2.svg @@ -13,7 +13,7 @@ - + @@ -30,11 +30,11 @@ - + - + - + @@ -48,7 +48,7 @@ - + 1 diff --git a/assets/tutorial/code/output/graphcolored.svg b/assets/tutorial/code/output/graphcolored.svg index d1d8a0db..352c8365 100644 --- a/assets/tutorial/code/output/graphcolored.svg +++ b/assets/tutorial/code/output/graphcolored.svg @@ -13,7 +13,7 @@ - + @@ -30,11 +30,11 @@ - + - + - + @@ -48,7 +48,7 @@ - + 1 diff --git a/developer/index.html b/developer/index.html index 64daa194..106c13d6 100644 --- a/developer/index.html +++ b/developer/index.html @@ -138,43 +138,43 @@

-------------------------------------------------------------------------------- Groebner.jl Time Allocations ----------------------- ------------------------ - Tot / % measured: 90.5ms / 0.2% 6.03MiB / 8.8% + Tot / % measured: 109ms / 0.2% 6.03MiB / 8.8% Section ncalls time %tot avg alloc %tot avg -------------------------------------------------------------------------------- - _groebner 1 128μs 65.1% 128μs 494KiB 91.4% 494KiB - f4! 1 103μs 52.5% 103μs 38.0KiB 7.0% 38.0KiB - f4_reduction! 3 27.6μs 14.0% 9.19μs 8.02KiB 1.5% 2.67KiB - linalg_inter... 3 6.94μs 3.5% 2.31μs 1.34KiB 0.2% 459B - f4_select_crit... 3 18.9μs 9.6% 6.30μs 4.33KiB 0.8% 1.44KiB - matrix_trans... 10 3.36μs 1.7% 336ns 1.72KiB 0.3% 176B - f4_update! 4 7.93μs 4.0% 1.98μs 2.30KiB 0.4% 588B - pairset_update! 5 3.93μs 2.0% 786ns 800B 0.1% 160B - basis_update! 4 420ns 0.2% 105ns 0.00B 0.0% 0.00B - f4_symbolic_pr... 4 4.54μs 2.3% 1.13μs 2.34KiB 0.4% 600B - matrix_trans... 3 592ns 0.3% 197ns 272B 0.0% 90.7B - linalg_interre... 1 4.32μs 2.2% 4.32μs 1.36KiB 0.3% 1.36KiB - basis_standard... 1 2.56μs 1.3% 2.56μs 1.17KiB 0.2% 1.17KiB - basis_normal... 1 451ns 0.2% 451ns 96.0B 0.0% 96.0B - hashtable_init... 2 1.58μs 0.8% 792ns 4.34KiB 0.8% 2.17KiB - matrix_initialize 1 1.52μs 0.8% 1.52μs 1.08KiB 0.2% 1.08KiB - matrix_transfo... 4 1.20μs 0.6% 301ns 896B 0.2% 224B - basis_normalize! 1 271ns 0.1% 271ns 96.0B 0.0% 96.0B - f4_initialize_st... 1 19.1μs 9.7% 19.1μs 453KiB 83.8% 453KiB - basis_normalize! 1 1.43μs 0.7% 1.43μs 96.0B 0.0% 96.0B - basis_export_data 1 712ns 0.4% 712ns 416B 0.1% 416B - io_convert_to_inte... 1 49.2μs 24.9% 49.2μs 4.25KiB 0.8% 4.25KiB - f4_initialize_structs 1 7.83μs 4.0% 7.83μs 33.5KiB 6.2% 33.5KiB - basis_normalize! 1 341ns 0.2% 341ns 96.0B 0.0% 96.0B - io_convert_to_output 1 2.99μs 1.5% 2.99μs 1.50KiB 0.3% 1.50KiB - linalg_interreduce... 1 2.05μs 1.0% 2.05μs 1.08KiB 0.2% 1.08KiB - basis_standardize! 1 1.83μs 0.9% 1.83μs 1.16KiB 0.2% 1.16KiB - basis_normalize! 1 371ns 0.2% 371ns 96.0B 0.0% 96.0B - hashtable_initiali... 1 1.80μs 0.9% 1.80μs 2.16KiB 0.4% 2.16KiB - matrix_transform_p... 3 1.10μs 0.6% 367ns 672B 0.1% 224B - f4_symbolic_prepro... 1 811ns 0.4% 811ns 960B 0.2% 960B - matrix_initialize 1 761ns 0.4% 761ns 1.08KiB 0.2% 1.08KiB - basis_export_data 1 421ns 0.2% 421ns 352B 0.1% 352B + _groebner 1 182μs 71.9% 182μs 494KiB 91.4% 494KiB + f4! 1 102μs 40.5% 102μs 38.0KiB 7.0% 38.0KiB + f4_reduction! 3 27.0μs 10.7% 9.00μs 8.02KiB 1.5% 2.67KiB + linalg_inter... 3 6.56μs 2.6% 2.19μs 1.34KiB 0.2% 459B + f4_select_crit... 3 19.2μs 7.6% 6.39μs 4.33KiB 0.8% 1.44KiB + matrix_trans... 10 3.46μs 1.4% 346ns 1.72KiB 0.3% 176B + f4_update! 4 8.04μs 3.2% 2.01μs 2.30KiB 0.4% 588B + pairset_update! 5 4.05μs 1.6% 810ns 800B 0.1% 160B + basis_update! 4 411ns 0.2% 103ns 0.00B 0.0% 0.00B + f4_symbolic_pr... 4 4.22μs 1.7% 1.05μs 2.34KiB 0.4% 600B + matrix_trans... 3 531ns 0.2% 177ns 272B 0.0% 90.7B + linalg_interre... 1 4.05μs 1.6% 4.05μs 1.36KiB 0.3% 1.36KiB + basis_standard... 1 2.21μs 0.9% 2.21μs 1.17KiB 0.2% 1.17KiB + basis_normal... 1 461ns 0.2% 461ns 96.0B 0.0% 96.0B + matrix_transfo... 4 1.44μs 0.6% 361ns 896B 0.2% 224B + matrix_initialize 1 1.40μs 0.6% 1.40μs 1.08KiB 0.2% 1.08KiB + hashtable_init... 2 1.04μs 0.4% 521ns 4.34KiB 0.8% 2.17KiB + basis_normalize! 1 300ns 0.1% 300ns 96.0B 0.0% 96.0B + f4_initialize_st... 1 74.2μs 29.4% 74.2μs 453KiB 83.8% 453KiB + basis_normalize! 1 961ns 0.4% 961ns 96.0B 0.0% 96.0B + basis_export_data 1 732ns 0.3% 732ns 416B 0.1% 416B + io_convert_to_inte... 1 49.8μs 19.7% 49.8μs 4.25KiB 0.8% 4.25KiB + f4_initialize_structs 1 8.26μs 3.3% 8.26μs 33.5KiB 6.2% 33.5KiB + basis_normalize! 1 351ns 0.1% 351ns 96.0B 0.0% 96.0B + io_convert_to_output 1 4.15μs 1.6% 4.15μs 1.50KiB 0.3% 1.50KiB + linalg_interreduce... 1 2.39μs 0.9% 2.39μs 1.08KiB 0.2% 1.08KiB + basis_standardize! 1 1.55μs 0.6% 1.55μs 1.16KiB 0.2% 1.16KiB + basis_normalize! 1 291ns 0.1% 291ns 96.0B 0.0% 96.0B + matrix_transform_p... 3 1.38μs 0.5% 460ns 672B 0.1% 224B + matrix_initialize 1 952ns 0.4% 952ns 1.08KiB 0.2% 1.08KiB + basis_export_data 1 782ns 0.3% 782ns 352B 0.1% 352B + f4_symbolic_prepro... 1 781ns 0.3% 781ns 960B 0.2% 960B + hashtable_initiali... 1 691ns 0.3% 691ns 2.16KiB 0.4% 2.16KiB basis_update! 1 140ns 0.1% 140ns 0.00B 0.0% 0.00B -------------------------------------------------------------------------------- 3-element Vector{AbstractAlgebra.Generic.MPoly{AbstractAlgebra.GFElem{Int64}}}: diff --git a/tutorial/index.html b/tutorial/index.html index b113d303..2ada494c 100644 --- a/tutorial/index.html +++ b/tutorial/index.html @@ -173,11 +173,11 @@

h = (x + 3)^5 -@btime gcd(gcd($f, $g), $h)
  86.271 μs (1401 allocations: 75.03 KiB)
+@btime gcd(gcd($f, $g), $h)
  92.563 μs (1401 allocations: 75.03 KiB)
 3 + x

With Groebner.jl:

F = [f, g, h]
-@btime groebner($F)
  170.918 μs (2292 allocations: 243.47 KiB)
+@btime groebner($F)
  179.495 μs (2292 allocations: 243.47 KiB)
 1-element Vector{DynamicPolynomials.Polynomial{DynamicPolynomials.Commutative{DynamicPolynomials.CreationOrder}, MultivariatePolynomials.Graded{MultivariatePolynomials.LexOrder}, Int64}}:
  3 + x

Variable Elimination