chiark / gitweb /
symbolic.py: explicitly define p2q_rotate