  The role of permutation gates for universal quantum computing is
investigated. The \lq magic' of computation is clarified in the permutation
gates, their eigenstates, the Wootters discrete Wigner function and
state-dependent contextuality (following many contributions on this subject). A
first classification of main types of resulting magic states in low dimensions
$d \le 9$ is performed.
