Make local complementation and pivoting work with parametric boolean angles.

zxcalc / zxlive

A graphical tool for the ZX calculus

Apache License 2.0

47 stars 19 forks source link

Make local complementation and pivoting work with parametric boolean angles. #231

Open RazinShaikh opened 7 months ago

RazinShaikh commented 7 months ago

Adding back this issue as it was removed from the previous issue #60

wlcsm commented 6 months ago

Hey @RazinShaikh , could you explain a little more about what this feature should achieve?

RazinShaikh commented 6 months ago

Suppose spiders are labelled with symbolic values such as jpi, kpi, etc. where j, k, etc. in {0,1}. It is possible to perform local complementation and pivoting in a very similar way to the phase-free case. This is an issue to implement this behaviour.