dirac_adjoint

symbolica.community.idenso Function

dirac_adjoint(self_: Expression) -> Expression

Return the Dirac adjoint of a Symbolica tensor expression.

Idenso takes the symbolic complex conjugate, reverses compatible open bispinor chains, and inserts the registered gamma0 factors required at dangling bispinor slots. The input must use the representation-aware Spenso forms registered by initialize().

Examples

from symbolica.community.idenso import dirac_adjoint, initialize, list_dangling
from symbolica.community.spenso import Representation, TensorName
initialize()
initialize() is None  # Registration is idempotent.
bispinor = Representation.bis(4)
spinor = TensorName("u")(bispinor("alpha")).to_expression()
adjoint = dirac_adjoint(spinor)
len(list_dangling(adjoint)) == 1
"gamma0" in str(adjoint)

Arguments

self_: a Spenso-compatible tensor expression.

Returns

The representation-aware Dirac adjoint.

View generated signature source: docs/api/python/idenso-community.pyi:94