Rotation on the digital plane

Carolin Hannusch, Attila Pethő

Let $A_{\phi }$ denote the matrix of rotation with angle $\phi$ of the Euclidean plane, FLOOR the function, which rounds a real point to the nearest lattice point down on the left and ROUND…