Partition representations: Difference between revisions

The division-based and divider-based representations are dual to one another: counting the number of elements with no divisions in between and the number of dividers with no elements in between are symmetric concepts. We can convert between then using the [[Indices]] primitive and its inverse. The following diagram shows the relationships between the four representations. Note the symmetry in the graphs for target indices and division endpoints: the graphs are essentially [[transpose]]s of one another. The [[Interval Index]] function can be used to convert between these two representations directly.