[math-fun] Penrose Tilings/Algebraic Number Theory