Check the inner product of phi(1,x) with the first 10 phi's in the set

> for k from 1 to 10 do
innerp(1,k);
od;

Looking good!

>