Remove deprecated use of MPolyElem

oscar-system · Feb 16, 2024 · ee04277 · ee04277
1 parent 3605891
commit ee04277
Show file tree

Hide file tree

Showing 5 changed files with 6 additions and 6 deletions.
diff --git 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
@@ -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
@@ -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
@@ -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
@@ -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]