Repair methods for has_dim_leq_zero.

oscar-system · Oct 4, 2024 · f4df3ad · f4df3ad
1 parent 2dd38da
commit f4df3ad
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/src/AlgebraicGeometry/Schemes/Sheaves/IdealSheaves.jl b/src/AlgebraicGeometry/Schemes/Sheaves/IdealSheaves.jl
@@ -345,7 +345,7 @@ end
 end
 
 @attr Bool function has_dimension_leq_zero(I::Ideal)
-  is_one(I) && return true
+  #is_one(I) && return true
   return dim(I) <= 0
 end
 
@@ -354,14 +354,14 @@ end
   P = base_ring(R)::MPolyRing
   J = ideal(P, numerator.(gens(I)))
   has_dimension_leq_zero(J) && return true
-  is_one(I) && return true
+  #is_one(I) && return true
   return dim(I) <= 0
 end
 
 @attr Bool function has_dimension_leq_zero(I::MPolyQuoLocalizedIdeal)
   R = base_ring(I)
   P = base_ring(R)::MPolyRing
-  J = ideal(P, lifted_numerator.(gens(I)))
+  J = pre_saturated_ideal(pre_image_ideal(I))
   has_dimension_leq_zero(J) && return true
   is_one(I) && return true
   return dim(I) <= 0