Check the inner product of phi(3,x) with the first 10 phi's in the set
> for k from 3 to 10 do innerp(3,k); od;
Not bad.
>