[phoe-krk]

What is the phi function that you use here? If that's Euler's totient, then that does not seem to be well-defined for rational numbers...