R package implementing the PORTA polyhedron library