Coming soon

This note is part of the notebook and is planned, but has not been written yet.

Planned coverage: Useful circuit identities and the compilation of high-level operations into a target gate set.