Erik Davis
Erik Davis
A single `RY` gate translates to two `RX` gates, when we could get away with just one. ``` QUIL> (print-parsed-program (compiler-hook (parse-quil "RY(pi) 0") (build-nq-linear-chip 2))) RZ(2.2216554087607694) 0 # Entering...
The role of the addresser is to transform a source program (or part of a source program) into an equivalent form compatible with certain constraints indicated by the chip specification....
in `parametric-diagonal-compiler`, one of the cases uses `copy-pauli-term` https://github.com/quil-lang/quilc/blob/3f3260aaa65cdde25a4f9c0027959e37ceef9d64/src/compilers/linear-paulis.lisp#L145 However, this appears to be missing.
`cl-quil` currently contains a mix of stuff, ranging from AST definitions to very specific functionality which may only be of interest to the compiler proper. This limits our ability to...
In order to support possible future work with respect to the quilc addresser, it would be nice if we had a simple reference implementation. As described in https://github.com/quil-lang/quilc/blob/master/src/addresser/README.md , the...
Consider the following program ``` CNOT 0 1 X 1 CNOT 1 2 ``` Naively, one would expect that the dependency graph of these instructions looks like this: ``` CNOT...
The addresser enables the use of "1Q queues" to delay processing of 1Q instructions (this is mostly of value for the temporal cost, and is not recommended for the fidelity...
Just an idea, but as larger devices become increasingly common it might be nice to have the memory demands of the QVM depend on the number of _entangled_ qubits rather...
Throughout much of `paulis.py` there are explicit type checks (e.g. `isinstance(foo, Number)` or even type casts (e.g. `complex(foo)`) which prevent its use with third party arithmetic types, such as`sympy` expressions....
Pre-Request Checklist --------------------- - [x] I am running the latest versions of pyQuil and the Forest SDK - [x] I checked to make sure that this feature has not already...