From 71c41e8a567e5d4fb60f09a271719529c6b9a427 Mon Sep 17 00:00:00 2001
From: Sasha Demin <demin@lix.polytechnique.fr>
Date: Thu, 12 Oct 2023 06:27:32 +0200
Subject: [PATCH] add a couple of benchmarks

---
 benchmark/symbolicdata.jl | 16 ++++++++++++++++
 1 file changed, 16 insertions(+)

diff --git a/benchmark/symbolicdata.jl b/benchmark/symbolicdata.jl
index 2bbac3b..669d341 100644
--- a/benchmark/symbolicdata.jl
+++ b/benchmark/symbolicdata.jl
@@ -1,3 +1,6 @@
+# https://symbolicdata.github.io/PolynomialSystems
+# https://github.com/symbolicdata/data
+
 using Nemo
 
 ###
@@ -43,3 +46,16 @@ system = [
 ]
 
 @time ParamPunPam.paramgb(system)
+
+###
+# source: https://github.com/symbolicdata/data/blob/master/XMLResources/IntPS/Vermeer.xml
+
+using Groebner
+R, (w, v, u, y, x) = PolynomialRing(QQ, [:w, :v, :u, :y, :x])
+system = [
+    v^2 + u^2 - 2 * v * y + y^2 - 2 * u * x + x^2 - 1,
+    -u^3 + v^2,
+    -3 * v * u^2 + 3 * u^2 * y - 2 * v * u + 2 * v * x,
+    6 * w^2 * v * u^2 - 3 * w * u^2 - 2 * w * v + 1
+]
+@time groebner(system);