Restrict usages of special decomposition.

src/Rings/mpoly-ideals.jl

@@ -1067,7 +1067,7 @@ julia> L = minimal_primes(I)
 function minimal_primes(I::MPolyIdeal; algorithm::Symbol = :GTZ, cache::Bool=true)
   has_attribute(I, :minimal_primes) && return get_attribute(I, :minimal_primes)::Vector{typeof(I)}
   R = base_ring(I)
-  if is_zero(dim(I))
+  if coefficient_ring(R) isa QQField && is_zero(dim(I))
     L = Singular.LibAssprimeszerodim.assPrimes(singular_generators(I))
     result = typeof(I)[ideal(R, q) for q in L]
     cache && set_attribute!(I, :minimal_primes=>result)
@@ -1120,14 +1120,6 @@ function minimal_primes(
   has_attribute(I, :minimal_primes) && return get_attribute(I, :minimal_primes)::Vector{typeof(I)}
 
   R = base_ring(I)
-
-  if is_zero(dim(I)) # Special functionality available here
-    # Flattening does not do good in the examples we tested
-    L = Singular.LibAssprimeszerodim.assPrimes(singular_generators(I))
-    result = typeof(I)[ideal(R, q) for q in L]
-    cache && set_attribute!(I, :minimal_primes=>result)
-    return result
-  end
 
   is_one(I) && return typeof(I)[]