partition of an interval