Computing the binomial part of a polynomial ideal. - Martin Kreuzer; Florian Walsh (J. Symb. Comput., 2024)