Edit for copyright header
Saving with github editor
# Any modifications or derivative works of this code must retain this
# copyright notice, and modified files need to carry a notice indicating
# that they have been altered from the originals.
+
"""
Polynomially controlled Pauli-rotations
"""
