triangle decomposition is done