Optimise solve_dixon_den for early termination.
Optimise solve_dixon_den for early termination.

fredrik-johansson/flint2,wbhart/flint2,fredrik-johansson/flint2,fredrik-johansson/flint2,wbhart/flint2,wbhart/flint2