-
Notifications
You must be signed in to change notification settings - Fork 9
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Converter to and from tket #7
Comments
Bonus: write functions that convert to tket, apply some of the rewrite passes, and convert back to pauliopt. |
Do you want the functionality to convert the classes |
I am really sorry, for the late reply. Take a look at the PauliPolynomial class: Could you convert this class into a tket Circuit and apply the optimization passes afterwards? In general the idea is to provide a reference routing strategy towards the ones we are developing at the moment. def route_using_tket(pp: PauliPolynomial, topology: Topology) -> tket.Circuit:
... A cool extra would be to return our own circuit with a certain gate set! But keep that optional for now. Regarding your current PR, please note that unit tests should be in: the If you want to you can create an option Also FYI: Here is already a code-snippet, that converts our PauliPolynomial towards tket: And in one of my older repositorys, there is a way how you can create tket architectures from edges (note that i didn't use the |
Implement a converter between
pauliopt
andpytket
.pytket
is a popular open-sourced quantum compilation library. It can represent Pauli gadgets usingPauliExpBox
has special compilation passes for these boxes:PauliSimp
PauliSquash
GuidedPauliSimp
There is also phase gadget compilation pass, though there doesn't seem to be an explicit class for representing them:
OptimisePhaseGadgets
The text was updated successfully, but these errors were encountered: