Code

Add permutations#46

Code

Open

wjbs wants to merge 10 commits intomaininQWIRE/VyZX:mainfrom feature-permutationsinQWIRE/VyZX:feature-permutationsCopy head branch name to clipboard

+4,315-1,778

Commits

Commits on Jul 20, 2024

• Introduces machinery for manipulating permutations to VyZX. In particular:

  Show description for 1ead00c
  wjbs

  committed
  1ead00c

  Copy full SHA for 1ead00c

• Added helper lemmas for Swap, zx_comm, a_swap, zx_gap_comm naturality, of the form [name]_nat_(top|mid|bot)_(r|l)[_1], to ZXpermFacts

  wjbs

  committed
  fa77173

  Copy full SHA for fa77173

Commits on Jul 21, 2024

• Fix build issues, add general permutation pullthrough result

  wjbs

  committed
  ddaa818

  Copy full SHA for ddaa818

Commits on Jul 25, 2024

• Add Z/X absorbtion of ZXperms

  wjbs

  committed
  80a4105

  Copy full SHA for 80a4105

• Add Z/X absorbtion of zx_comm, zx_gap_comm

  wjbs

  committed
  cd99a52

  Copy full SHA for cd99a52

Commits on Jul 29, 2024

• Bump QuantumLib requirement to >=1.5.0

  wjbs

  committed
  451871c

  Copy full SHA for 451871c

Commits on Aug 20, 2024

• Improve permutations, much small proof repair and improvement, including to use new ZXperm machinery

  wjbs

  committed
  676d80b

  Copy full SHA for 676d80b

Commits on Aug 28, 2024

• Fix compilation issue

  wjbs

  committed
  7b7f3fc

  Copy full SHA for 7b7f3fc

Commits on Aug 31, 2024

• Make ZXperm not definitionally square.

  wjbs

  committed
  2646ba9

  Copy full SHA for 2646ba9

• Add n_cup/n_cap pullthrough lemmas. Uses f_to_vec semantics together with ZXperm.

  wjbs

  committed
  fa71671

  Copy full SHA for fa71671