From 45df9f9983383a55cfe16e30ef149b313cbe09e9 Mon Sep 17 00:00:00 2001
From: sumiya11 <60229118+sumiya11@users.noreply.github.com>
Date: Sun, 13 Oct 2024 11:24:27 +0000
Subject: [PATCH] =?UTF-8?q?Deploying=20to=20gh-pages=20from=20=20@=2047604?=
=?UTF-8?q?8112317e30b5578f3bc8d08845749839ea7=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 | 3 ++-
assets/tutorial/code/output/gcd3.out | 2 +-
assets/tutorial/code/output/gcd4.out | 2 +-
assets/tutorial/code/output/graph2.svg | 18 +++++++++---------
assets/tutorial/code/output/graphcolored.svg | 18 +++++++++---------
benchmarks/index.html | 2 +-
developer/index.html | 5 +++--
index.html | 2 +-
interface/index.html | 2 +-
sitemap.xml | 14 +++++++-------
tutorial/index.html | 6 +++---
11 files changed, 38 insertions(+), 36 deletions(-)
diff --git a/assets/developer/code/output/dev-timings.out b/assets/developer/code/output/dev-timings.out
index 7118432e..e17418ad 100644
--- a/assets/developer/code/output/dev-timings.out
+++ b/assets/developer/code/output/dev-timings.out
@@ -1 +1,2 @@
-UndefVarError: `performance_counters_enabled` not defined
+UndefVarError: `performance_counters_enabled` not defined in `Groebner`
+Suggestion: check for spelling errors or missing imports.
diff --git a/assets/tutorial/code/output/gcd3.out b/assets/tutorial/code/output/gcd3.out
index 8d4d2ec6..e316a10c 100644
--- a/assets/tutorial/code/output/gcd3.out
+++ b/assets/tutorial/code/output/gcd3.out
@@ -1 +1 @@
- 67.717 μs (939 allocations: 59.97 KiB)
+ 83.726 μs (1669 allocations: 64.62 KiB)
diff --git a/assets/tutorial/code/output/gcd4.out b/assets/tutorial/code/output/gcd4.out
index 112602be..bcb3ab38 100644
--- a/assets/tutorial/code/output/gcd4.out
+++ b/assets/tutorial/code/output/gcd4.out
@@ -1 +1 @@
- 158.526 μs (1889 allocations: 143.28 KiB)
+ 143.136 μs (2712 allocations: 137.27 KiB)
diff --git a/assets/tutorial/code/output/graph2.svg b/assets/tutorial/code/output/graph2.svg
index d5eb3272..fa895aa1 100644
--- a/assets/tutorial/code/output/graph2.svg
+++ b/assets/tutorial/code/output/graph2.svg
@@ -13,14 +13,14 @@
-
+
-
+
-
+
@@ -37,13 +37,13 @@
-
+
-
+
-
+
-
+
@@ -57,7 +57,7 @@
-
+
1
@@ -79,7 +79,7 @@
-
+
diff --git a/assets/tutorial/code/output/graphcolored.svg b/assets/tutorial/code/output/graphcolored.svg
index 54935bf2..53d95b66 100644
--- a/assets/tutorial/code/output/graphcolored.svg
+++ b/assets/tutorial/code/output/graphcolored.svg
@@ -13,14 +13,14 @@
-
+
-
+
-
+
@@ -37,13 +37,13 @@
-
+
-
+
-
+
-
+
@@ -57,7 +57,7 @@
-
+
1
@@ -79,7 +79,7 @@
-
+
diff --git a/benchmarks/index.html b/benchmarks/index.html
index f205377e..a079b81b 100644
--- a/benchmarks/index.html
+++ b/benchmarks/index.html
@@ -101,7 +101,7 @@