Fix bug.

oscar-system · Jul 29, 2024 · 2743f47 · 2743f47
1 parent 0f8dd1b
commit 2743f47
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/src/AlgebraicGeometry/Schemes/AffineSchemes/Objects/Properties.jl b/src/AlgebraicGeometry/Schemes/AffineSchemes/Objects/Properties.jl
@@ -699,6 +699,7 @@ true
   L = localized_ring(OO(X))
   I = modulus(OO(X))
   f = gens(saturated_ideal(I))
+  is_zero(length(f)) && return true
   Df = jacobian_matrix(f)
   A = map_entries(x->OO(X)(x), Df)
   success, _, _ = Oscar._is_projective_without_denominators(A, task=:without_projector)