Generators and relations for 3-qubit Clifford+CS operators

This is the Agda code accompanying the paper "Generators and relations for 3-qubit Clifford+CS operators" by Xiaoning Bian and Peter Selinger.

Files

Download the code here: cliffordcs3.zip.
See 00-README for a description of the contents.

Compatibility

This code was tested with Agda versions 2.6.2.2 and 2.6.4-b5105f4. For instructions on how to install and use Agda, see https://agda.readthedocs.io/en/latest/.

Authors

Xiaoning Bian bian@dal.ca
Peter Selinger selinger@dal.ca

Copyright and License

This works is licensed under the Creative Commons CC BY 2.0 license. See https://creativecommons.org/licenses/by/2.0/ for more details.