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
|
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:
Notes
Computed symbolically via
overlap_right_left().No Hermiticity assumption is required.