search

QuantumBFS / ZXCalculus.jl

An implementation of ZX-calculus in Julia
http://yaoquantum.org/ZXCalculus.jl/dev/
MIT License
48 stars 7 forks source link

DInv for ZXWDiagram #94

Open ChenZhao44 opened 1 year ago

ChenZhao44 commented 1 year ago

We need to support DInv which is the inverse of D to make it more expressive.

exAClior commented 1 year ago

Hello @ChenZhao44 , I might have misled you about what we have implemented for D, it's the star spider in this paper. the DInv will simply be $X * D$ (in the matrix operation order). And the triangle inverse could also be obtained from D and X(1.0) Z(1.0). Do we still need to promote DInv to the level of an generator?