Spinors Extras Package SymbolTutorials »|See Also »|More About »

SpM

SpM[P, +1]
represents u spinor associated with non-lightlike four-vector P and default reference spinor.
SpM[P, -1]
represents v spinor associated with non-lightlike four-vector P and default reference spinor.
SpM[P, +1, ref]
represents u spinor associated with non-lightlike four-vector P and reference spinor ref.
SpM[P, -1, ref]
represents v spinor associated with non-lightlike four-vector P and reference spinor ref.
EXAMPLESCLOSE ALL
Properties & Relations   (3)
With activated notation SpM[P, ±1], with P being LVector, is denoted by±P :
When first argument of SpM is not LVector or second is not interpretable as ±1 notation is not changed:
With activated notation SpM[P, ±1, q], with P being LVector and q being massless Spinor, is denoted by :
When first argument of SpM is not LVector, second is not interpretable as ±1 or third is not massless Spinor notation is not changed:
To keep symbolic second argument of SpM but still use special notation, symbol deciding whether it's u or v spinor can be set to be interpreted as +1 or -1 using DeclarePlusMinusOne:
Notation   (3)
With activated notation SpM[P, ±1], with P being LVector, is denoted by±P :
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 notation is not changed:
In[4]:=
Click for copyable input
Out[4]=
Out[4]=
 
With activated notation SpM[P, ±1, q], with P being LVector and q being massless Spinor, is denoted by :
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 notation is not changed:
In[4]:=
Click for copyable input
Out[4]=
Out[4]=
Out[4]=
 
To keep symbolic second argument of SpM but still use special notation, symbol deciding whether it's u or v spinor can be set to be interpreted as +1 or -1 using DeclarePlusMinusOne:
In[1]:=
Click for copyable input
In[2]:=
Click for copyable input
In[3]:=
Click for copyable input
In[4]:=
Click for copyable input
Out[4]=
Out[4]=