Spinors Extras Package SymbolSee Also »|More About »

MassiveSpinorQ

MassiveSpinorQ[x]
returns True if x is interpretable as massive spinor label. Returns False otherwise.
EXAMPLESCLOSE ALL
Basic Examples   (3)
Arbitrary symbols, massless Spinors, LVectors and slashed matrices are not interpreted as massive spinors:
SpM[P , ±1] with P being LVector, is interpreted as massive spinor:
When first argument of SpM is not LVector or second is not interpretable as ±1, expression is not interpreted as massive spinor:
SpM[P , ±1, q], with P being LVector and q being massless Spinor, is interpreted as massive spinor:
When first argument of SpM is not LVector, second is not interpretable as ±1 or third is not massless Spinor, expression is not interpreted as massive spinor:
Arbitrary symbols, massless Spinors, LVectors and slashed matrices are not interpreted as massive spinors:
In[1]:=
Click for copyable input
In[2]:=
Click for copyable input
In[3]:=
Click for copyable input
Out[3]=
Out[3]=
Out[3]=
Out[3]=
 
SpM[P , ±1] with P being LVector, is interpreted as massive spinor:
In[1]:=
Click for copyable input
In[2]:=
Click for copyable input
In[3]:=
Click for copyable input
Out[3]=
Out[3]=
Out[3]=
Out[3]=
When first argument of SpM is not LVector or second is not interpretable as ±1, expression is not interpreted as massive spinor:
In[4]:=
Click for copyable input
Out[4]=
Out[4]=
 
SpM[P , ±1, q], with P being LVector and q being massless Spinor, is interpreted as massive spinor:
In[1]:=
Click for copyable input
In[2]:=
Click for copyable input
In[3]:=
Click for copyable input
Out[3]=
Out[3]=
Out[3]=
Out[3]=
When first argument of SpM is not LVector, second is not interpretable as ±1 or third is not massless Spinor, expression is not interpreted as massive spinor:
In[4]:=
Click for copyable input
Out[4]=
Out[4]=
Out[4]=