Irrendundant Triangular Decomposition