User blog comment:Kyodaisuu/Mashimo function/@comment-1605058-20140706065714/@comment-5150073-20140707083716

Okay, I put the restriction: these diagonalizers must work so that there exists a finite time algorithm which evaluates $$\psi_\text{CK}(D_m)$$, using repeated taking FS from it, to $$\omega_\alpha^\text{CK}$$.