Magnetic Field Design of a Full-Scale Prototype of the HL-LHC Beam Separation Dipole With Geometrical and Iron-Saturation Corrections | IEEE Journals & Magazine | IEEE Xplore