search

zxcalc / quantomatic

Quantomatic is a tool for doing automated graph rewriting.
http://quantomatic.github.io
154 stars 22 forks source link

pi-rule exercise in practical should show elipsis #102

Closed iislucas closed 11 years ago

iislucas commented 11 years ago

The practical pi-copy in the pdf does not have any elispsis, but for the completion example to work, it needs them.

akissinger commented 11 years ago

It doesn't. The ellipses are on the 'spider' part, not the 'copy' part. I.e. at the end, you should still end up with just two pi's. There is a more general copy which produces lots of pi's. I might make this extra credit this year.