(1250) Wigner function for a Gaussian wavepacket

Find the Wigner fuction \( \rho_W(X,P) \) for a Gaussian wavepacket of spatial width \( \sigma \).

Based on Lecture notes [52.5]