search

zxcalc / zxlive

A graphical tool for the ZX calculus
Apache License 2.0
49 stars 19 forks source link

Support for blank nodes to add text, maths, etc. #268

Open RazinShaikh opened 3 months ago

RazinShaikh commented 3 months ago

This should be solely decorative and should not affect any functionality.

RazinShaikh commented 3 months ago

Should we also support edges between blank nodes? For example, the user might want to highlight a particular part of the diagram by drawing a box around it.

RazinShaikh commented 3 months ago

And how should these things work in the proof mode? Can we have different decorations for each step of the proof? There are too many possibilities, we should discuss the desiderata.

jvdwetering commented 3 months ago

Yeah it might be good discussing this in a bit more detail in person. I think having different decorations for every step makes a lot of sense. I imagine if you start with some decoration and do a proof step, that this decoration should be copied to the next step. But then there you can modify the decoration while keeping it the same proof step.