ASpinorProportionalQ

ASpinorProportionalQ[x, y, ...] or ASpinorProportionalQ[{x, y, ...}]
returns True if |x>, |y>, ... A spinors are proportional. Returns False otherwise.
Spinor is proportional to itself:
Two generic Spinors are by default considered non-proportional:
Spinor is proportional to itself:
In[1]:=
Click for copyable input
In[3]:=
Click for copyable input
Out[3]=
 
Two generic Spinors 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 spinors can be tested at once:
Symbols not interpretable as Spinor can't be used in proportionality tests:
Proportionality between A spinors can be established using DeclareASpinorProportional function:
Proportionality between A spinors is implied by proportionality between corresponding vectors: