For arbitrary four vectors aa[i] and bb[j] define
an innner product function ipv
(%i1) display2d:false$
(%i2) ipv (aa,bb) := aa[0]*bb[0] - aa[1]*bb[1] - aa[2]*bb[2] - aa[3]*bb[3]$
Now I want to assign invariant mass (on mass shell) properties to the inner
product of a momentum 4-vector such that ipv (p,p ) --> m^2
Can I do this with matchdeclare and tellsimpafter?
Thanks in advance,
Ted Woollett