An ideal is said to be unmixed if all associated primes of R/I have the same dimension. In this case the algorithm tends to be much faster.