It is one of the beauty of map based theory that all the operation in the code can be made (at the expense of speed sometimes), identical for anything we normalize. This includes lattice function calculations and phase advance calculations. N.B. In actual practical coding, tricks are used in phase advance calculations to avoid a normal form at each step. This breaks the universality of the algoritm since the tricks depend on the actual object being normalized.