26 May
2008
26 May
'08
5:40 p.m.
I now have proofs of both x o y = 3 x y - x [(y+1)/phi^2] - y [(x+1)/phi^2] and x @ y = x y - [(y+1)/phi^2] [(x+1)/phi^2] which I shan't inflict on everybody here --- if anyone wants a copy, let me know and I shall email the (corrected and extended) text file. WFL