using QuantumAlgebra

adag()*a()

a()*adag()

σx()*σy()

σy()*σz()

σy()*σy()

a(:k)*adag(:k)

a(:k)*adag(:j)

s = ∑(:i,adag(:i))

s*a(:j)

a(:j)*s

a(:k)*s

a(:k)*∑(:i,adag(:i)*adag(:i))

a(:i,:j,:μ) * adag(:m,:n,:μ)

∑(:j, ∑(:i,a(:i,:j,:μ))) * adag(:m,:n,:μ)

∑(:i,a(:i)) * ∑(:k,adag(:k))

s = ∑(:j,param(:ω,:j)*adag(:j))

s = ∑(:j,Pr"ω_j"*adag(:j))

a(:i)*s

H = 1//2*Pr"Ω"*σz() + Pr"E(t)"*σx() + ∑(:i,Pr"ω_i"*adag(:i)*a(:i)) + ∑(:i,Pr"g_i"*(adag(:i)+a(:i))*σx())

comm(σz(),H)

comm(adag(:j)*σz(),H)