It's also sometimes called split red lentils or whole red lentils, depending on whether the lentils have been split or not.