The HKS magnets have been manufactured at Mitsubishi Electric Co. and the field mapping is under way. In the following sections, the design principle and the performance of the magnets are described.
