1. On every change of polarity, take the magnet up to 950 Amps (in the new polarity!), then down to zero before setting
     the current. 
2. To set the current the first time after a polarity change go up to 200 Amps higher than the desired current, then down
     to the desired current. 

     This means: to change the polarity and set the current go to 950 Amps, down to zero, back up to 950 Amps, and down
     to the desired setting. 
3. Subsequently: 
         Changes to lower currents can be made directly. That is, just set the magnet for the lower current. 
         For changes to higher current, first overshoot by 200 Amps, then come back down to the desired current.