We systematically derive an effective Hamiltonian for the dipolar magnet LiY1?xHoxF4, including quantum corrections which arise from the transverse dipolar and hyperfine interactions. These corrections are derived using ...