to its position in the new iteration space, 
:
Matrix U maps each statement instance
to its position in the new iteration space, :
Original iteration space:
Transformed iteration space:
The dependences are subject to the same transformation.