linepivot
Linepivot is a term used to describe a geometric operation in which a line is rotated about a fixed pivot point by a specified angle. It is a specific case of a planar rigid-motion applied to a single line, and can be formalized as the mapping that sends every point X on the original line L to a rotated point X' around the pivot P by angle theta. The image of L under this rotation is a new line L'. If the pivot P lies on L, the rotated line L' also passes through P; if P is not on L, L' remains a distinct line after the rotation.
The concept is commonly encountered in discussions of line-based transformations within computer graphics, CAD, and geometric
Key properties include that the rotation preserves distances from the pivot P and preserves the relative orientation
See also: rotation, pivot point, rigid motion, line transformation.