fixes to projectremoverand!

QuantumSavory · Sep 5, 2022 · 21f0ebf · 21f0ebf · Krastanov · Sep 5, 2022
1 parent 92b016d
commit 21f0ebf
Show file tree

Hide file tree

Showing 5 changed files with 18 additions and 3 deletions.
diff --git a/.github/workflows/CompatHelper.yml b/.github/workflows/CompatHelper.yml
@@ -12,7 +12,7 @@ jobs:
           import Pkg
           name = "CompatHelper"
           uuid = "aa819f21-2bde-4658-8897-bab36330d9b7"
-          version = "2"
+          version = "3"
           Pkg.add(; name, uuid, version)
         shell: julia --color=yes {0}
       - name: "Run CompatHelper"

diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -1,5 +1,9 @@
 # News
 
+## v0.6.1 - 2022-09-05
+
+- **(fix)** Fix a bug in the unexported `projectremoverand!` that occurred due to the introduction of `Tableau`.
+
 ## v0.6.0 - 2022-08-22
 
 - **(breaking)** Split the `Stabilizer` object into a `Stabilizer` that semantically represents a state, and a general `Tableau` that does not carry such an interpretation. `Stabilizer` uses `Tableau` internally. `stab.xzs` and `stab.phases` property access would now fail. Use `tab(stab)` to get the tableau object and `phases(stab)` to get the phases.

diff --git a/Project.toml b/Project.toml
@@ -1,7 +1,7 @@
 name = "QuantumClifford"
 uuid = "0525e862-1e90-11e9-3e4d-1b39d7109de1"
 authors = ["Stefan Krastanov <stefan@krastanov.org>"]
-version = "0.6.0"
+version = "0.6.1"
 
 [deps]
 Combinatorics = "861a8166-3701-5b0c-9a16-15d98fcdc6aa"

diff --git a/src/project_trace_reset.jl b/src/project_trace_reset.jl
@@ -837,7 +837,7 @@ function _remove_rowcol!(s::MixedDestabilizer, r,c)
     end
     oldrank = rank(s)
     newrank = r<=oldrank ? oldrank-1 : oldrank
-    MixedDestabilizer(Stabilizer((@view t.phases[1:end-2]),cols-1,(@view t.xzs[:,1:end-2])), newrank)
+    MixedDestabilizer(Tableau((@view t.phases[1:end-2]),cols-1,(@view t.xzs[:,1:end-2])), newrank)
 end
 
 #=

diff --git a/test/test_projections.jl b/test/test_projections.jl
@@ -1,3 +1,5 @@
+using QuantumClifford: projectremoverand!
+
 function test_projections()
     @testset "Projective measurements" begin
         @testset "Stabilizer representation" begin
@@ -323,6 +325,15 @@ function test_projections()
                 @test tab(apply!(copy(s),sMZ(r))).xzs == tab(sz).xzs
             end
         end
+        @testset "projectremoverand!" begin
+            for n in test_sizes
+                n > 3 || continue
+                state = MixedDestabilizer(random_destabilizer(n),n÷2)
+                state_a = projectremoverand!(copy(state),projectX!,n)[1]
+                state_b = traceout!(projectX!(state,n)[1],n)
+                @test stab_to_gf2(canonicalize!(stabilizerview(state_a))) == stab_to_gf2(canonicalize!(stabilizerview(state_b)[:,1:end-1]))
+            end
+        end
         @testset "Redundant row permutations in `project!(::MixedDestabilizer)`" begin
             # Fixed in 41ed1d3c
             destab =  T"+ ZX_Y_YXZ