Spinors Extras Package Symbol|More About »

SpOpen

SpOpen[x]
decomposes spinor products in x containing slashed matrices into products of smaller spinor products, by applying: k-slashed = |k>[k| + |k]<k|.
SpOpen[x, a]
does the same selectively, at the occurrence of a-slashed.
SpOpen[x, patt]
does the same selectively, at the occurrence of any massless Spinor that matches pattern patt.
  • The following options can be given:
"BothEndsMassive"Falsewhether to decompose spinor chains with massive spinors on both ends
EXAMPLESCLOSE ALL
Basic Examples   (3)
Decompose spinor chain:
Decompose spinor chain at occurrence of one label:
Decompose spinor chain at occurrence of labels matching pattern:
Decompose spinor chain:
In[1]:=
Click for copyable input
In[2]:=
Click for copyable input
Out[2]=
Out[2]=
 
Decompose spinor chain at occurrence of one label:
In[1]:=
Click for copyable input
In[2]:=
Click for copyable input
Out[2]=
Out[2]=
 
Decompose spinor chain at occurrence of labels matching pattern:
In[1]:=
Click for copyable input
In[2]:=
Click for copyable input
Out[2]=
Out[2]=
Scope   (1)
Decompose spinor chain with massive spinor at one end:
Options   (2)
With "BothEndsMassive" set to False (default value) spinor chains with massive spinors on both ends are not decomposed:
With "BothEndsMassive" set to True spinor chains with massive spinors on both ends are also decomposed:
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:
Decomposition of spinor chains with massive spinors on both ends leads to sum of products of spinor chains, in contrast to spinor chains with massless spinor at at least one end, which decomposition gives simple product of spinor chains. That's why chains with massive spinors on both ends are not decomposed by default:
To decompose them set "BothEndsMassive" option to True: