Text this: PANDA: a software for polyhedral transformations