LVectorProportionalQ

LVectorProportionalQ[x, y, ...] or LVectorProportionalQ[{x, y, ...}]
returns True if x, y, ... label four-vectors that are proportional. Returns False otherwise.
  • Null four-vectors are proportional iff B spinors associated with them are proportional to each other and so are A spinors.
Massless four-vector is proportional to itself:
Two generic four-vectors are by default considered non-proportional:
Massless four-vector is proportional to itself:
In[1]:=
Click for copyable input
In[3]:=
Click for copyable input
Out[3]=
 
Two generic four-vectors are by default considered non-proportional:
In[1]:=
Click for copyable input
In[3]:=
Click for copyable input
Out[3]=
Proportionality between more than two four-vectors can be tested at once:
Symbols not interpretable as massless four-vectors can't be used in proportionality tests:
Proportionality between four-vectors can be established using DeclareLVectorProportional function:
If both B and A spinors are proportional then four-vectors associated with them are also proportional: