into a mixed polar–Cartesian coordinate system: This says that points in may be expressed by taking the ray starting at the origin and passing through , rotating it towards by , and traveling a distance along the ray. Repeating this decomposition eventually leads to the standard spherical coordinate system. Polyspherical coordinate systems arise from a generalization of this construction. The space is split as the product of two Euclidean spaces of smaller dimension, but neither space is required to be a line. Specifically, suppose that and are positive integers such that . Then . Using this decomposition, a point may be written as This can be transformed into a mixed polar–Cartesian coordinate system by writing: Here and are the unit vectors associated to and . This expresses in terms of , , , and an angle . It can be shown that the domain of is if , if exactly one of and is 1, and if neither nor are 1. The inverse transformation is These splittings may be repeated as long as one of the factors involved has dimension two or greater. A polyspherical coordinate system is the result of repeating these splittings until there are no Cartesian coordinates left. Splittings after the first do not require a radial coordinate because the domains of and are spheres, so the coordinates of a polyspherical coordinate system are a non-negative radius and angles. The possible polyspherical coordinate systems correspond to binary trees with leaves. Each non-leaf node in the tree corresponds to a splitting and determines an angular coordinate. For instance, the root of the tree represents , and its immediate children represent the first splitting into and . Leaf nodes correspond to Cartesian coordinates for . The formulas for converting from polyspherical coordinates to Cartesian coordinates may be determined by finding the paths from the root to the leaf nodes. These formulas are products with one factor for each branch taken by the path. For a node whose corresponding angular coordinate is , taking the left branch introduces a factor of and taking the right branch introduces a factor of . The inverse transformation, from polyspherical coordinates to Cartesian coordinates, is determined by grouping nodes. Every pair of nodes having a common parent can be converted from a mixed polar–Cartesian coordinate system to a Cartesian coordinate system using the above formulas for a splitting. Polyspherical coordinates also have an interpretation