fix scalar

Author: ChenZhao44

src/Application/to_eincode.jl

@@ -15,7 +15,7 @@ function z_tensor(n::Int, factor::Number)
     shape = (fill(2, n)...,)
     out = zeros(ComplexF64, shape...)
     out[1] = 1
-    out[fill(2, n)...] = factor
+    out[fill(2, n)...] += factor
     return out
 end
 

src/ZX/rules/scalar.jl

@@ -27,7 +27,20 @@ end
 
 function rewrite!(::ScalarRule, zxg::Union{ZXGraph{T, P}, ZXDiagram{T, P}}, vs::Vector{T}) where {T, P}
     @inbounds v = vs[1]
-    # TODO: track global scalar
+    p = phase(zxg, v)
+    if is_zero_phase(p)
+        add_power!(zxg, 2)
+    elseif is_pi_phase(p)
+        add_power!(zxg, -Inf)
+    elseif p == Phase(1//2)
+        add_power!(zxg, 1)
+        add_global_phase!(zxg, Phase(1//4))
+    elseif p == Phase(3//2)
+        add_power!(zxg, 1)
+        add_global_phase!(zxg, Phase(-1//4))
+    else
+        @warn "Ignoring non-Clifford scalar spider with phase $p"
+    end
     rem_spider!(zxg, v)
     return zxg
 end