magnetic field,pseudodifferential operator, phase space, modulation mapping, crossed product algebra, coherent states, Bargmann transform