An overview of all public symbols introduced by SpinorsExtras package.
Reference vectors and spinors
SpRef — Labels default reference spinor for given Lorentz vector.
RefInvariantQ — Tests whether expression is invariant with respect to changes of reference spinors.
RefSimplify — Finds simplest form of expression by inserting possible reference spinors.
ExplicitRef — Changes implicit reference vectors, in given expressions, to explicit reference vectors.
ImplicitRef — Changes explicit reference vectors, in given expressions, to implicit reference vectors.
Massive vectors and spinors
SpM — Labels spinor for given massive momentum.
SpAssoc — Labels vector associated, by light cone decomposition, with massive momentum.
LightConeDecompose — Performs light cone decomposition of vectors and spinors.
MassiveSpinorQ — Tests whether given expression is interpretable as massive spinor.
MassiveLVectorQ — Tests whether given expression is interpretable as massive LVector.
LvBA — Labels vector composed of two independent spinors with different labels.
PolVec — Labels polarization vector for given momentum, polarization and reference vector.
ExpandPolVec — Expresses polarization vectors by momentum and reference vectors.
DeclarePossiblePol — Sets given symbols to be treated as vector boson polarization.
UndeclarePossiblePol — Removes given symbols from list of vector boson polarizations.
PossiblePolQ — Tests whether given expression is interpretable as vector boson polarization.
ReplaceLVector — Replaces given Lorentz vector in given expression.
ReplaceBSpinor — Replaces given massless or massive B spinor in given expression.
ReplaceASpinor — Replaces given massless or massive A spinor in given expression.
ExpandMPToSpinors — Replaces Minkowski products by spinor products.
ExpandSToMPs — Replaces s invariants by Minkowski products.
DeclarePlusMinusOne — Sets given symbols to be treated as ±1.
UndeclarePlusMinusOne — Removes given symbols from list of expressions treated as ±1.
PlusMinusOneQ — Tests whether given expression is interpretable as ±1.
AnySpinorQ — Tests whether given expression is interpretable as massless or massive spinor.
Proportional spinors and vectors
DeclareBSpinorProportional — Declares that B spinors with given labels are proportional.
DeclareASpinorProportional — Declares that A spinors with given labels are proportional.
DeclareLVectorProportional — Declares that LVectors with given labels are proportional.
BSpinorProportionalQ — Tests whether B spinors with given labels are proportional.
ASpinorProportionalQ — Tests whether A spinors with given labels are proportional.
LVectorProportionalQ — Tests whether LVectors with given labels are proportional.
AppendPhase — Multiplies parts of expression with additional phases.
Phase — Represents additional phase of given expression.
DecomposeBSpinor — Decomposes B spinor in given basis.
DecomposeASpinor — Decomposes A spinor in given basis.
SimpleTensorQ — Tests whether given expression represents simple tensor.
SimpleTensorGetBLabel — Extracts B spinor from tensor product of B and A spinors.
SimpleTensorGetALabel — Extracts A spinor from tensor product of B and A spinors.
DeclareSpinorRandomMomentum — Generates random numerics for given spinor.
GenComplexMomenta — Generates random complex momenta for spinors so that they sum to zero.
Functions from original Spinors` context with modified behavior
SpOpen — Decomposes spinor chains to products of smaller spinor chains.
ExpandSToSpinors — Converts s invariants to products of spinor chains.
