Ordered factorization (source code)

= Ordered factorization

An ordered factorization of a <positive integer> $n>1$ is an ordered list of factors greater than one whose product is $n$. For example, $6$, $2\cdot3$, and $3\cdot2$ are the three ordered factorizations of $6$. Taking successive partial products gives a <bijection> with strictly increasing <divisor> chains from $1$ to $n$.