The dependence equations are:

and the constraints are:

• Original loop limits for the inner loop are linear in the outer loop
• Retain shape of the iteration space using semi-normalized loops
• Use new iteration variable for the inner loop

The dependence equations are:

and the constraints are: