Describir: PANDA: a software for polyhedral transformations