chiark / gitweb /
operation.py: Refactor `polswitch' a little.