From ee0427766042dd28923ef53cdfa4eb75977db914 Mon Sep 17 00:00:00 2001
From: Johannes Schmitt <schmitt@mathematik.uni-kl.de>
Date: Wed, 14 Feb 2024 16:33:54 +0100
Subject: [PATCH] Remove deprecated use of `MPolyElem`

---
 .../FTheoryTools/src/LiteratureModels/constructors.jl         | 4 ++--
 experimental/FTheoryTools/src/TateModels/attributes.jl        | 2 +-
 experimental/FTheoryTools/src/TateModels/constructors.jl      | 2 +-
 .../FTheoryTools/src/WeierstrassModels/constructors.jl        | 2 +-
 src/Rings/mpoly-ideals.jl                                     | 2 +-
 5 files changed, 6 insertions(+), 6 deletions(-)

diff --git a/experimental/FTheoryTools/src/LiteratureModels/constructors.jl b/experimental/FTheoryTools/src/LiteratureModels/constructors.jl
index 00d46b9344d8..87646075844e 100644
--- a/experimental/FTheoryTools/src/LiteratureModels/constructors.jl
+++ b/experimental/FTheoryTools/src/LiteratureModels/constructors.jl
@@ -297,7 +297,7 @@ function _construct_literature_model_over_concrete_base(model_dict::Dict{String,
     explicit_model_sections["a6"] = map(a6)
 
     # Find defining_section_parametrization
-    defining_section_parametrization = Dict{String, MPolyElem}()
+    defining_section_parametrization = Dict{String, MPolyRingElem}()
     if !("a1" in vars) || (a1 != eval_poly("a1", parent(a1)))
       defining_section_parametrization["a1"] = a1
     end
@@ -328,7 +328,7 @@ function _construct_literature_model_over_concrete_base(model_dict::Dict{String,
     explicit_model_sections["g"] = map(g)
 
     # Find defining_section_parametrization
-    defining_section_parametrization = Dict{String, MPolyElem}()
+    defining_section_parametrization = Dict{String, MPolyRingElem}()
     if !("f" in vars) || (f != eval_poly("f", parent(f)))
       defining_section_parametrization["f"] = f
     end
diff --git a/experimental/FTheoryTools/src/TateModels/attributes.jl b/experimental/FTheoryTools/src/TateModels/attributes.jl
index aa56c4712a40..ba8d67c22771 100644
--- a/experimental/FTheoryTools/src/TateModels/attributes.jl
+++ b/experimental/FTheoryTools/src/TateModels/attributes.jl
@@ -202,7 +202,7 @@ Weierstrass model over a not fully specified base -- SU(5)xU(1) restricted Tate
   # Compute parametrization of Weierstrass sections
   parametrization = defining_section_parametrization(t)
   param_keys = collect(keys(parametrization))
-  new_defining_section_parametrization = Dict{String, MPolyElem}()
+  new_defining_section_parametrization = Dict{String, MPolyRingElem}()
   if length(param_keys) > 0
     # Find ring to evaluate polynomials into
     R = parent(parametrization[param_keys[1]])
diff --git a/experimental/FTheoryTools/src/TateModels/constructors.jl b/experimental/FTheoryTools/src/TateModels/constructors.jl
index 128123c114f9..7c46ae037f2b 100644
--- a/experimental/FTheoryTools/src/TateModels/constructors.jl
+++ b/experimental/FTheoryTools/src/TateModels/constructors.jl
@@ -168,7 +168,7 @@ function global_tate_model(auxiliary_base_ring::MPolyRing, auxiliary_base_gradin
   end
 
   # Compute defining_section_parametrization
-  defining_section_parametrization = Dict{String, MPolyElem}()
+  defining_section_parametrization = Dict{String, MPolyRingElem}()
   vars_S = [string(k) for k in gens(S)]
   if !("a1" in vars_S) || (a1 != eval_poly("a1", parent(a1)))
     defining_section_parametrization["a1"] = a1
diff --git a/experimental/FTheoryTools/src/WeierstrassModels/constructors.jl b/experimental/FTheoryTools/src/WeierstrassModels/constructors.jl
index ee0867bad7f6..efa9d92f81c5 100644
--- a/experimental/FTheoryTools/src/WeierstrassModels/constructors.jl
+++ b/experimental/FTheoryTools/src/WeierstrassModels/constructors.jl
@@ -148,7 +148,7 @@ function weierstrass_model(auxiliary_base_ring::MPolyRing, auxiliary_base_gradin
   end
 
   # Compute defining_section_parametrization
-  defining_section_parametrization = Dict{String, MPolyElem}()
+  defining_section_parametrization = Dict{String, MPolyRingElem}()
   vars_S = [string(k) for k in gens(S)]
   if !("f" in vars_S) || (f != eval_poly("f", parent(f)))
     defining_section_parametrization["f"] = f
diff --git a/src/Rings/mpoly-ideals.jl b/src/Rings/mpoly-ideals.jl
index 1e8b1ff7bfac..20c1307ad44c 100644
--- a/src/Rings/mpoly-ideals.jl
+++ b/src/Rings/mpoly-ideals.jl
@@ -2053,7 +2053,7 @@ function flag_pluecker_ideal(F::Field, dimensions::Vector{Int}, n::Int)
   L2 = reduce(vcat, [subsets(n, d + 1) for d in dimensions])
 
   R, x = polynomial_ring(F, "x" => L; cached=false)
-  xdict = Dict{Vector{Int},MPolyElem}([L[i] => x[i] for i in 1:length(L)])
+  xdict = Dict{Vector{Int},MPolyRingElem}([L[i] => x[i] for i in 1:length(L)])
 
   X = [(a, b) for a in L1, b in L2 if length(b) - length(a) >= 2]