GHZ with slides and glides¶

BLOG 1.0

module main {
  out q0: data = 12
  out q1: data = 13
  out q2: data = 14
  out q3: data = 15

  0: ZXZ [0, 0, 0]
  1: ZXZ [1, 0, 0]
  2: ZXZ [2, 0, 0]
  3: ZXZ [3, 0, 0]
  4: walk ZXZ [0, 0, 1] -> [1, 0, 2]
  5: walk ZXZ [1, 0, 1] -> [2, 0, 2]
  6: walk ZXZ [2, 0, 1] -> [3, 0, 2]
  7: walk ZXZ [3, 0, 1] -> [4, 0, 2]
  8: walk ZXZ [1, 0, 3] -> [0, 1, 4]
  9: walk ZXZ [2, 0, 3] -> [1, 1, 4]
  10: walk ZXZ [3, 0, 3] -> [2, 1, 4]
  11: walk ZXZ [4, 0, 3] -> [3, 1, 4]
  12: Port [0, 1, 5]
  13: Port [1, 1, 5]
  14: Port [2, 1, 5]
  15: Port [3, 1, 5]
  0 -> +X
  0 -> +Z
  1 -> +X
  1 -> +Z
  2 -> +X
  2 -> +Z
  3 -> +Z
  [1, 0, 2] -> +Z
  [2, 0, 2] -> +Z
  [3, 0, 2] -> +Z
  [4, 0, 2] -> +Z
  [0, 1, 4] -> +Z
  [1, 1, 4] -> +Z
  [2, 1, 4] -> +Z
  [3, 1, 4] -> +Z

}