Quantomatic

If there is a particular vertex that should match any node with a non-zero angle, you can use

Dear all, I wrote this script to generate random Clifford circuits in the .qgraph format for

ZX-calculus people: I'm adding you to this discussion, because we've been talking about this

Hi all, I'm seeing messages like this one quite often, usually right about the time something

1. the most complete example is rotate_simp, which uses most of the available features of simprocs.

Hi Aleks — I finally got round to reading this note. Thanks very much, it's most helpful! -r On

Hi Aleks, I have discovered the cause of the annoying and persistent "Exception trace for

After three hours of no visible activity I gave up. Here's the graph that broke it.

Thanks for the reply Aleks. > 1. That is the expected behaviour. After a rewrite, quantomatic >

Work-around: remove all the edge directions and it works, at least with basic_simp. -r On 14 Oct 2016

You can toggle directed/undirected by prettying "D" and flip the edge direction by pressing

Two addenda to this: 1. Here's the attachment that should have been there.

Thanks Aleks — builds now. -r On 23 Sep 2016, at 07:05, Aleks Kissinger <ale...@gmail.com>

Hello again! 1. Start from a fresh zx-project-1.1 2. Compile the “basic_simp” simproc 3. Load the

Hi Quanto team: Matching a rule with bang boxes does not find all the correct matches. To reproduce:

Dear team quanto: Matching falls over when using bang boxes. Lots of "[info] Exception trace for

Dear quanto team, This is a shit bug report. I managed to make the the quanto front end break during

Cool, thanks! We should make a cleanup issue to remove the old structure... (Done) I remember there

Oh yeah, there's a couple of reasons for me looking at isaplib again: I am trying to fix a couple

Hello guys, I am making some slow progress with this issue of the core exiting prematurely. Here is

Hi guys, Just built the latest integration using the the dist/mk-osx.sh script. Quanto starts OK.

Hop into the core/ directory, run "poly --use run_protocol.ML", then try to run: >

CADE. We'll know by late april. On 4 March 2015 at 13:40, Lucas Dixon <lucas...@gmail.com

Btw Aleks — thanks for this. I proposed the layout one. We'll see if anyone bites. -r On 29 Aug

The precompiled version for OS X installed like a charm, thank you! On Wednesday, July 30, 2014 10:32

Wow; this is fantastic to see! Thanks for the update! On 7 May 2014 05:41, Aleks Kissinger <aleks0

I've updated and simplified the way IO works. Graphs/rules/rulesets now carry their own

I've been thinking about implementing non-commutativity in quanto, and I thought I would get you

Great! On 20 March 2014 16:53, Konstantin Devyatov <kdn...@gmail.com> wrote: > Thanks for

Ah, so you mean concrete evaluation as matrices? There used to be some code which would turn graphs