Code

ZXW rewrite rules + Differentiation#93

Code

Merged

exAClior merged 40 commits intomasterQuantumBFS/ZXCalculus.jl:masterfrom zxw-rewrite-rulesQuantumBFS/ZXCalculus.jl:zxw-rewrite-rulesCopy head branch name to clipboardAug 6, 2023

+980-41

Commits

Commits on Jul 3, 2023

• include previous left change

  exAClior

  committed
  88b8ebc

  Copy full SHA for 88b8ebc

Commits on Jul 7, 2023

• implement first two rewrite rule

  exAClior

  committed
  88dfeab

  Copy full SHA for 88dfeab

Commits on Jul 8, 2023

• add revise, finish implment match

  exAClior

  committed
  0090310

  Copy full SHA for 0090310

• finish test + implement basic rewrite

  exAClior

  committed
  3edfbb1

  Copy full SHA for 3edfbb1

Commits on Jul 9, 2023

• begin diff operation implementation

  exAClior

  committed
  51d5696

  Copy full SHA for 51d5696

Commits on Jul 10, 2023

• start implement diff rule for general case

  exAClior

  committed
  90fa5bf

  Copy full SHA for 90fa5bf

Commits on Jul 11, 2023

• finish diff implementation

  exAClior

  committed
  3aeb785

  Copy full SHA for 3aeb785

Commits on Jul 14, 2023

• replace adt rules with multiple dispatch

  exAClior

  committed
  806ab36

  Copy full SHA for 806ab36

Commits on Jul 15, 2023

• enable variable for both signs

  exAClior

  committed
  7c47450

  Copy full SHA for 7c47450

• implement theorem 16 and start cor 17

  exAClior

  committed
  923b27f

  Copy full SHA for 923b27f

Commits on Jul 16, 2023

• finish implement circuit diff and expval diff

  exAClior

  committed
  1f3925d

  Copy full SHA for 1f3925d

• finish integrating

  exAClior

  committed
  470a273

  Copy full SHA for 470a273

• add test to check spider numbers make sense

  exAClior

  committed
  84d6309

  Copy full SHA for 84d6309

Commits on Jul 17, 2023

• revise PR

  Show description for 79bc45d
  exAClior

  committed
  79bc45d

  Copy full SHA for 79bc45d

Commits on Jul 24, 2023

• update variable substitution

  exAClior

  committed
  6579c44

  Copy full SHA for 6579c44

• add find negative symbol feature

  exAClior

  committed
  4b982cb

  Copy full SHA for 4b982cb

Commits on Jul 25, 2023

• fix einsum contraction order issue

  exAClior

  committed
  ee905e6

  Copy full SHA for ee905e6

• fix concatenation of circuits

  exAClior

  committed
  33a35d5

  Copy full SHA for 33a35d5

• finish test for exp val circuit

  exAClior

  committed
  caabc29

  Copy full SHA for caabc29

• construct variance ZXWDiagram test

  exAClior

  committed
  4216c94

  Copy full SHA for 4216c94

Commits on Jul 27, 2023

• take care of importing vtx

  exAClior

  committed
  1d4d79d

  Copy full SHA for 1d4d79d

• implement stacking of zxwdiagram

  exAClior

  committed
  044e2f5

  Copy full SHA for 044e2f5

• correct triangle order

  exAClior

  committed
  b18ae24

  Copy full SHA for b18ae24

Commits on Jul 28, 2023

• fix gradient calculation factor problem

  exAClior

  committed
  6805651

  Copy full SHA for 6805651

• test two variable integartion pass

  exAClior

  committed
  dedf06b

  Copy full SHA for dedf06b

• correct integration upto factor of 2

  exAClior

  committed
  b9a5b04

  Copy full SHA for b9a5b04

Commits on Jul 29, 2023

• fix integration factors again

  exAClior

  committed
  0c1e441

  Copy full SHA for 0c1e441

• include test for variance

  exAClior

  committed
  5629848

  Copy full SHA for 5629848

• fix past test

  exAClior

  committed
  ee834f8

  Copy full SHA for ee834f8

Commits on Aug 2, 2023

• remove un-necessary dependencies

  exAClior

  committed
  4fe16ad

  Copy full SHA for 4fe16ad

• correct nothing comparison

  exAClior

  committed
  339e46b

  Copy full SHA for 339e46b

• port differentiation

  exAClior

  committed
  ab5a043

  Copy full SHA for ab5a043

• fix PiUnit number testing quickly

  exAClior

  committed
  6eec454

  Copy full SHA for 6eec454

• make access output by qubit safer

  exAClior

  committed
  dc3a3aa

  Copy full SHA for dc3a3aa

• move helper functions to utils.jl

  exAClior

  committed
  6644b35

  Copy full SHA for 6644b35

• converted integration to rewrite API

  exAClior

  committed
  0c1c758

  Copy full SHA for 0c1c758

Commits on Aug 3, 2023

• change intergration to fit rewrite API

  exAClior

  committed
  504edb2

  Copy full SHA for 504edb2

Commits on Aug 4, 2023

• implement inplace stacking

  exAClior

  committed
  e51272b

  Copy full SHA for e51272b

Commits on Aug 5, 2023

• remove un-necessary file

  exAClior

  committed
  da30a7a

  Copy full SHA for da30a7a

Commits on Aug 6, 2023

• rename differentiatio rule

  exAClior

  committed
  6870623

  Copy full SHA for 6870623