The hyperplane method of Leslie Lamport [Lam74] only deals with perfectly nested programs and uniform dependences. It yields a one-dimensional affine schedule for the complete loop body and as allocation a projection onto the source axes such that the complete transformation (schedule and allocation together) is unimodular.