1: \begin{abstract}

2: Let $\mS \subseteq \zz^m \oplus T$ be a finitely generated and reduced  monoid. In this paper we develop a general strategy to study the set of elements in $\mathcal S$ having at least two factorizations of the same length, namely the ideal $\mathcal L_{\mathcal S}$.

3: To this end, we work with a certain (lattice) ideal associated to the monoid $\mathcal S$.

4: Our study can be seen as a new approach generalizing  \cite{chapman:2011}, which only studies the case of numerical semigroups. When $\mS$ is a numerical semigroup we give three main results: (1) we compute explicitly a set of generators of the ideal $\mathcal L_{\mathcal S}$ when $\mathcal S$ is minimally generated by an almost arithmetic sequence;  (2) we provide an infinite family of numerical semigroups such that 

5: $\mathcal L_{\mathcal S}$ is a principal ideal; (3) we classify the computational problem of determining the largest integer not in $\mathcal L_{\mathcal S}$ as an $\mathcal{NP}$-hard problem.

6: 

7: %\keywords{Affine variety codes \and Multi-party computation \and Square codes \and Schur product of codes \and Minkowski sum \and convex set}

8: % \PACS{PACS code1 \and PACS code2 \and more}

9: %\subclass{94B05 \and 94B75}

10: \end{abstract}

11: