Spinors Extras Package SymbolSee Also »|More About »

ExpandMPToSpinors

ExpandMPToSpinors[expr, a]
returns expr with Minkowski products (MP) containing label a replaced by spinor products.
ExpandMPToSpinors[expr, patt]
returns expr with Minkowski products (MP) containing labels matching patt replaced by spinor products.
ExpandMPToSpinors[expr]
returns expr with all Minkowski products (MP) replaced by spinor products.
  • The following options can be given:
"Massive"Truewhether to expand Minkowski products of massive LVectors
"UOrVFunction"1&
function that accept LVector label and returns +1 for u spinor or -1 for v spinor
EXAMPLESCLOSE ALL
Basic Examples   (4)
Expand Minkowski products of given massless spinor label:
Expand Minkowski products of given LVector label:
Expand Minkowski products of labels matching given pattern:
Expand all Minkowski products:
Expand Minkowski products of given massless spinor label:
In[1]:=
Click for copyable input
In[2]:=
Click for copyable input
In[3]:=
Click for copyable input
Out[3]=
 
Expand Minkowski products of given LVector label:
In[1]:=
Click for copyable input
In[2]:=
Click for copyable input
In[3]:=
Click for copyable input
Out[3]=
 
Expand Minkowski products of labels matching given pattern:
In[1]:=
Click for copyable input
In[2]:=
Click for copyable input
In[3]:=
Click for copyable input
Out[3]=
 
Expand all Minkowski products:
In[1]:=
Click for copyable input
In[2]:=
Click for copyable input
In[3]:=
Click for copyable input
Out[3]=
Options   (3)
With "Massive" set to True (default value) Minkowski products (MP) of two massive LVectors are also expanded:
With "Massive" set to False Minkowski products (MP) of two massive LVectors are not expanded (so no massive spinors are introduced):
"UOrVFunction" should be a function accepting one argument, LVector label, and returning +1 or -1 which will be used as second argument of SpM when given label is used at end of spinor chain:
Possible Issues   (2)
Stand alone integer given as second argument is treated as spinor label:
but integers inside expressions are not automatically "spinorized":
for integers in complex expressions to be treated as spinor labels wrap them in Sp:
When massive LVector label is given as second argument but "Massive" option is set to False no expansion is performed: