Examples

The following are a collection of examples:

• Verifying a Stabilizer Code
• Creating a QECC Class
  • The QECC class
  • Logical Instruction Classes
  • Logical Gate Classes
  • Example Usage
• Gate-wise Error Models
  • Example: The Symmetric Depolarizing-channel
  • Example: The Amplitude-dampening Channel
• Monte Carlo Script