From dfe49c9bba1b0ddd6a8733f4e744f58fa8fe3ab2 Mon Sep 17 00:00:00 2001 From: sumiya11 <60229118+sumiya11@users.noreply.github.com> Date: Fri, 2 Feb 2024 06:57:05 +0000 Subject: [PATCH] =?UTF-8?q?Deploying=20to=20gh-pages=20from=20=20@=20f0c24?= =?UTF-8?q?e0a0a9b03710a85b2f73f80e1ed5f9e2fbf=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 | 72 ++++++++++---------- 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 | 72 ++++++++++---------- tutorial/index.html | 4 +- 7 files changed, 86 insertions(+), 86 deletions(-) diff --git a/assets/developer/code/output/dev-timings.out b/assets/developer/code/output/dev-timings.out index 735d7cfe..aea036e9 100644 --- a/assets/developer/code/output/dev-timings.out +++ b/assets/developer/code/output/dev-timings.out @@ -1,44 +1,44 @@ -------------------------------------------------------------------------------- Groebner.jl Time Allocations ----------------------- ------------------------ - Tot / % measured: 91.1ms / 0.2% 5.98MiB / 8.8% + Tot / % measured: 91.5ms / 0.2% 5.98MiB / 8.8% Section ncalls time %tot avg alloc %tot avg -------------------------------------------------------------------------------- - _groebner2 1 120μs 65.2% 120μs 493KiB 91.5% 493KiB - f4! 1 86.3μs 46.9% 86.3μs 37.2KiB 6.9% 37.2KiB - f4_reduction! 3 23.7μs 12.9% 7.92μs 8.98KiB 1.7% 2.99KiB - linalg_main! 3 18.9μs 10.3% 6.30μs 6.88KiB 1.3% 2.29KiB - linalg_int... 3 1.54μs 0.8% 514ns 976B 0.2% 325B - matrix_fill_... 3 2.10μs 1.1% 701ns 256B 0.0% 85.3B - f4_update! 4 7.96μs 4.3% 1.99μs 2.30KiB 0.4% 588B - pairset_update! 5 4.32μs 2.3% 864ns 800B 0.1% 160B - basis_update! 4 401ns 0.2% 100ns 0.00B 0.0% 0.00B - f4_symbolic_pr... 4 5.69μs 3.1% 1.42μs 2.34KiB 0.4% 600B - matrix_trans... 3 570ns 0.3% 190ns 272B 0.0% 90.7B - matrix_transfo... 14 4.82μs 2.6% 344ns 2.59KiB 0.5% 190B - basis_standard... 1 1.95μs 1.1% 1.95μs 1.17KiB 0.2% 1.17KiB - basis_normal... 1 371ns 0.2% 371ns 96.0B 0.0% 96.0B - linalg_interre... 1 1.33μs 0.7% 1.33μs 1.12KiB 0.2% 1.12KiB - matrix_initialize 1 1.24μs 0.7% 1.24μs 1.08KiB 0.2% 1.08KiB - hashtable_init... 2 1.18μs 0.6% 590ns 4.34KiB 0.8% 2.17KiB - matrix_fill_co... 1 671ns 0.4% 671ns 96.0B 0.0% 96.0B - basis_normalize! 1 371ns 0.2% 371ns 96.0B 0.0% 96.0B - f4_initialize_st... 1 28.5μs 15.5% 28.5μs 453KiB 84.0% 453KiB + _groebner2 1 117μs 63.8% 117μs 493KiB 91.5% 493KiB + f4! 1 87.8μs 47.8% 87.8μs 37.2KiB 6.9% 37.2KiB + f4_reduction! 3 24.6μs 13.4% 8.19μs 8.98KiB 1.7% 2.99KiB + linalg_main! 3 18.9μs 10.3% 6.31μs 6.88KiB 1.3% 2.29KiB + linalg_int... 3 1.49μs 0.8% 498ns 976B 0.2% 325B + matrix_fill_... 3 1.83μs 1.0% 611ns 256B 0.0% 85.3B + f4_update! 4 7.18μs 3.9% 1.80μs 2.30KiB 0.4% 588B + pairset_update! 5 3.97μs 2.2% 794ns 800B 0.1% 160B + basis_update! 4 410ns 0.2% 102ns 0.00B 0.0% 0.00B + f4_symbolic_pr... 4 6.01μs 3.3% 1.50μs 2.34KiB 0.4% 600B + matrix_trans... 3 501ns 0.3% 167ns 272B 0.0% 90.7B + matrix_transfo... 14 4.96μs 2.7% 354ns 2.59KiB 0.5% 190B + basis_standard... 1 2.34μs 1.3% 2.34μs 1.17KiB 0.2% 1.17KiB + basis_normal... 1 651ns 0.4% 651ns 96.0B 0.0% 96.0B + matrix_initialize 1 1.30μs 0.7% 1.30μs 1.08KiB 0.2% 1.08KiB + hashtable_init... 2 1.29μs 0.7% 646ns 4.34KiB 0.8% 2.17KiB + linalg_interre... 1 1.09μs 0.6% 1.09μs 1.12KiB 0.2% 1.12KiB + matrix_fill_co... 1 771ns 0.4% 771ns 96.0B 0.0% 96.0B + basis_normalize! 1 420ns 0.2% 420ns 96.0B 0.0% 96.0B + f4_initialize_st... 1 24.6μs 13.4% 24.6μs 453KiB 84.0% 453KiB basis_normalize! 1 1.66μs 0.9% 1.66μs 96.0B 0.0% 96.0B - basis_export_data 1 500ns 0.3% 500ns 416B 0.1% 416B - io_convert_to_inte... 1 43.3μs 23.5% 43.3μs 3.78KiB 0.7% 3.78KiB - f4_initialize_structs 1 8.77μs 4.8% 8.77μs 33.5KiB 6.2% 33.5KiB - basis_normalize! 1 440ns 0.2% 440ns 96.0B 0.0% 96.0B - io_convert_to_output 1 4.02μs 2.2% 4.02μs 1.50KiB 0.3% 1.50KiB - basis_standardize! 1 1.82μs 1.0% 1.82μs 1.16KiB 0.2% 1.16KiB - basis_normalize! 1 400ns 0.2% 400ns 96.0B 0.0% 96.0B - matrix_transform_p... 3 1.11μs 0.6% 371ns 672B 0.1% 224B - hashtable_initiali... 1 922ns 0.5% 922ns 2.16KiB 0.4% 2.16KiB - matrix_initialize 1 901ns 0.5% 901ns 1.08KiB 0.2% 1.08KiB - f4_symbolic_prepro... 1 822ns 0.4% 822ns 960B 0.2% 960B - linalg_interreduce... 1 811ns 0.4% 811ns 896B 0.2% 896B - matrix_fill_column... 1 782ns 0.4% 782ns 80.0B 0.0% 80.0B - basis_export_data 1 722ns 0.4% 722ns 352B 0.1% 352B - basis_update! 1 130ns 0.1% 130ns 0.00B 0.0% 0.00B + basis_export_data 1 651ns 0.4% 651ns 416B 0.1% 416B + io_convert_to_inte... 1 43.9μs 23.9% 43.9μs 3.78KiB 0.7% 3.78KiB + f4_initialize_structs 1 9.33μs 5.1% 9.33μs 33.5KiB 6.2% 33.5KiB + basis_normalize! 1 390ns 0.2% 390ns 96.0B 0.0% 96.0B + io_convert_to_output 1 5.33μs 2.9% 5.33μs 1.50KiB 0.3% 1.50KiB + basis_standardize! 1 1.72μs 0.9% 1.72μs 1.16KiB 0.2% 1.16KiB + basis_normalize! 1 290ns 0.2% 290ns 96.0B 0.0% 96.0B + f4_symbolic_prepro... 1 1.21μs 0.7% 1.21μs 960B 0.2% 960B + matrix_transform_p... 3 1.21μs 0.7% 404ns 672B 0.1% 224B + matrix_initialize 1 1.02μs 0.6% 1.02μs 1.08KiB 0.2% 1.08KiB + matrix_fill_column... 1 811ns 0.4% 811ns 80.0B 0.0% 80.0B + linalg_interreduce... 1 742ns 0.4% 742ns 896B 0.2% 896B + hashtable_initiali... 1 561ns 0.3% 561ns 2.16KiB 0.4% 2.16KiB + basis_export_data 1 481ns 0.3% 481ns 352B 0.1% 352B + basis_update! 1 160ns 0.1% 160ns 0.00B 0.0% 0.00B -------------------------------------------------------------------------------- diff --git a/assets/tutorial/code/output/gcd3.out b/assets/tutorial/code/output/gcd3.out index 458c7536..6156f4d2 100644 --- a/assets/tutorial/code/output/gcd3.out +++ b/assets/tutorial/code/output/gcd3.out @@ -1 +1 @@ - 88.184 μs (1401 allocations: 75.03 KiB) + 86.731 μs (1401 allocations: 75.03 KiB) diff --git a/assets/tutorial/code/output/gcd4.out b/assets/tutorial/code/output/gcd4.out index 62ee4d32..f6cbfb50 100644 --- a/assets/tutorial/code/output/gcd4.out +++ b/assets/tutorial/code/output/gcd4.out @@ -1 +1 @@ - 161.430 μs (2217 allocations: 242.38 KiB) + 171.238 μs (2217 allocations: 242.38 KiB) diff --git a/assets/tutorial/code/output/graph2.svg b/assets/tutorial/code/output/graph2.svg index 6fb2c271..cc73e188 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 32b29616..cd74459d 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 be7c0a5b..4f40ffe8 100644 --- a/developer/index.html +++ b/developer/index.html @@ -138,46 +138,46 @@

-------------------------------------------------------------------------------- Groebner.jl Time Allocations ----------------------- ------------------------ - Tot / % measured: 91.1ms / 0.2% 5.98MiB / 8.8% + Tot / % measured: 91.5ms / 0.2% 5.98MiB / 8.8% Section ncalls time %tot avg alloc %tot avg -------------------------------------------------------------------------------- - _groebner2 1 120μs 65.2% 120μs 493KiB 91.5% 493KiB - f4! 1 86.3μs 46.9% 86.3μs 37.2KiB 6.9% 37.2KiB - f4_reduction! 3 23.7μs 12.9% 7.92μs 8.98KiB 1.7% 2.99KiB - linalg_main! 3 18.9μs 10.3% 6.30μs 6.88KiB 1.3% 2.29KiB - linalg_int... 3 1.54μs 0.8% 514ns 976B 0.2% 325B - matrix_fill_... 3 2.10μs 1.1% 701ns 256B 0.0% 85.3B - f4_update! 4 7.96μs 4.3% 1.99μs 2.30KiB 0.4% 588B - pairset_update! 5 4.32μs 2.3% 864ns 800B 0.1% 160B - basis_update! 4 401ns 0.2% 100ns 0.00B 0.0% 0.00B - f4_symbolic_pr... 4 5.69μs 3.1% 1.42μs 2.34KiB 0.4% 600B - matrix_trans... 3 570ns 0.3% 190ns 272B 0.0% 90.7B - matrix_transfo... 14 4.82μs 2.6% 344ns 2.59KiB 0.5% 190B - basis_standard... 1 1.95μs 1.1% 1.95μs 1.17KiB 0.2% 1.17KiB - basis_normal... 1 371ns 0.2% 371ns 96.0B 0.0% 96.0B - linalg_interre... 1 1.33μs 0.7% 1.33μs 1.12KiB 0.2% 1.12KiB - matrix_initialize 1 1.24μs 0.7% 1.24μs 1.08KiB 0.2% 1.08KiB - hashtable_init... 2 1.18μs 0.6% 590ns 4.34KiB 0.8% 2.17KiB - matrix_fill_co... 1 671ns 0.4% 671ns 96.0B 0.0% 96.0B - basis_normalize! 1 371ns 0.2% 371ns 96.0B 0.0% 96.0B - f4_initialize_st... 1 28.5μs 15.5% 28.5μs 453KiB 84.0% 453KiB + _groebner2 1 117μs 63.8% 117μs 493KiB 91.5% 493KiB + f4! 1 87.8μs 47.8% 87.8μs 37.2KiB 6.9% 37.2KiB + f4_reduction! 3 24.6μs 13.4% 8.19μs 8.98KiB 1.7% 2.99KiB + linalg_main! 3 18.9μs 10.3% 6.31μs 6.88KiB 1.3% 2.29KiB + linalg_int... 3 1.49μs 0.8% 498ns 976B 0.2% 325B + matrix_fill_... 3 1.83μs 1.0% 611ns 256B 0.0% 85.3B + f4_update! 4 7.18μs 3.9% 1.80μs 2.30KiB 0.4% 588B + pairset_update! 5 3.97μs 2.2% 794ns 800B 0.1% 160B + basis_update! 4 410ns 0.2% 102ns 0.00B 0.0% 0.00B + f4_symbolic_pr... 4 6.01μs 3.3% 1.50μs 2.34KiB 0.4% 600B + matrix_trans... 3 501ns 0.3% 167ns 272B 0.0% 90.7B + matrix_transfo... 14 4.96μs 2.7% 354ns 2.59KiB 0.5% 190B + basis_standard... 1 2.34μs 1.3% 2.34μs 1.17KiB 0.2% 1.17KiB + basis_normal... 1 651ns 0.4% 651ns 96.0B 0.0% 96.0B + matrix_initialize 1 1.30μs 0.7% 1.30μs 1.08KiB 0.2% 1.08KiB + hashtable_init... 2 1.29μs 0.7% 646ns 4.34KiB 0.8% 2.17KiB + linalg_interre... 1 1.09μs 0.6% 1.09μs 1.12KiB 0.2% 1.12KiB + matrix_fill_co... 1 771ns 0.4% 771ns 96.0B 0.0% 96.0B + basis_normalize! 1 420ns 0.2% 420ns 96.0B 0.0% 96.0B + f4_initialize_st... 1 24.6μs 13.4% 24.6μs 453KiB 84.0% 453KiB basis_normalize! 1 1.66μs 0.9% 1.66μs 96.0B 0.0% 96.0B - basis_export_data 1 500ns 0.3% 500ns 416B 0.1% 416B - io_convert_to_inte... 1 43.3μs 23.5% 43.3μs 3.78KiB 0.7% 3.78KiB - f4_initialize_structs 1 8.77μs 4.8% 8.77μs 33.5KiB 6.2% 33.5KiB - basis_normalize! 1 440ns 0.2% 440ns 96.0B 0.0% 96.0B - io_convert_to_output 1 4.02μs 2.2% 4.02μs 1.50KiB 0.3% 1.50KiB - basis_standardize! 1 1.82μs 1.0% 1.82μs 1.16KiB 0.2% 1.16KiB - basis_normalize! 1 400ns 0.2% 400ns 96.0B 0.0% 96.0B - matrix_transform_p... 3 1.11μs 0.6% 371ns 672B 0.1% 224B - hashtable_initiali... 1 922ns 0.5% 922ns 2.16KiB 0.4% 2.16KiB - matrix_initialize 1 901ns 0.5% 901ns 1.08KiB 0.2% 1.08KiB - f4_symbolic_prepro... 1 822ns 0.4% 822ns 960B 0.2% 960B - linalg_interreduce... 1 811ns 0.4% 811ns 896B 0.2% 896B - matrix_fill_column... 1 782ns 0.4% 782ns 80.0B 0.0% 80.0B - basis_export_data 1 722ns 0.4% 722ns 352B 0.1% 352B - basis_update! 1 130ns 0.1% 130ns 0.00B 0.0% 0.00B + basis_export_data 1 651ns 0.4% 651ns 416B 0.1% 416B + io_convert_to_inte... 1 43.9μs 23.9% 43.9μs 3.78KiB 0.7% 3.78KiB + f4_initialize_structs 1 9.33μs 5.1% 9.33μs 33.5KiB 6.2% 33.5KiB + basis_normalize! 1 390ns 0.2% 390ns 96.0B 0.0% 96.0B + io_convert_to_output 1 5.33μs 2.9% 5.33μs 1.50KiB 0.3% 1.50KiB + basis_standardize! 1 1.72μs 0.9% 1.72μs 1.16KiB 0.2% 1.16KiB + basis_normalize! 1 290ns 0.2% 290ns 96.0B 0.0% 96.0B + f4_symbolic_prepro... 1 1.21μs 0.7% 1.21μs 960B 0.2% 960B + matrix_transform_p... 3 1.21μs 0.7% 404ns 672B 0.1% 224B + matrix_initialize 1 1.02μs 0.6% 1.02μs 1.08KiB 0.2% 1.08KiB + matrix_fill_column... 1 811ns 0.4% 811ns 80.0B 0.0% 80.0B + linalg_interreduce... 1 742ns 0.4% 742ns 896B 0.2% 896B + hashtable_initiali... 1 561ns 0.3% 561ns 2.16KiB 0.4% 2.16KiB + basis_export_data 1 481ns 0.3% 481ns 352B 0.1% 352B + basis_update! 1 160ns 0.1% 160ns 0.00B 0.0% 0.00B -------------------------------------------------------------------------------- 3-element Vector{AbstractAlgebra.Generic.MPoly{AbstractAlgebra.GFElem{Int64}}}: y^2 + 2147483646*z^2 diff --git a/tutorial/index.html b/tutorial/index.html index 6bb3d187..399e6248 100644 --- a/tutorial/index.html +++ b/tutorial/index.html @@ -173,11 +173,11 @@

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

With Groebner.jl:

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

Variable Elimination