search

QuantumSavory / QuantumSymbolics.jl

Computer algebra tools for symbolic manipulations in quantum mechanics and quantum information
MIT License
30 stars 9 forks source link

Single qubit simplification rules #22

Closed APAChandra closed 2 months ago

APAChandra commented 1 year ago

Rules_single_qubit.txt

Krastanov commented 2 months ago

@apkille , could you check whether you have implemented these? If so, we can close this issue.

apkille commented 2 months ago

I haven't yet, I can make a small PR to implement them.

apkille commented 2 months ago

@APAChandra there's several mistakes in the txt file you attached:

Feel free to correct me if I'm wrong.