Algorithm: rotate a point around O by a given constructible angle using angle copy and intersection with a circle centered at O

Class:
Algorithm