You may also use the equivalence between the P4 and R4. That is to say, you may construct a relation (function): l(x)=a1 + a2*x + a3*x2 + a4*x3, where x = (a1, a2, a3, a4). So in your case the set of vectors is actually equivalent to {(1,0,1/2,0), (1,0,-1/2,0), (0,1,0,1/6), (0,1,0,-1/6)}. Now it...