update project.toml

Author: GiggleLiu

Project.toml

@@ -21,7 +21,7 @@ Yao = "5872b779-8223-5990-8dd0-5abbb0748c8c"
 [compat]
 Compose = "0.9"
 LuxurySparse = "0.6"
-NiLang = "0.7, 0.8"
+NiLang = "0.8"
 Requires = "1"
 SimpleTensorNetworks = "0.1"
 TropicalNumbers = "0.2.1"

src/reversible/chimera.jl

@@ -5,12 +5,12 @@
     end
     @invcheckoff for i=1:Ly-1
         for j = 1:4
-            apply_Gvb!(reg, (4*(i-1)+j,4*i+j), Js[k+1], REG_STACK)
+            apply_Gvb!(reg, (@const (4*(i-1)+j,4*i+j)), Js[k+1], REG_STACK)
             k += 1
         end
     end
     @invcheckoff for i=1:Ly
-        apply_G16!(reg, (4i-3,4i-2,4i-1,4i), Js[k+1:k+16], REG_STACK)
+        apply_G16!(reg, (@const (4i-3,4i-2,4i-1,4i)), Js[k+1:k+16], REG_STACK)
         k += 16
     end
     k → length(Js)

src/reversible/second_neighbor.jl

@@ -18,7 +18,7 @@ end
         for j=1:Ly-1
             if (_c(lt, (i,j), (i,j+1)), ~)
                 INC(k)
-                apply_Gvb!(reg, (j, j+1), Js[k], REG_STACK)
+                apply_Gvb!(reg, (@const (j, j+1)), Js[k], REG_STACK)
             end
         end
         for j=1:Ly
@@ -31,12 +31,12 @@ end
             for j=1:Ly
                 # store the information in qubit `j` to ancilla `nbit-j%2`
                 if (j!=Ly && _c(lt, (i,j), (i+1,j+1)), ~)
-                    apply_Gcp!(reg, (j,nbit-j%2), REG_STACK)
+                    apply_Gcp!(reg, (@const (j,nbit-j%2)), REG_STACK)
                 end
                 # interact with j-1 th qubit (a)
-                if (j!=1 && _c(lt, (i+1,j-1), (i,j)), ~)
+                if (j!=1 && _c(lt, (@const (i+1,j-1)), (i,j)), ~)
                     INC(k)
-                    apply_Gvb!(reg, (j-1, j), Js[k], REG_STACK)
+                    apply_Gvb!(reg, (@const (j-1, j)), Js[k], REG_STACK)
                 end
                 # onsite term (b)
                 if (_c(lt, (i,j), (i+1,j)), ~)
@@ -48,9 +48,9 @@ end
                 if (j!=1 && _c(lt, (i,j-1), (i+1,j)), ~)
                     INC(k)
                     # interact with cached j-1 th qubit (c)
-                    apply_Gvb!(reg, (j,nbit-(j-1)%2), Js[k], REG_STACK)
+                    apply_Gvb!(reg, (@const (j,nbit-(j-1)%2)), Js[k], REG_STACK)
                     # erease the information in previous ancilla `nbit-(j-1)%2`
-                    apply_Gcut!(reg, nbit-(j-1)%2, REG_STACK)
+                    apply_Gcut!(reg, (@const nbit-(j-1)%2), REG_STACK)
                 end
             end
         end
@@ -96,7 +96,7 @@ end
         for j=1:Ly-1
             if (_c(lt, (i,j), (i,j+1)), ~)
                 INC(k)
-                apply_Gvb!(reg, (j, j+1), Js[k], A_STACK)
+                apply_Gvb!(reg, (@const (j, j+1)), Js[k], A_STACK)
             end
         end
         for j=1:Ly
@@ -110,12 +110,12 @@ end
                 for j=1:Ly
                     # store the information in qubit `j` to ancilla `nbit-j%2`
                     if (j!=Ly && _c(lt, (i,j), (i+1,j+1)), ~)
-                        apply_Gcp!(reg, (j,nbit-j%2), A_STACK)
+                        apply_Gcp!(reg, (@const (j,nbit-j%2)), A_STACK)
                     end
                     # interact with j-1 th qubit (a)
                     if (j!=1 && _c(lt, (i+1,j-1), (i,j)), ~)
                         INC(k)
-                        apply_Gvb!(reg, (j-1, j), Js[k], A_STACK)
+                        apply_Gvb!(reg, (@const (j-1, j)), Js[k], A_STACK)
                     end
                     # onsite term (b)
                     if (_c(lt, (i,j), (i+1,j)), ~)
@@ -127,9 +127,9 @@ end
                     if (j!=1 && _c(lt, (i,j-1), (i+1,j)), ~)
                         INC(k)
                         # interact with cached j-1 th qubit (c)
-                        apply_Gvb!(reg, (j,nbit-(j-1)%2), Js[k], A_STACK)
+                        apply_Gvb!(reg, (@const (j,nbit-(j-1)%2)), Js[k], A_STACK)
                         # erease the information in previous ancilla `nbit-(j-1)%2`
-                        apply_Gcut!(reg, nbit-(j-1)%2, A_STACK)
+                        apply_Gcut!(reg, (@const nbit-(j-1)%2), A_STACK)
                     end
                 end
             end

src/reversible/square.jl

@@ -11,7 +11,7 @@
     end
     for j=1:Ly-1
         k += 1
-        apply_Gvb!(reg, (j, j+1), Js[k], A_STACK)
+        apply_Gvb!(reg, (@const (j, j+1)), Js[k], A_STACK)
     end
     for i=2:Lx
         @safe println("Layer $i/$Lx, stack size: $(A_STACK.top) & $(B_STACK.top)")
@@ -38,7 +38,7 @@
         end
         for j=1:Ly-1
             k += 1
-            apply_Gvb!(reg, (j, j+1), Js[k], A_STACK)
+            apply_Gvb!(reg, (@const (j, j+1)), Js[k], A_STACK)
         end
     end
     summed ← one(TT)
@@ -74,7 +74,7 @@ end
     end
     for j=1:Ly-1
         k += 1
-        apply_Gvb!(reg, (j, j+1), Js[k], REG_STACK)
+        apply_Gvb!(reg, (@const (j, j+1)), Js[k], REG_STACK)
     end
     for i=2:Lx
         @safe println("Layer $i/$Lx")
@@ -87,7 +87,7 @@ end
         end
         for j=1:Ly-1
             k += 1
-            apply_Gvb!(reg, (j, j+1), Js[k], REG_STACK)
+            apply_Gvb!(reg, (@const (j, j+1)), Js[k], REG_STACK)
         end
     end
     summed ← one(TT)