rotate_lines: Rotate Lines
Description
Rotates a set of straight lines around an angle
Usage
rotate_lines(theta, p, centre)
Arguments
- theta
Angle of rotation (in degree)
- p
Coordinates of the lines end points
- centre
Coordinates of the center point of rotation