Under certain conditions it can happen that subsimplices of subdivided simplices of very large multiplicity are not evaluated in the primal algorithm. This can cause errors in Hilbert bases, lattice points of polytopes or Ehrhart (or Hilbert)series and quasipolynomials.

To fix the bug insert && C_ptr->use_bottom_points in simplex.cpp as follows:

    if (volume > SimplexParallelEvaluationBound / 10
        // || (volume > SimplexParallelEvaluationBound/10 && C_ptr->do_Hilbert_basis) )
        && !C_ptr->do_Stanley_dec && C_ptr->use_bottom_points) {  //&& omp_get_max_threads()>1)
        return false;
    }

If you need a new binary, please leave a comment or send a message to normaliz@uos.de.