From fe52c01389ff31d12f5425802f2ab2f0e1f8940c Mon Sep 17 00:00:00 2001
From: Sasha Demin <ademin@mpi-inf.mpg.de>
Date: Wed, 26 Jul 2023 08:58:07 +0200
Subject: [PATCH] add Groebner v0.4

---
 Project.toml          |  2 +-
 src/groebner_basis.jl | 10 +++++-----
 2 files changed, 6 insertions(+), 6 deletions(-)

diff --git a/Project.toml b/Project.toml
index 8e83f1202..32482902a 100644
--- a/Project.toml
+++ b/Project.toml
@@ -47,7 +47,7 @@ DiffRules = "1.4"
 Distributions = "0.23, 0.24, 0.25"
 DocStringExtensions = "0.7, 0.8, 0.9"
 DomainSets = "0.6"
-Groebner = "0.3"
+Groebner = "0.3, 0.4"
 IfElse = "0.1"
 LaTeXStrings = "1.3"
 Latexify = "0.11, 0.12, 0.13, 0.14, 0.15, 0.16"
diff --git a/src/groebner_basis.jl b/src/groebner_basis.jl
index df4d0ca46..fd8959673 100644
--- a/src/groebner_basis.jl
+++ b/src/groebner_basis.jl
@@ -3,9 +3,9 @@ DP = SymbolicUtils.DynamicPolynomials
 Bijections = SymbolicUtils.Bijections
 
 # extracting underlying polynomial and coefficient type from Polyforms
-underlyingpoly(x::Number)    = x
+underlyingpoly(x::Number) = x
 underlyingpoly(pf::PolyForm) = pf.p
-coefftype(x::Number)    = typeof(x)
+coefftype(x::Number) = typeof(x)
 coefftype(pf::PolyForm) = DP.coefficienttype(underlyingpoly(pf))
 
 #=
@@ -19,8 +19,8 @@ function symbol_to_poly(sympolys::AbstractArray)
     stdsympolys = map(unwrap, sympolys)
     sort!(stdsympolys, lt=(<ₑ))
 
-    pvar2sym  = Bijections.Bijection{Any,Any}()
-    sym2term  = Dict{BasicSymbolic,Any}()
+    pvar2sym = Bijections.Bijection{Any,Any}()
+    sym2term = Dict{BasicSymbolic,Any}()
     polyforms = map(f -> PolyForm(f, pvar2sym, sym2term), stdsympolys)
 
     # Discover common coefficient type
@@ -72,7 +72,7 @@ The algorithm is randomized, so the basis will be correct with high probability.
 function groebner_basis(polynomials)
     polynoms, pvar2sym, sym2term = symbol_to_poly(polynomials)
 
-    basis = groebner(polynoms, reduced=true)
+    basis = groebner(polynoms)
 
     # polynomials is nonemtpy
     T = symtype(first(polynomials))