expand_mink_bis

symbolica.community.idenso Function

expand_mink_bis(expression: Expression) -> list[tuple[Expression, Expression]]

Expand products around factors carrying Minkowski or bispinor indices.

This combines the selection patterns of expand_mink() and expand_bis() in one coefficient pass. Other representation families remain in the coefficient sector.

Arguments

expression: a factorized Spenso-compatible expression.

Returns

(structure, coefficient) pairs distributed around both selected representation families.

Examples

from symbolica.community.idenso import expand_mink_bis
from symbolica.community.spenso import Representation, TensorName
# Built-in representations are registered automatically on import.
minkowski, bispinor = Representation.mink(4), Representation.bis(4)
p_mu = TensorName("p")(minkowski("mu")).to_expression()
q_mu = TensorName("q")(minkowski("mu")).to_expression()
u_a = TensorName("u")(bispinor("a")).to_expression()
v_a = TensorName("v")(bispinor("a")).to_expression()
factorized = (p_mu + q_mu) * (u_a + v_a)
expected = p_mu * u_a + p_mu * v_a + q_mu * u_a + q_mu * v_a
terms = expand_mink_bis(factorized)
sum(structure * coefficient for structure, coefficient in terms) == expected

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