Text this: Four-dimensional representation and collision detection forpolytopic objects