“Formula” missing (not available) in certain calls to QuantumState

Mike Ulrey Apr 28, 2023.
I experimented with ways of creating a quantum state based on different specifications for the basis.
Using the (named) “Bell” and “PhiPlus” states, which should be the same, I get the same results in most cases, but a different result when I specifically call “QuantumBasis” to name the basis.
In fact, specifying the basis with a call to QuantumBasis fails for the PhiPlus case.
See the following table to see three cases that agree and two that don’t.
Why do I get “Missing[NotAvailable,Formula]” in the last two entries of the last row?
In[]:=
QuantumState["Bell"]==QuantumState["PhiPlus"]
Out[]=
True
In[]:=
Grid[Prepend[Transpose[Prepend[Transpose[{​​QuantumState[#,"Computational"]["Formula"],​​QuantumState[#,{"Computational",{2,1}}]["Formula"],​​QuantumState[#]["Formula"],​​QuantumState[#,QuantumBasis["Computational"]]["Formula"],​​QuantumState[#,QuantumBasis[{"Computational",2}]]["Formula"]}&/@{"Bell","PhiPlus"}],{"Bell","PhiPlus"}]],{"↓State  Basis→","Computational","{'Computational',{2,1}}","Default","QuantumBasis['Computational']","QuantumBasis[{'Computational',2}]"}],Frame->All]
Out[]=
↓State  Basis→
Computational
{'Computational',{2,1}}
Default
QuantumBasis['Computational']
QuantumBasis[{'Computational',2}]
Bell
|0〉
2
|00〉
2
+
|11〉
2
|00〉
2
+
|11〉
2
|00〉
2
+
|11〉
2
|00〉
2
+
|11〉
2
PhiPlus
|0〉
2
|00〉
2
+
|11〉
2
|00〉
2
+
|11〉
2
Missing[NotAvailable,Formula]
Missing[NotAvailable,Formula]