Quantum Harmonic Analysis and the Positivity of Trace Class Operators; Applications to Quantum Mechanics