partition-intervals