Adjust localizations to proper types for monomial orderings (#1171)

* Use proper types for monomial orderings in the localizations
oscar-system · Mar 18, 2022 · f8ea633 · f8ea633
1 parent ed979d7
commit f8ea633
Show file tree

Hide file tree

Showing 8 changed files with 268 additions and 73 deletions.
diff --git a/experimental/PlaneCurve/AffinePlaneCurve.jl b/experimental/PlaneCurve/AffinePlaneCurve.jl
@@ -432,7 +432,7 @@ function intersection_multiplicity(C::AffinePlaneCurve{S}, D::AffinePlaneCurve{S
   m = ideal_point(R, P)
   r = Localization(R, m)
   I = ideal(r, [C.eq, D.eq])
-  G = groebner_assure(I)
+  G = Oscar.groebner_assure(I)
   return Singular.vdim(G.S)
 end
 

diff --git a/experimental/PlaneCurve/ProjPlaneCurve.jl b/experimental/PlaneCurve/ProjPlaneCurve.jl
@@ -275,7 +275,7 @@ function curve_singular_locus(PP::Oscar.Geometry.ProjSpc{S}, C::ProjectivePlaneC
   pY = phi(FY.f)
   pZ = phi(FZ.f)
   I = ideal([pF, pX, pY, pZ])
-  g = collect(groebner_assure(I, lex(gens(rr)), true))
+  g = collect(Oscar.groebner_assure(I, lex(gens(rr)), true))
   f = factor(g[1])
   ro = []
   for h in keys(f.fac)

diff --git a/experimental/Schemes/AffineSchemes.jl b/experimental/Schemes/AffineSchemes.jl
@@ -237,7 +237,7 @@ function hypersurface_complement(X::Spec{BRT, BRET, RT, RET, MST}, f::RET; keep_
         if issubset(Jsat, saturated_ideal(IX))
           for o in keys(DIX)
             gb = DIX[o]
-            groebner_bases(J)[o] = LocalizedBiPolyArray(localized_ring(W), singular_gens(gb), shift(gb), true)
+            groebner_bases(J)[o] = LocalizedBiPolyArray(localized_ring(W), singular_gens(gb), shift(gb), o.o, true)
           end
         end
         set_attribute!(W, :localized_modulus, J)