expand_bis

symbolica.community.idenso Function

expand_bis(self_: Expression) -> Expression

Expand products around factors carrying registered bispinor indices.

Arguments

self_: a factorized Spenso-compatible expression.

Returns

The expression distributed around its bispinor-bearing factors. No explicit spinor components are substituted.

Examples

from symbolica.community.idenso import expand_bis, initialize
from symbolica.community.spenso import Representation, TensorName
initialize()
bispinor = Representation.bis(4)
alpha, beta = bispinor("alpha"), bispinor("beta")
u, v, w = TensorName("u"), TensorName("v"), TensorName("w")
u_alpha = u(alpha).to_expression()
v_beta, w_beta = v(beta).to_expression(), w(beta).to_expression()
factorized = u_alpha * (v_beta + w_beta)
expand_bis(factorized) == u_alpha * v_beta + u_alpha * w_beta

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