Quanto should complain about non-variable names

zxcalc / quantomatic

Quantomatic is a tool for doing automated graph rewriting.

http://quantomatic.github.io

151 stars 22 forks source link

Quanto should complain about non-variable names #217

Closed jvdwetering closed 5 years ago

jvdwetering commented 6 years ago

If you have a node with a label like \kappa' then the rewriter has some unexpected behaviour, because it doesn't understand the variablename. Quantomatic should probably complain when this label is chosen, or it should be recognized as a proper variablename.