Álgebra de ramo de ideales tóricos