apply_right

[sagnikpal2004]

Adds the apply_right! function into QuantumClifford to apply a Clifford Operator (dense or symbolic) to the right of another clifford operator, modifying it inplace.

• The code is properly formatted and commented.
• Substantial new functionality is documented within the docs.
• All new functionality is tested.
• All of the automated tests on github pass.

Changelog:

• added apply_right! that applies a clifford operator to the right of another

Notes:

• The symbolic operations make use of three basic operations: rowswap!(r1, r2), mul_right_ignore_anticommute!(r1, r2) and phase_flip!(r1). There could be macros built that definte the operations from these basic ones.

Closes #555
Is a dependency to PR #551

Adaptation of Stim's prepend_

[Krastanov]

feel free to merge after these are addressed if there are no new issues and all tests pass

[codecov]

Codecov Report

❌ Patch coverage is 94.73684% with 12 lines in your changes missing coverage. Please review.
✅ Project coverage is 84.66%. Comparing base (09f2172) to head (8e2fb74).
⚠️ Report is 1 commits behind head on master.

Files with missing lines	Patch %	Lines
src/mul_leftright.jl	0.00%	8 Missing ⚠️
src/apply_right.jl	98.18%	4 Missing ⚠️

Additional details and impacted files

@@            Coverage Diff             @@
##           master     #561      +/-   ##
==========================================
+ Coverage   84.33%   84.66%   +0.33%     
==========================================
  Files         108      109       +1     
  Lines        6581     6809     +228     
==========================================
+ Hits         5550     5765     +215     
- Misses       1031     1044      +13     

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

🚀 New features to boost your workflow:

• ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.

[Krastanov]

let's have the the other PR merged and potentially have this rebased (or fix the merge conflict in another way)

Left some potential suggestions for fixing the allocation issue (forcing the compiler to move the runtime choice on phases into the type domain), but that is a bit embarrassing (the compiler should be smarter than this)

Feel free to merge after these are addressed (and add changelog) if all tests pass

[Krastanov]

Suggested change

	mul_left!(new_lrow, l_tab_copy, qubit, phases=Val(phases))
	mul_left!(new_lrow, l_tab_copy, qubit, phases=B)

[Krastanov]

Suggested change

	mul_left!(new_lrow, l_tab_copy, qubit+n, phases=Val(phases))
	mul_left!(new_lrow, l_tab_copy, qubit+n, phases=B)

[Krastanov]

Suggested change

	@inline function apply_right_row_kernel!(new_lrow, l_tab, row, l_tab_copy, r_tab; phases=true)
	@inline function apply_right_row_kernel!(new_lrow, l_tab, row, l_tab_copy, r_tab; phases::B=Val{true}()) where {B}

[Krastanov]

Suggested change

	apply_right_row_kernel!(threadlocal, l_tab, row_r, l_tab_copy, r_tab; phases)
	apply_right_row_kernel!(threadlocal, l_tab, row_r, l_tab_copy, r_tab; phases=Val{phases}())