Irreducible decomposition of binomial ideals. (1st April 2016)