From 70dd93f475ea94c879890c7fd98bc4068871d9ba Mon Sep 17 00:00:00 2001 From: sumiya11 <60229118+sumiya11@users.noreply.github.com> Date: Fri, 9 Feb 2024 08:07:26 +0000 Subject: [PATCH] =?UTF-8?q?Deploying=20to=20gh-pages=20from=20=20@=2033c4e?= =?UTF-8?q?04993dd55da7832766aa1491568fa69bd1b=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 | 74 ++++++++++---------- 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 | 74 ++++++++++---------- tutorial/index.html | 4 +- 7 files changed, 88 insertions(+), 88 deletions(-) diff --git a/assets/developer/code/output/dev-timings.out b/assets/developer/code/output/dev-timings.out index 2be2ff96..c482ff69 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: 89.8ms / 0.2% 5.98MiB / 8.8% + Tot / % measured: 94.6ms / 0.3% 5.98MiB / 8.8% Section ncalls time %tot avg alloc %tot avg -------------------------------------------------------------------------------- - _groebner2 1 114μs 64.4% 114μs 493KiB 91.5% 493KiB - f4! 1 84.6μs 47.7% 84.6μs 37.0KiB 6.9% 37.0KiB - f4_reduction! 3 22.4μs 12.6% 7.46μs 8.73KiB 1.6% 2.91KiB - linalg_main! 3 17.7μs 10.0% 5.91μs 6.62KiB 1.2% 2.21KiB - linalg_int... 3 1.55μs 0.9% 518ns 976B 0.2% 325B - matrix_fill_... 3 1.60μs 0.9% 534ns 256B 0.0% 85.3B - f4_update! 4 7.83μs 4.4% 1.96μs 2.30KiB 0.4% 588B - pairset_update! 5 4.27μs 2.4% 854ns 800B 0.1% 160B - basis_update! 4 390ns 0.2% 97.5ns 0.00B 0.0% 0.00B - f4_symbolic_pr... 4 5.33μs 3.0% 1.33μs 2.34KiB 0.4% 600B - matrix_trans... 3 530ns 0.3% 177ns 272B 0.0% 90.7B - matrix_transfo... 14 4.89μs 2.8% 349ns 2.59KiB 0.5% 190B - basis_standard... 1 2.00μs 1.1% 2.00μs 1.17KiB 0.2% 1.17KiB - basis_normal... 1 461ns 0.3% 461ns 96.0B 0.0% 96.0B - hashtable_init... 2 1.82μs 1.0% 912ns 4.34KiB 0.8% 2.17KiB - matrix_initialize 1 1.43μs 0.8% 1.43μs 1.08KiB 0.2% 1.08KiB - linalg_interre... 1 1.20μs 0.7% 1.20μs 1.12KiB 0.2% 1.12KiB - matrix_fill_co... 1 622ns 0.4% 622ns 96.0B 0.0% 96.0B - basis_normalize! 1 320ns 0.2% 320ns 96.0B 0.0% 96.0B - f4_initialize_st... 1 24.5μs 13.8% 24.5μs 453KiB 84.1% 453KiB - basis_normalize! 1 1.87μs 1.1% 1.87μs 96.0B 0.0% 96.0B - basis_export_data 1 702ns 0.4% 702ns 416B 0.1% 416B - io_convert_to_inte... 1 43.1μs 24.3% 43.1μs 3.78KiB 0.7% 3.78KiB - f4_initialize_structs 1 8.75μs 4.9% 8.75μs 33.5KiB 6.2% 33.5KiB - basis_normalize! 1 391ns 0.2% 391ns 96.0B 0.0% 96.0B - io_convert_to_output 1 4.02μs 2.3% 4.02μs 1.50KiB 0.3% 1.50KiB - basis_standardize! 1 1.53μs 0.9% 1.53μs 1.16KiB 0.2% 1.16KiB - basis_normalize! 1 281ns 0.2% 281ns 96.0B 0.0% 96.0B - matrix_transform_p... 3 1.05μs 0.6% 351ns 672B 0.1% 224B - matrix_fill_column... 1 821ns 0.5% 821ns 80.0B 0.0% 80.0B - linalg_interreduce... 1 821ns 0.5% 821ns 896B 0.2% 896B - matrix_initialize 1 771ns 0.4% 771ns 1.08KiB 0.2% 1.08KiB - f4_symbolic_prepro... 1 752ns 0.4% 752ns 960B 0.2% 960B - basis_export_data 1 731ns 0.4% 731ns 352B 0.1% 352B - hashtable_initiali... 1 711ns 0.4% 711ns 2.16KiB 0.4% 2.16KiB - basis_update! 1 130ns 0.1% 130ns 0.00B 0.0% 0.00B + _groebner2 1 160μs 66.9% 160μs 493KiB 91.5% 493KiB + f4! 1 116μs 48.4% 116μs 37.0KiB 6.9% 37.0KiB + f4_reduction! 3 26.9μs 11.3% 8.96μs 8.73KiB 1.6% 2.91KiB + linalg_main! 3 21.2μs 8.9% 7.06μs 6.62KiB 1.2% 2.21KiB + linalg_int... 3 1.84μs 0.8% 615ns 976B 0.2% 325B + matrix_fill_... 3 1.79μs 0.8% 598ns 256B 0.0% 85.3B + f4_update! 4 26.2μs 11.0% 6.56μs 2.30KiB 0.4% 588B + pairset_update! 5 4.38μs 1.8% 876ns 800B 0.1% 160B + basis_update! 4 420ns 0.2% 105ns 0.00B 0.0% 0.00B + f4_symbolic_pr... 4 6.25μs 2.6% 1.56μs 2.34KiB 0.4% 600B + matrix_trans... 3 580ns 0.2% 193ns 272B 0.0% 90.7B + matrix_transfo... 14 4.96μs 2.1% 354ns 2.59KiB 0.5% 190B + basis_standard... 1 2.91μs 1.2% 2.91μs 1.17KiB 0.2% 1.17KiB + basis_normal... 1 590ns 0.2% 590ns 96.0B 0.0% 96.0B + matrix_initialize 1 1.87μs 0.8% 1.87μs 1.08KiB 0.2% 1.08KiB + hashtable_init... 2 1.67μs 0.7% 836ns 4.34KiB 0.8% 2.17KiB + linalg_interre... 1 1.55μs 0.7% 1.55μs 1.12KiB 0.2% 1.12KiB + matrix_fill_co... 1 662ns 0.3% 662ns 96.0B 0.0% 96.0B + basis_normalize! 1 401ns 0.2% 401ns 96.0B 0.0% 96.0B + f4_initialize_st... 1 37.9μs 15.9% 37.9μs 453KiB 84.1% 453KiB + basis_normalize! 1 2.09μs 0.9% 2.09μs 96.0B 0.0% 96.0B + basis_export_data 1 761ns 0.3% 761ns 416B 0.1% 416B + io_convert_to_inte... 1 52.1μs 21.8% 52.1μs 3.78KiB 0.7% 3.78KiB + f4_initialize_structs 1 10.8μs 4.5% 10.8μs 33.5KiB 6.2% 33.5KiB + basis_normalize! 1 461ns 0.2% 461ns 96.0B 0.0% 96.0B + io_convert_to_output 1 6.65μs 2.8% 6.65μs 1.50KiB 0.3% 1.50KiB + basis_standardize! 1 1.78μs 0.7% 1.78μs 1.16KiB 0.2% 1.16KiB + basis_normalize! 1 401ns 0.2% 401ns 96.0B 0.0% 96.0B + matrix_initialize 1 1.63μs 0.7% 1.63μs 1.08KiB 0.2% 1.08KiB + matrix_transform_p... 3 1.51μs 0.6% 505ns 672B 0.1% 224B + linalg_interreduce... 1 1.23μs 0.5% 1.23μs 896B 0.2% 896B + matrix_fill_column... 1 892ns 0.4% 892ns 80.0B 0.0% 80.0B + f4_symbolic_prepro... 1 822ns 0.3% 822ns 960B 0.2% 960B + hashtable_initiali... 1 811ns 0.3% 811ns 2.16KiB 0.4% 2.16KiB + basis_export_data 1 652ns 0.3% 652ns 352B 0.1% 352B + 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 5fa76c51..c5fa6f5f 100644 --- a/assets/tutorial/code/output/gcd3.out +++ b/assets/tutorial/code/output/gcd3.out @@ -1 +1 @@ - 90.790 μs (1401 allocations: 75.03 KiB) + 88.986 μs (1401 allocations: 75.03 KiB) diff --git a/assets/tutorial/code/output/gcd4.out b/assets/tutorial/code/output/gcd4.out index 59ea8127..b1c36bdb 100644 --- a/assets/tutorial/code/output/gcd4.out +++ b/assets/tutorial/code/output/gcd4.out @@ -1 +1 @@ - 163.527 μs (2227 allocations: 242.86 KiB) + 191.055 μs (2227 allocations: 242.86 KiB) diff --git a/assets/tutorial/code/output/graph2.svg b/assets/tutorial/code/output/graph2.svg index f5737517..2b1634c9 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 a05775ae..0efda283 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 e408e2e9..e666fb40 100644 --- a/developer/index.html +++ b/developer/index.html @@ -138,46 +138,46 @@

