wire vertices?

[Ross Duncan]

Hello,

I just want to check about what’s the intended behaviour of wire vertices in quanto.

I have made a new rule which simply inserts a wire vertex on an edge, i.e.
b——b ==> b—w—b
where ‘b’ is a boundary node and ‘w’ is a wire vertex. (I want this because I want to separate the permutation structure of my term from the rest.) However when I actually apply the rewrite it appears to be a no-op, i.e. the new wire vertex never appears.

1. Is this the intended behaviour?
2. If so, is there any other way to control the layout of the wires independent of the vertices they are connected to?

-r

[Aleks Kissinger]

1. That is the expected behaviour. After a rewrite, quantomatic
automatically translates to "minimised" form, where any unnecessary
wire vertices are removed.

2. Not really. I've been wondering if there's any effective way to
"route" edges either manually or automatically so that graphs don't
look like such a mess. One way is adding extra wires but applying a
rewrite clobbers them....

> --
> You received this message because you are subscribed to the Google Groups "Quantomatic" group.
> To unsubscribe from this group and stop receiving emails from it, send an email to quantomatic...@googlegroups.com.
> To post to this group, send email to quant...@googlegroups.com.
> Visit this group at https://groups.google.com/group/quantomatic.
> For more options, visit https://groups.google.com/d/optout.

[Ross Duncan]

Thanks for the reply Aleks.

> 1. That is the expected behaviour. After a rewrite, quantomatic
> automatically translates to "minimised" form, where any unnecessary
> wire vertices are removed.

I thought that might be the case.

> 2. Not really. I've been wondering if there's any effective way to
> "route" edges either manually or automatically so that graphs don't
> look like such a mess. One way is adding extra wires but applying a

> rewrite clobbers them….

Yes, I’m especially interested in being able to to do this midway through a derivation so I can see what’s going on, also with a view to using the diagrams in a paper without having to do a lot of tikz editing.

Could this be implemented as edge data which the core ignores/preserves but the front end can interpret?

-r