Matthew Harrigan
Matthew Harrigan
https://ipython.readthedocs.io/en/stable/config/integrating.html#rich-display Also see https://github.com/perak/quantum-circuit for a MIT licensed package that makes nice SVG circuits
This warning gets emitted a lot and is really unhelpful. - Track down where this is coming from - See if we can change code paths so it doesn't happen...
- change the `wire_symbol` method to explicitly take a `Register` and `idx: Tuple[int, ...]` rather than one `Soquet` since the symbol shouldn't depend on the `binst`. - Eliminate or rename...
- new top-level module `mod_arithmetic` that will contain modular arithmetic. - Move things from factoring/ and addition/ to this module - Simplify naming: `[C][Mod]Op[K]` More to come after this
These utils have no dependencies on any of the actual resource counting functionality and are currently hard to find burried deep within that package. There should probably be a top-level...
- base class `CostKey` which can be overriden to define a "cost" (type). - functions for getting a specified cost for a specified bloq. This explicitly manages a cache of...
- This works for any single-qubit operation. It does not require a pauli gate - `target_gate` is annotated as a `cirq.Pauli`. The interplay between cirq gates and bloqs is unnecessary....
Costs
Tracking PR - [x] preliminaries #900 - [x] costing framework https://github.com/quantumlib/Qualtran/pull/913 - [ ] Bloq/gate counts - [ ] Qubit counts - [ ] Success probability - [ ] Docs...
The t_complexity protocol can quickly use the call graph protocol to derive accurate t counts from subbloqs. This handles meta-bloqs like `Adjoint` correctly. For bloqs where `build_call_graph` is implemented and...
work in progress. Add an automated check that will test the classical action of a bloq vs that of its decomposition. Will try 2**n random inputs unless the signature is