import from tikz after export is broken

zxcalc / zxlive

A graphical tool for the ZX calculus

Apache License 2.0

49 stars 19 forks source link

import from tikz after export is broken #211

Closed dlyongemallo closed 9 months ago

dlyongemallo commented 9 months ago

Repro steps (file attached broken_tikz_import_repro.zip):

open the "3 CNOTs = SWAP.zxp" file.
export to tikz
open the resulting tikz file

Expected: tikz file is imported

Actual: error message "too many values to unpack (expected 2)".

dlyongemallo commented 9 months ago

I just saw #203. I guess this is related to that.

jvdwetering commented 9 months ago

Yeah exporting a proof to tikz is currently a one-way operation. There is no easy way to separate out the proof steps from just a single tikz file, so I'm not even sure this is something we would want to support.

jvdwetering commented 9 months ago

Maybe it can be made more clear to the user that tikz export of proofs is not intended to be two-way.