-------------------------------------------------------------------------------- Groebner.jl Time Allocations ----------------------- ------------------------ - Tot / % measured: 89.8ms / 0.2% 5.98MiB / 8.8% + Tot / % measured: 94.6ms / 0.3% 5.98MiB / 8.8% Section ncalls time %tot avg alloc %tot avg -------------------------------------------------------------------------------- - _groebner2 1 114μs 64.4% 114μs 493KiB 91.5% 493KiB - f4! 1 84.6μs 47.7% 84.6μs 37.0KiB 6.9% 37.0KiB - f4_reduction! 3 22.4μs 12.6% 7.46μs 8.73KiB 1.6% 2.91KiB - linalg_main! 3 17.7μs 10.0% 5.91μs 6.62KiB 1.2% 2.21KiB - linalg_int... 3 1.55μs 0.9% 518ns 976B 0.2% 325B - matrix_fill_... 3 1.60μs 0.9% 534ns 256B 0.0% 85.3B - f4_update! 4 7.83μs 4.4% 1.96μs 2.30KiB 0.4% 588B - pairset_update! 5 4.27μs 2.4% 854ns 800B 0.1% 160B - basis_update! 4 390ns 0.2% 97.5ns 0.00B 0.0% 0.00B - f4_symbolic_pr... 4 5.33μs 3.0% 1.33μs 2.34KiB 0.4% 600B - matrix_trans... 3 530ns 0.3% 177ns 272B 0.0% 90.7B - matrix_transfo... 14 4.89μs 2.8% 349ns 2.59KiB 0.5% 190B - basis_standard... 1 2.00μs 1.1% 2.00μs 1.17KiB 0.2% 1.17KiB - basis_normal... 1 461ns 0.3% 461ns 96.0B 0.0% 96.0B - hashtable_init... 2 1.82μs 1.0% 912ns 4.34KiB 0.8% 2.17KiB - matrix_initialize 1 1.43μs 0.8% 1.43μs 1.08KiB 0.2% 1.08KiB - linalg_interre... 1 1.20μs 0.7% 1.20μs 1.12KiB 0.2% 1.12KiB - matrix_fill_co... 1 622ns 0.4% 622ns 96.0B 0.0% 96.0B - basis_normalize! 1 320ns 0.2% 320ns 96.0B 0.0% 96.0B - f4_initialize_st... 1 24.5μs 13.8% 24.5μs 453KiB 84.1% 453KiB - basis_normalize! 1 1.87μs 1.1% 1.87μs 96.0B 0.0% 96.0B - basis_export_data 1 702ns 0.4% 702ns 416B 0.1% 416B - io_convert_to_inte... 1 43.1μs 24.3% 43.1μs 3.78KiB 0.7% 3.78KiB - f4_initialize_structs 1 8.75μs 4.9% 8.75μs 33.5KiB 6.2% 33.5KiB - basis_normalize! 1 391ns 0.2% 391ns 96.0B 0.0% 96.0B - io_convert_to_output 1 4.02μs 2.3% 4.02μs 1.50KiB 0.3% 1.50KiB - basis_standardize! 1 1.53μs 0.9% 1.53μs 1.16KiB 0.2% 1.16KiB - basis_normalize! 1 281ns 0.2% 281ns 96.0B 0.0% 96.0B - matrix_transform_p... 3 1.05μs 0.6% 351ns 672B 0.1% 224B - matrix_fill_column... 1 821ns 0.5% 821ns 80.0B 0.0% 80.0B - linalg_interreduce... 1 821ns 0.5% 821ns 896B 0.2% 896B - matrix_initialize 1 771ns 0.4% 771ns 1.08KiB 0.2% 1.08KiB - f4_symbolic_prepro... 1 752ns 0.4% 752ns 960B 0.2% 960B - basis_export_data 1 731ns 0.4% 731ns 352B 0.1% 352B - hashtable_initiali... 1 711ns 0.4% 711ns 2.16KiB 0.4% 2.16KiB - basis_update! 1 130ns 0.1% 130ns 0.00B 0.0% 0.00B + _groebner2 1 160μs 66.9% 160μs 493KiB 91.5% 493KiB + f4! 1 116μs 48.4% 116μs 37.0KiB 6.9% 37.0KiB + f4_reduction! 3 26.9μs 11.3% 8.96μs 8.73KiB 1.6% 2.91KiB + linalg_main! 3 21.2μs 8.9% 7.06μs 6.62KiB 1.2% 2.21KiB + linalg_int... 3 1.84μs 0.8% 615ns 976B 0.2% 325B + matrix_fill_... 3 1.79μs 0.8% 598ns 256B 0.0% 85.3B + f4_update! 4 26.2μs 11.0% 6.56μs 2.30KiB 0.4% 588B + pairset_update! 5 4.38μs 1.8% 876ns 800B 0.1% 160B + basis_update! 4 420ns 0.2% 105ns 0.00B 0.0% 0.00B + f4_symbolic_pr... 4 6.25μs 2.6% 1.56μs 2.34KiB 0.4% 600B + matrix_trans... 3 580ns 0.2% 193ns 272B 0.0% 90.7B + matrix_transfo... 14 4.96μs 2.1% 354ns 2.59KiB 0.5% 190B + basis_standard... 1 2.91μs 1.2% 2.91μs 1.17KiB 0.2% 1.17KiB + basis_normal... 1 590ns 0.2% 590ns 96.0B 0.0% 96.0B + matrix_initialize 1 1.87μs 0.8% 1.87μs 1.08KiB 0.2% 1.08KiB + hashtable_init... 2 1.67μs 0.7% 836ns 4.34KiB 0.8% 2.17KiB + linalg_interre... 1 1.55μs 0.7% 1.55μs 1.12KiB 0.2% 1.12KiB + matrix_fill_co... 1 662ns 0.3% 662ns 96.0B 0.0% 96.0B + basis_normalize! 1 401ns 0.2% 401ns 96.0B 0.0% 96.0B + f4_initialize_st... 1 37.9μs 15.9% 37.9μs 453KiB 84.1% 453KiB + basis_normalize! 1 2.09μs 0.9% 2.09μs 96.0B 0.0% 96.0B + basis_export_data 1 761ns 0.3% 761ns 416B 0.1% 416B + io_convert_to_inte... 1 52.1μs 21.8% 52.1μs 3.78KiB 0.7% 3.78KiB + f4_initialize_structs 1 10.8μs 4.5% 10.8μs 33.5KiB 6.2% 33.5KiB + basis_normalize! 1 461ns 0.2% 461ns 96.0B 0.0% 96.0B + io_convert_to_output 1 6.65μs 2.8% 6.65μs 1.50KiB 0.3% 1.50KiB + basis_standardize! 1 1.78μs 0.7% 1.78μs 1.16KiB 0.2% 1.16KiB + basis_normalize! 1 401ns 0.2% 401ns 96.0B 0.0% 96.0B + matrix_initialize 1 1.63μs 0.7% 1.63μs 1.08KiB 0.2% 1.08KiB + matrix_transform_p... 3 1.51μs 0.6% 505ns 672B 0.1% 224B + linalg_interreduce... 1 1.23μs 0.5% 1.23μs 896B 0.2% 896B + matrix_fill_column... 1 892ns 0.4% 892ns 80.0B 0.0% 80.0B + f4_symbolic_prepro... 1 822ns 0.3% 822ns 960B 0.2% 960B + hashtable_initiali... 1 811ns 0.3% 811ns 2.16KiB 0.4% 2.16KiB + basis_export_data 1 652ns 0.3% 652ns 352B 0.1% 352B + basis_update! 1 140ns 0.1% 140ns 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 1124331c..019156e2 100644 --- a/tutorial/index.html +++ b/tutorial/index.html @@ -173,11 +173,11 @@

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

With Groebner.jl:

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

Variable Elimination