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