symop.ccr.algebra.density.trace

Trace of symbolic density polynomials.

Given a density polynomial

\[\rho = \sum_i c_i \, |L_i\rangle\langle R_i|,\]

the trace is computed symbolically as

\[\mathrm{Tr}(\rho) = \sum_i c_i \, \langle L_i \mid R_i \rangle.\]

The bra–ket overlap is evaluated purely symbolically via overlap_right_left().

Functions

density_trace(terms)

Compute the trace of a density polynomial.

density_trace(terms: tuple[DensityTerm, ...]) complex

Compute the trace of a density polynomial.

Evaluates

\[\mathrm{Tr}(\rho) = \sum_i c_i \, \langle L_i \mid R_i \rangle,\]

where each term corresponds to \(c_i |L_i\rangle\langle R_i|\).

Parameters:

terms (tuple[DensityTerm, ...]) – Density terms forming the operator.

Returns:

Complex trace value.

Return type:

complex

Notes

  • Computed symbolically via overlap_right_left().

  • No Hermiticity assumption is required.