mpoly-ideals.jl aktualisieren

Co-authored-by: Lars Göttgens <lars.goettgens@gmail.com>
oscar-system · Oct 24, 2024 · d14c5a8 · d14c5a8
1 parent e347271
commit d14c5a8
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/Rings/mpoly-ideals.jl b/src/Rings/mpoly-ideals.jl
@@ -1885,7 +1885,7 @@ julia> dim(I)
     return I.dim
   end
   is_zero(ngens(base_ring(I))) && return 0 # Catch a boundary case
-  if (is_f4_applicable(I, degrevlex(base_ring(I))))
+  if is_f4_applicable(I, degrevlex(base_ring(I)))
     I.dim = AlgebraicSolving.dimension(AlgebraicSolving.Ideal(I.gens.O))
   else
     I.dim = Singular.dimension(singular_groebner_generators(I, false, true))