Change Clifford String to Pauli String

[johnzl-777]

Per yesterday's meeting Scientific Software meeting agreement, the Clifford string operator should be restricted to just Pauli's.

@weinbe58 @Roger-luo I know there were several methods mentioned to translating the string into an actual OpType that can be used in other statements, ranging from lowering, canonicalization rewrite, etc. What is the exact approach that should be taken for this? I'd like to open an issue to keep track of the infrastructure required for this.

cc: @cduck @kaihsin

[codecov]

Codecov Report

Attention: Patch coverage is 50.00000% with 1 line in your changes missing coverage. Please review.

Files with missing lines	Patch %	Lines
src/bloqade/squin/op/stmts.py	50.00%	1 Missing ⚠️

📢 Thoughts on this report? Let us know!

[github-actions]

☂️ Python Coverage

current status: ✅

Overall Coverage

Lines	Covered	Coverage	Threshold	Status
6289	5405	86%	0%	🟢

New Files

No new covered files...

Modified Files

File	Coverage	Status
src/bloqade/squin/op/stmts.py	98%	🟢
TOTAL	98%	🟢

updated for commit: 840da2d by action🐍

[weinbe58]

I know there were several methods mentioned to translating the string into an actual OpType that can be used in other statements, ranging from lowering, canonicalization rewrite, etc. What is the exact approach that should be taken for this? I'd like to open an issue to keep track of the infrastructure required for this.

Correct me if I am wrong @Roger-luo but I thought the whole idea of having this was so that we could have a specific runtime that would not be dependent on implementing the runtime of Kron which is a bit non-trivial at the moment with pyqrack.

[Roger-luo]

Yes it's like that we need to decide how much we want to support the generic Kron too.