Spinors Extras Package SymbolSee Also »|More About »

AnySpinorQ

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