DInv for ZXWDiagram

Open ChenZhao44 opened this issue 2 years ago • 1 comments

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

Aug 01 '23 13:08 ChenZhao44

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?

Aug 04 '23 02:08 exAClior