In Response To 'Re: how to simplify symbolic scalar products'
---------
Thanks for your response jf. However I don't understand what you have in mind when you say there might be a solution using UpValues. Do you think about redefining the Mathematica dot product function?