Sara Wolffs

(\theta + \pi) in rules matches on (\alpha) as (\alpha + \pi + \pi) in derivation

2

See title. It makes perfect sense, but becomes an issue when it happens in a simplify script, because it can increase the number of explicit (\pi) angles, or keep it...

Haven't produced a reliable repro yet, but under some conditions, trying to save the first tab throws `IndexOutOfBounds(-1,n)` where `n` is the number of open tabs. Here's a trace for...

It would be nice if a theory could indicate that two colours are symmetric: swapping their roles across an entire diagram is always legal. It is the reality of the...

Support for cq diagrams [qpc2018] [feature]

1

It would be nice if Quantomatic could deal with doubled wires and systems. Ideally, it'd have some awareness of the rules of doubling (i.e. support conversion between two single wires/nodes...